Generic Expression in B of the Influence/Reaction Model: Specifying and Verifying Situated Multi-Agent Systems - Inria - Institut national de recherche en sciences et technologies du numérique
Reports (Research Report) Year : 2007

Generic Expression in B of the Influence/Reaction Model: Specifying and Verifying Situated Multi-Agent Systems

Olivier Simonin
Arnaud Lanoix
Samuel Colin
  • Function : Author
  • PersonId : 837524
Alexis Scheuer
  • Function : Author
  • PersonId : 830058

Abstract

This paper addresses the formal specification and verification of situated multi-agent systems that can be formulated within the influence-reaction model as proposed in 1996 by Ferber & Muller. In this framework our objective is to prove the correctness of reactive multi-agent systems with respect to a certain formal specification or property, using formal methods. This is an important step to bring multi-agent systems to high quality standards as required for critical applications encountered in domains such as transport systems. A generic B writing of systems instantiating the influence reaction model is proposed, using patterns of specification. An illustration is then presented on the formal specification of a system operating electrical vehicles under precise automatic control at close spacings to form a platoon. The papers ends with considerations about further improvements of the framework, involving simulation and study of the properties of the system.
Fichier principal
Vignette du fichier
SimoninEtalRR07.pdf (1.3 Mo) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

inria-00173876 , version 1 (20-09-2007)
inria-00173876 , version 2 (26-09-2007)

Identifiers

  • HAL Id : inria-00173876 , version 2

Cite

Olivier Simonin, Arnaud Lanoix, Samuel Colin, Alexis Scheuer, François Charpillet. Generic Expression in B of the Influence/Reaction Model: Specifying and Verifying Situated Multi-Agent Systems. [Research Report] RR-6304, INRIA. 2007, pp.18. ⟨inria-00173876v2⟩
236 View
328 Download

Share

More