Towards Validating a Platoon of Cristal Vehicles using CSP||B - Archive ouverte HAL Access content directly
Conference Papers Year : 2008

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

Abstract

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
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : hal-00261630 , version 1

Cite

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 View
206 Download

Share

Gmail Facebook X LinkedIn More