An Experience with a Formal Modelling of a Multi-Agent System: the Platooning Problem - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2008

An Experience with a Formal Modelling of a Multi-Agent System: the Platooning Problem

Samuel Colin
  • Fonction : Auteur
  • PersonId : 837524
Arnaud Lanoix

Résumé

Multi-Agent systems (MASs) are used in more and more critical domains such as transportation or medical technology, although their use is limited by the lack of validation and adequate software engineering support. Formal methods have proved their strength in that regard. We propose the use of the B formal method as a sound software engineering approach for specifying and validating MASs. We illustrate this approach on the basis of the agent-based platooning problem, i.e. vehicles moving in a convoy. We hereby aim at demonstrating the solid support provided by formal methods to such systems and how their use help the extraction of implicit knowledge from the models for MASs engineers.
Fichier principal
Vignette du fichier
main.pdf (5.12 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00260568 , version 1 (04-03-2008)
hal-00260568 , version 2 (18-03-2008)

Identifiants

  • HAL Id : hal-00260568 , version 2

Citer

Samuel Colin, Arnaud Lanoix. An Experience with a Formal Modelling of a Multi-Agent System: the Platooning Problem. 2008. ⟨hal-00260568v2⟩
170 Consultations
66 Téléchargements

Partager

Gmail Facebook X LinkedIn More