Composition of Fault Forests [conference paper]
Conference
40th International Conference on Computer Safety, Reliability and Security (SafeComp 2021) - September 7-10, 2021
Authors
Danielle Stewart (Ph.D. 2020), Michael Whalen (adjunct assistant professor), Mats Heimdahl (professor), Jing Janet Liu, Darren Cofer (adjunct assistant professor)
Abstract
Safety analysis is used to ensure that critical systems operate within some level of safety when failures are present. As critical systems become more dependent on software components, it becomes more challenging for safety analysts to comprehensively enumerate all possible failure causation paths. Any automated analyses should be sound to sufficiently prove that the system operates within the designated level of safety. This paper presents a compositional approach to the generation of fault forests (sets of fault trees) and minimal cut sets. We use a behavioral fault model to explore how errors may lead to a failure condition. The analysis is performed per layer of the architecture and the results are automatically composed. A complete formalization is given. We implement this by leveraging minimal inductive validity cores produced by an infinite state model checker. This research provides a sound alternative to a monolithic framework. This enables safety analysts to get a comprehensive enumeration of all applicable fault combinations using a compositional approach while generating artifacts required for certification.
Link to full paper
Keywords
software engineering, critical systems