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

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

• Type: Conference
• Year: 2008
• Where: FMICS
• Authors: Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières
• Keywords: Case Study, FMICS 2008, Formal Methods, Industrial Cristal Project, Support Tools