Formal support for fault modelling and analysis

DOI10.1007/3-540-45416-0_19MaRDI QIDQ4444738zbMATH OpenFDO

Authors Tadeusz Cichocki, Janusz Górski

Publication date 27 January 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2187/21870190.htm

Mathematics Subject Classification ID

Theory of software (68N99) Computing methodologies and applications (68U99)

Recommendations

• Formal fault tree analysis -- practical experiences
• Communicating Sequential Processes. The First 25 Years
• FERRARI: a flexible software-based fault and error injection system
• Formalization of fault trees in higher-order logic: a deep embedding approach
• Formal methods of analysis of system properties

Cited in

(3)

• Formal Analysis of Robustness at Model and Code Level
• An investigation on mutation strategies for fault injection into RDD-100 models
• Testing distributed ABS system with fault injection

This page was built for publication: Formal support for fault modelling and analysis

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