| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Verification of GALS Systems by Combining Synchronous Languages and Process Calculi
Abstract : A Gals (Globally Asynchronous Locally Synchronous) system typically consists of a collection of sequential, deterministic components that execute concurrently and communicate using slow or unreliable channels. This paper proposes a general approach for modelling and verifying Gals systems using a combination of synchronous languages (for the sequential components) and process calculi (for communication channels and asynchronous concurrency). This approach is illustrated with an industrial case-study provided by Airbus: a Tftp/Udp communication protocol between a plane and the ground, which is modelled using the Eclipse/Topcased workbench for model-driven engineering and then analysed formally using the Cadp verification and performance evaluation toolbox.
Cited literature [33 references]
https://hal.inria.fr/inria-00388819
Contributor : Christine Mckinty <>
Submitted on : Wednesday, May 27, 2009 - 3:08:30 PM
Last modification on : Thursday, November 19, 2020 - 1:00:26 PM
Long-term archiving on: : Monday, October 15, 2012 - 11:15:23 AM
Contributor : Christine Mckinty <>
Submitted on : Wednesday, May 27, 2009 - 3:08:30 PM
Last modification on : Thursday, November 19, 2020 - 1:00:26 PM
Long-term archiving on: : Monday, October 15, 2012 - 11:15:23 AM
File
Garavel-Thivolle-09.pdf
Files produced by the author(s)