Using CSP||B Components: Application to a Platoon of Vehicles - Archive ouverte HAL
Conference Papers Year : 2008

Using CSP||B Components: Application to a Platoon of Vehicles

Abstract

This paper presents an experience report on the specification and the validation of a real case study in the context of the industrial CRISTAL project. The case study concerns a platoon of a new type of urban vehicles with new functionalities and services. It is specified using the combination, named CSP$\|$B, of two well-known formal methods, and validated using the corresponding support tools. This large -- both distributed and embedded -- system typically corresponds to a multi-level composition of components that have to cooperate. We identify some lessons learned, showing how to develop and verify the specification and check some properties in a compositional way using theoretical results and support tools to validate this complex system.
Fichier principal
Vignette du fichier
platoon-fmics08.pdf (466.08 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-00286431 , version 1 (09-06-2008)

Identifiers

  • HAL Id : hal-00286431 , version 1

Cite

Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières. Using CSP||B Components: Application to a Platoon of Vehicles. 13th International ERCIM Wokshop on Formal Methods for Industrial Critical Systems (FMICS 2008), Sep 2008, Italy. 16 p. ⟨hal-00286431⟩
199 View
230 Download

Share

More