Towards Validating a Platoon of Cristal Vehicles using CSP||B - LINA-AELOS Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Towards Validating a Platoon of Cristal Vehicles using CSP||B

Résumé

The complexity of specification development and verification of large systems has to be mastered. In this paper a specification of a real case study, a platoon of Cristal vehicles is developed using the combination, named CSP||B, of two well-known formal methods. This large -- both distributed and embedded -- system typically corresponds to a multi-level composition of components that have to cooperate. We show how to develop and verify the specification and check some properties in a compositional way. We make use of previous theoretical results on CSP||B to validate this complex multi-agent system.
Fichier principal
Vignette du fichier
hal-07-03.pdf (380.57 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00261630 , version 1 (07-03-2008)

Identifiants

  • HAL Id : hal-00261630 , version 1

Citer

Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières. Towards Validating a Platoon of Cristal Vehicles using CSP||B. 12th International Conference on Algebraic Methodology and Software Technology (AMAST 2008), Jul 2008, France. 6 p. ⟨hal-00261630⟩
189 Consultations
202 Téléchargements

Partager

Gmail Facebook X LinkedIn More