Paper Info
Title
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.
Year
DOI
Venue
2008
10.1007/978-3-642-03240-0_11
FMICS
Keywords
Field
DocType
case study concern,industrial cristal project,b,complex system,new type,support tool,compositional modelling,experience report,multi-level composition,real case study,formal methods,case study.,verification,b components,specification,corresponding support tool,csp,new functionalities,formal method,embedded system
Platoon,Computer science,Real-time computing,Formal methods
Conference
Citations 
PageRank 
References 
5
0.49
12
Authors
4
Name
Order
Citations
PageRank
Samuel Colin1162.84
Arnaud Lanoix210311.54
O. Kouchnarenko371646.76
Jeanine Souquières421130.80