Paper Info
Title
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 Unified Modeling 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.
Year
DOI
Venue
2011
10.1109/HASE.2011.37
High-Assurance Systems Engineering
Keywords
Field
DocType
Unified Modeling Language,real-time systems,safety-critical software,software fault tolerance,UML-based safety analysis approach,event sequence diagram,failure propagation approach,high assurance software systems,high-assurance computer systems,integrated analysis,safety analysis techniques,sequence progression,software fault propagation,system-level functional failures,unified modeling language diagrams,UML design analysis,safety analysis,software fault propagation
Component diagram,Systems engineering,Unified Modeling Language,Computer science,Software fault tolerance,Modeling language,Software system,Real-time computing,Software,Systems Modeling Language,Reliability engineering,Executable
Conference
ISSN
ISBN
Citations 
1530-2059
978-1-4673-0107-7
0
PageRank 
References 
Authors
0.34
3
2
Name
Order
Citations
PageRank
Chetan Mutha100.34
Carol Smidts2394.21