TL;DR
This paper generalizes Failure Mode Reasoning (FMR) into a mathematical framework for model-based system and safety analysis, expanding its applicability beyond safety-critical systems.
Contribution
The paper introduces a formalized, generalized version of FMR suitable for broader system and safety analysis applications.
Findings
Formal mathematical framework for FMR
Models for example systems
Discussion on practical application
Abstract
Failure Mode Reasoning (FMR) is a method for formal analysis of system-related faults. The method was originally developed for identifying failure modes of safety-critical systems based on an analysis of their programs. In this paper, we generalize the method and present a mathematical framework for its use in model-based system and safety analyses. We explain the concepts, formalize the method, formulate models for example systems, and discuss the practical application of the method.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSoftware Reliability and Analysis Research · Safety Systems Engineering in Autonomy · Advanced Software Engineering Methodologies