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 : 2007

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

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

Résumé

In domains such as transportation or medical technology, applications are often developed as Multi-Agent Systems (MAS). The usage of formal methods in this context has not been much addressed. With our experience with the B modelisation of the platooning problem as a base, we aim at demonstrating how the development and the verification of such systems using formal methods can be supported.The successive versions of the B models tended towards a more generic architecture that experts of the domain matched with a well-known MAS model.
Fichier principal
Vignette du fichier
main.pdf (486.77 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

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

Identifiants

  • HAL Id : hal-00260568 , version 1

Citer

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

Partager

Gmail Facebook X LinkedIn More