Imperial College London

ProfessorAlessioLomuscio

Faculty of EngineeringDepartment of Computing

Professor of Logic for Multiagent Systems
 
 
 
//

Contact

 

+44 (0)20 7594 8414a.lomuscio Website

 
 
//

Location

 

569Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@article{Lomuscio:2009,
author = {Lomuscio, A and Ezekiel, J},
journal = {Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS},
pages = {86--93},
title = {Combining fault injection and model checking to verify fault tolerance in multi-agent systems},
volume = {1},
year = {2009}
}

RIS format (EndNote, RefMan)

TY  - JOUR
AB - The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for designing complex agent based fault tolerant systems. In order to provide such a guarantee, practically usable tools and techniques for verifying fault tolerant MAS architectures are urgently required. In this paper we address this requirement by combining automatic fault injection with model check-ing to verify fault tolerance in MAS. We present a generic method to mutate a model of a correctly behaving system into a faulty one, and show how the mutated model can be used to reason about fault tolerance, which includes recovery from faults. The usefulness of the proposed method is demonstrated by injecting automatically a fault into a sender-receiver protocol, and verifying temporal and epis- Temic specifications of the protocol's fault tolerance using the MCMAS model checker. Categories and Subject Descriptors D.2.4 [Software/Program Verification]: Model Check-ing General Terms Verification. Copyright © 2009, International Foundation for Autonomous Agents and Multiagent Systems.
AU - Lomuscio,A
AU - Ezekiel,J
EP - 93
PY - 2009///
SN - 1548-8403
SP - 86
TI - Combining fault injection and model checking to verify fault tolerance in multi-agent systems
T2 - Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS
VL - 1
ER -