An Early Design Stage UML-Based Safety Analysis Approach for High Assurrance Software Systems

Abstract

High-assurance computer systems fulfill security, safety, fault-tolerant, and real-time properties. Analysis of these properties is typically performed in isolation. An integrated analysis of all the properties is a challenge that can be addressed by expressing these properties in a common integrated framework. The Unified Modeling Language is a standard modeling language which exhibits such a capability. In this paper we focus on using the Unified Modeling Language to analyze the safety properties of high-assurance systems. In particular we are interested in the study of software faults propagation and their functional level effects. In previous work we have developed the Failure Propagation and Simulation Approach to study whether a particular fault will propagate through the design and cause system-level functional failures. Mapping between different UnifiedModeling Language diagrams is the central concept behind the approach. This paper briefly introduces the Failure Propagation and Simulation Approach and presents in detail the executable models developed to automate the simulation process. These executable models are built using the notations of the Event Sequence Diagram, one of the established reliability and safety analysis techniques for sequence progression.

An integrated multidomain functional failure and propagation analysis approach for safe system design

“…To address these challenges, methods of safety-based system design and concept-stage failure analysis are proposed in the literature (Leveson, 1995;FAA, 2000;Johannessen et al, 2001;NASA, 2004;Stone et al, 2005;Hutcheson et al, 2006;Jensen et al, 2008;Jensen et al, 2009;Kurtoglu et al, 2010;Mutha et al, 2010aMutha et al, , 2010bMutha & Smidts, 2011). The objectives are to generate and evaluate system designs where safety and risk are addressed early in the design process.…”