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

Samuel Colin; Arnaud Lanoix; Olga Kouchnarenko; Jeanine Souquières

hal-00261630, version 1

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

Samuel Colin () ¹, Arnaud Lanoix () ¹, Olga Kouchnarenko ², Jeanine Souquières ¹

12th International Conference on Algebraic Methodology and Software Technology (AMAST 2008) (2008) 6 pages

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.

1 : DEDALE (LORIA)
INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL)
2 : Laboratoire d'Informatique de Franche-Comté (LIFC)
Université de Franche-Comté : EA4269

hal-00261630, version 1
http://hal.archives-ouvertes.fr/hal-00261630
oai:hal.archives-ouvertes.fr:hal-00261630
Contributeur : Arnaud Lanoix <>
Soumis le : Vendredi 7 Mars 2008, 17:21:10
Dernière modification le : Lundi 9 Juin 2008, 14:06:46

Voir la fiche détaillée

Documents associés

PDF :

Exporter

Bibtex EndNote TEI RefWorks

<?xml version="1.0" encoding="UTF-8"?>
<listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML">
<listBibl type="inproceedings"><head>Communications avec actes</head>
<biblStruct type="inproceedings" xml:id="hal-00261630"><analytic>
<author><persName><forename>Samuel</forename><surname>Colin</surname></persName>
<affiliation>
<orgName type="laboratory">LORIA</orgName>
<orgName type="team">DEDALE</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : UMR7503</orgName>
<orgName type="institution">Université Henri Poincaré - Nancy I</orgName>
<orgName type="institution">Université Nancy II</orgName>
<orgName type="institution">Institut National Polytechnique de Lorraine (INPL)</orgName>
</affiliation>
</author>
<author><persName><forename>Arnaud</forename><surname>Lanoix</surname></persName>
<affiliation>
<orgName type="laboratory">LORIA</orgName>
<orgName type="team">DEDALE</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : UMR7503</orgName>
<orgName type="institution">Université Henri Poincaré - Nancy I</orgName>
<orgName type="institution">Université Nancy II</orgName>
<orgName type="institution">Institut National Polytechnique de Lorraine (INPL)</orgName>
</affiliation>
</author>
<author><persName><forename>Olga</forename><surname>Kouchnarenko</surname></persName>
<affiliation>
<orgName type="laboratory">LIFC</orgName>
<orgName type="team">Laboratoire d'Informatique de Franche-Comté</orgName>
<country>FR</country>
<orgName type="institution">Université de Franche-Comté : EA4269</orgName>
</affiliation>
</author>
<author><persName><forename>Jeanine</forename><surname>Souquières</surname></persName>
<affiliation>
<orgName type="laboratory">LORIA</orgName>
<orgName type="team">DEDALE</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : UMR7503</orgName>
<orgName type="institution">Université Henri Poincaré - Nancy I</orgName>
<orgName type="institution">Université Nancy II</orgName>
<orgName type="institution">Institut National Polytechnique de Lorraine (INPL)</orgName>
</affiliation>
</author>
<title type="main" level="a">Towards Validating a Platoon of Cristal Vehicles using CSP||B</title></analytic><monogr><title level="m" type="main">12th International Conference on Algebraic Methodology and Software Technology (AMAST 2008)</title><meeting>12th International Conference on Algebraic Methodology and Software Technology (AMAST 2008)</meeting><imprint><pubPlace><country>France</country></pubPlace><biblScope type="publicationDate">2008-07-00</biblScope><biblScope type="pp">6 pages</biblScope></imprint></monogr><idno type="HALid">http://hal.archives-ouvertes.fr/hal-00261630</idno><idno type="HALFile">http://hal.archives-ouvertes.fr/hal-00261630/PDF/hal-07-03.pdf</idno></biblStruct>
</listBibl>
</listBibl>