Automatic Synthesis of Static Fault Trees from System Models

Xiang, Jianwen; Yanoo, Kazuo; Maeno, Yoshiharu; Tadano, Kin‐ichi

doi:10.1109/ssiri.2011.32

Cited by 43 publications

(23 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…But not always one component has only one function, the implementation from one function can be executed by more than a component or more than one function may be assigned to a component [25,26]. Approaches like, for example, the extension from FTA including the functional dependency [27,28] show that reconsideration is necessary for the benefit of the functional orientation. Liggesmeyer [20] considers for applying FTA and FMEA by his modularized model the system and system environment, though the analysis to focus only on components and functions that are not taken into account.…”

Section: Analysis Of Methodsmentioning

confidence: 99%

Development of an Innovative Approach for Complex, Causally Determined Failure Chains

Bielefeld

Dransfeld

Schlüter

et al. 2017

Management and Production Engineering Review

View full text Add to dashboard Cite

A high number of examples in today's global industry prove that it is difficult to ensure a certain level of quality. One possible reason is the increasing complexity of modern mechatronic product systems. Interface problems due to several involved science disciplines and the lack of understanding subsystems, which are delivered by different suppliers, make it difficult to identify critical components and specifications of elements. Furthermore, it is even harder to estimate the effects of elements because of their unknown dependencies and relations. Therefore it becomes more and more improbable to develop a safe, sustainable and high quality product right from the beginning. In order to understand failures in complex system structures today's engineering industries need a generic approach that increases the understanding of systems, identifies critical components and considers the different levels of a system. It shall examine failures that cause system errors but also failures that limit system functions. Thus, it is necessary to model and simulate the causally failure chains and analyse over several system levels and elements with their dependencies. This leads to a better understanding of the whole picture of cause and effect. This research paper points out which requirements this new model-based approach has to fulfill and how it is possible to link quality and reliability methods to achieve an overall understanding and analysis of a complex system to assure high quality and sustainability.

show abstract

Section: Analysis Of Methodsmentioning

confidence: 99%

Development of an Innovative Approach for Complex, Causally Determined Failure Chains

Bielefeld

Dransfeld

Schlüter

et al. 2017

Management and Production Engineering Review

View full text Add to dashboard Cite

show abstract

“…A widely used safety and reliability analysis [17] feature in aerospace, medical electronics and industrial automation industries [18]. In this analysis the major focus is on the top level event (Minimal Cut-Set), from a set of combinations of basic events (Faults).…”

Section: Fault Tree Analysis (Fta)mentioning

confidence: 99%

Architecture Level Safety Analyses for Safety-Critical Systems

Ks¹,

Manju²,

Jayanthi³

2017

J Aeronaut Aerospace Eng

View full text Add to dashboard Cite

The dependency of complex embedded Safety-Critical Systems across, Avionics and Aerospace domains, on their underlying software and hardware components has gradually increased with progression in time. Such application domain systems are developed based on a complex integrated architecture, which are modular in nature. Engineering practices assured with system safety standards to manage the failure, faulty and unsafe operational conditions are very much necessary. System safety analyses involves the analysis of complex software architecture of the system, a major aspect in leading to fatal consequences in the behavior of Safety-Critical Systems, provides high reliability and dependability factors during their development. In this paper, we propose an architecture fault modeling and the safety analyses approach that will aid in identifying and eliminating the design flaws. The formal foundations of SAE Architecture Analysis and Design Language (AADL) augmented with the Error Model Annex (EMV) are discussed. The fault propagation, failure behavior and the composite behavior of the design flaws/ failures are considered for architecture safety analysis. The illustration of the proposed approach is validated by implementing the Speed Control Unit of Power Boat Autopilot (PBA) system. The Error Model Annex (EMV) guides with the pattern of consideration and inclusion of probable failure scenarios and propagation of fault conditions in the Speed Control Unit of Power Boat Autopilot (PBA). This helps in validating the system architecture with the detection of the error event in the model and its impact in the operational environment. This also provides an insight of the Certification impact that these exceptional conditions pose upon at various criticality levels, design assurance levels and its implications in verifying and validating the designs.

show abstract

“…Xiang et al [15] also automatically derive fault trees from SysML. Based on use cases, they model a system and its functional dependencies in IBDs and SDs.…”

Section: ) Sysml-modeling As Basis For Hazard Analysismentioning

confidence: 99%

“…However, existing approaches either use the SysML models as basis for traditional safety analyses (such as [13,14]), use additional tools and modeling languages (e.g. [11,15]) or are focused on specific tasks like requirements specification (e.g. [16]).…”

Section: Introductionmentioning

confidence: 99%

The hazard analysis profile: Linking safety analysis and SysML

Müller

Roth

Lindemann

2016

2016 Annual IEEE Systems Conference (SysCon)

View full text Add to dashboard Cite

To handle stricter safety regulations combined with increasing complexity and shorter development cycles, it is necessary to consider safety aspects starting from the early phases of design. This paper presents an approach to link methods of safety analysis and modeling (SysML). Even though SysML and MBSE are common in the early stages of system design, there is a lack of methods integrating model-based design activities and safety analyses. Existing approaches either focus on particular tasks or build models after conducting separate safety analyses. Our presented approach, tailored to early stages of system design, introduces a "Hazard Analysis" SysML profile accompanied by a procedure for its application within a model-based safety analysis. It provides a preliminary hazard analysis and facilitates the systematic identification of safety-critical functions and components.

show abstract

Automatic Synthesis of Static Fault Trees from System Models

Cited by 43 publications

References 18 publications

Development of an Innovative Approach for Complex, Causally Determined Failure Chains

Development of an Innovative Approach for Complex, Causally Determined Failure Chains

Architecture Level Safety Analyses for Safety-Critical Systems

The hazard analysis profile: Linking safety analysis and SysML

Contact Info

Product

Resources

About