The fault tree analysis is a well established method in system safety and reliability assessment. We transferred the principles of this technique to an assembler code analysis, regarding any incorrect output of the software as the undesircd top-level event. Starting from the instructions providing the outputs and tracing back to all instructions contributing to these outputs a hierarchical system of references is generated that may graphically be represented as a fault tree. To cope with the large number of relations in the code, a tool suite has been developed, which automatically creates these references and checks for unfulfilled preconditions of instructions. The tool was applied to the operational software of an inertial measurement unit, which provides safety critical signals for artificial stabilization of an aircraft. The method and its implementation as a software tool is presented and the benefits, surprising results, and limitations we have experienced are discussed. © Springer-Verlag Berlin Heidelberg 2003.
CITATION STYLE
Weber, W., Tondok, H., & Bachmayer, M. (2003). Enhancing software safety by fault trees: Experiences from an application to flight critical SW. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2788, 289–302. https://doi.org/10.1007/978-3-540-39878-3_23
Mendeley helps you to discover research relevant for your work.