Modelling and analysing fault propagation in safety-related systems

Iwu, Frantz; Toyn, I.

doi:10.1109/sew.2003.1270740

Cited by 6 publications

(2 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The widespread application of UML has led to intensive research that extends to SW reliability and risk assessment. Existing research includes completeness, consistency, and correctness verification of the UML diagrams (Iwu & Toyn, 2003); UML-based approaches to perform fault diagnosis of SW systems (Iwu & Toyn, 2003); UML-based risk assessment during the early phases of development (Goseva-Popstojanova, 2003); and the study of model transformations (Whittle & Schumann, 2000;Selonen et al, 2001). Model transformation approaches have been extended to produce established risk assessment and failure analysis models such as Petri nets (Baresi & Pezzè, 2001) and fault trees (Towhidnejad et al, 2003).…”

Section: Isfa System Designmentioning

confidence: 99%

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

Mutha

Jensen

Tumer

et al. 2013

AIEDAM

View full text Add to dashboard Cite

Early system design analysis and fault removal is an important step in the iterative design process to avoid costly repairs in the later stages of system development. System complexity is increasing with increased use of software to control the physical system. There is a dearth of techniques to evaluate inconsistencies, incompatibility, and fault proneness of the system design in an integrated manner. The early design analysis technique presented in this paper aids a designer to understand the interplay between the multifaceted components and evaluate his/her design in an integrated manner. The technique allows simultaneous propagation of different types of faults from various domains and evaluates their functional impact over a period of time. The structure of the technique is explained using domain-specific conceptual metamodels, whereas the execution is based on the event sequence diagram, which is one of the established reliability and safety analysis techniques. One of the notable features of the proposed technique is the object-oriented nature of the system design representation. The technique is demonstrated with the help of a case study, and the execution results of two scenarios are evaluated to demonstrate the analysis capability of the proposed technique.

show abstract

Section: Isfa System Designmentioning

confidence: 99%

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

Mutha

Jensen

Tumer

et al. 2013

AIEDAM

View full text Add to dashboard Cite

show abstract

“…Extensive research has been carried out on various aspects of software design with UML. Research has focused on 1) evaluating UML diagrams' completeness, consistency, and correctness properties [7]; 2) developing formal extensions of UML for expressing dynamic properties [8]; 3) using UML for software fault diagnosis [9] or risk assessment during early phases of development [10]; and 4) transforming specific UML models into others [11][12][13]. An element of safety and reliability verification at the design level is the development of techniques supporting software fault propagation.…”

Section: Introductionmentioning

confidence: 99%

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

Mutha

Smidts

2011

2011 IEEE 13th International Symposium on High-Assurance Systems Engineering

View full text Add to dashboard Cite

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.

show abstract

Scalable Fualt Detection for FPGAs

Iwu

2010

2010 IEEE 12th International Symposium on High Assurance Systems Engineering

View full text Add to dashboard Cite

Modelling and analysing fault propagation in safety-related systems

Cited by 6 publications

References 7 publications

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

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

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

Scalable Fualt Detection for FPGAs

Contact Info

Product

Resources

About