Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems

DOI10.1016/J.IC.2016.10.007MaRDI QIDQ528185zbMATH OpenOpenAlexFDO

Authors Yong-Cai Geng, Sumit K. Garg

Publication date 12 May 2017

Published in Information and Computation (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1016/j.ic.2016.10.007

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42) Network protocols (68M12)

Recommendations

• Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
• scientific article; zbMATH DE number 1759731
• scientific article; zbMATH DE number 2064229
• scientific article; zbMATH DE number 1202873
• Logical specification and analysis of fault tolerant systems through partial model checking

Cites work

• scientific article; zbMATH DE number 1746449 (Why is no real title available?)
• scientific article; zbMATH DE number 2102731 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• A formalisation of violation, error recovery, and enforcement in the bit transmission problem
• A lower bound for the time to assure interactive consistency
• Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems
• Common knowledge and consistent simultaneous coordination
• Computer Aided Verification
• Diagnosability of discrete-event systems
• Diagnosing multiple faults
• Diagnosis of discrete event systems using decentralized architectures
• Knowledge and common knowledge in a Byzantine environment: Crash failures
• On-line monitoring and diagnosis of a team of service robots: a model-based approach
• Parameterised verification for multi-agent systems
• Reasoning about rational agents
• Symbolic model checking: \(10^{20}\) states and beyond
• VERICS 2007 -- a model checker for knowledgee and real-time

Cited in

(3)

• Fault tolerance in belief formation networks
• Simulation relations for fault-tolerance
• Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems

Describes a project that uses

Uses Software

• MCK
• MCMAS
• NuSMV
• SPIN
• VerICS

This page was built for publication: Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q528185)