Formal Development of Critical Multi-agent Systems: A Refinement Approach

Formal Development of Critical Multi-agent Systems: A Refinement Approach

Multi-agent systems (MAS) are increasingly used in critical applications. To ensure dependability of MAS, we need powerful development techniques that would allow us to master complexity inherent to MAS and formally verify correctness and safety of collaborative agent activities. In this paper we pr...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Pereverzeva, I., Troubitsyna, E., Laibinis, L.
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Abstracts
Collaboration
Event-B
formal modelling
formal verification
Hospitals
Middleware
multi-agent system
Multiagent systems
refinement
Safety
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Multi-agent systems (MAS) are increasingly used in critical applications. To ensure dependability of MAS, we need powerful development techniques that would allow us to master complexity inherent to MAS and formally verify correctness and safety of collaborative agent activities. In this paper we present a development of hospital MAS by refinement in Event-B. We demonstrate that Event-B allows the developers to rigorously specify complex agent interactions and verify their correctness and safety.
DOI:10.1109/EDCC.2012.24