A Methodology for Automatic Diagnosability Analysis

13 years 6 months ago
A Methodology for Automatic Diagnosability Analysis
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We describe an implementation built on the multi-agent systems model checker MCMAS and a dedicated compiler for injecting faults into an MCMAS program. A diagnosability report is generated by the implementation which can be utilised at an early stage of fault tolerant multi-agent system design to ensure accurate fault diagnosis. We demonstrate the practical usefulness of the algorithm by performing automatic diagnosability analysis on a model of the IEEE 802.5 token ring LAN protocol which employs fault diagnosis mechanisms to achieve fault tolerance.
Jonathan Ezekiel, Alessio Lomuscio
Added 26 Jan 2011
Updated 26 Jan 2011
Type Journal
Year 2010
Authors Jonathan Ezekiel, Alessio Lomuscio
Comments (0)