Model-based fault localization: finding behavioral outliers in large-scale computing systems

DOI10.1007/S00354-009-0088-6MaRDI QIDQ601135zbMATH OpenOpenAlexFDO

Authors Naoya Maruyama, Satoshi Matsuoka

Publication date 3 November 2010

Published in New Generation Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00354-009-0088-6

zbMATH Keywords

distributed systemsfault localization

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Distributed systems (68M14)

Recommendations

• Fault localization of timed automata using maximum satisfiability
• Localizing Faults in Simulink/Stateflow Models with STL
• Correct Hardware Design and Verification Methods
• Automated analysis of fault-tolerance in distributed systems
• Software fault localization using elastic net: A new statistical approach

Cites work

• A high-performance, portable implementation of the MPI message passing interface standard
• Model-based fault localization: finding behavioral outliers in large-scale computing systems

Cited in

(2)

• Inferring software behavioral models with MapReduce
• Model-based fault localization: finding behavioral outliers in large-scale computing systems

Describes a project that uses

Uses Software

• NAS Parallel Benchmarks
• MPI/MPICH

This page was built for publication: Model-based fault localization: finding behavioral outliers in large-scale computing systems

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