2.2.1 Model‐based Safety Analysis of a Flap Control System

Bretschneider, Matthias; Holberg, Hans-Jürgen; Böde, Eckard; Brückner, Ingo; Peikenkamp, Thomas; Spenke, Harriet

doi:10.1002/j.2334-5837.2004.tb00493.x

Cited by 14 publications

(9 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…General Description. Our sample application is derived from a case study for Airbus, a controller for the flaps of an aircraft [4]. The flaps are extended during take-off and landing to generate more lift at low velocity.…”

Section: Applicationmentioning

confidence: 99%

Automatic Verification of Hybrid Systems with Large Discrete State Space

Damm

Disch

Hungar

et al. 2006

Automated Technology for Verification and Analysis

View full text Add to dashboard Cite

Abstract.We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most currently available verification tools do. Our procedure relies on a deep integration of several techniques and tools. An extension of AND-Inverter-Graphs (AIGs) with first-order constraints serves as a compact representation format for sets of configurations which are composed of continuous regions and discrete states. Boolean reasoning on the AIGs is complemented by firstorder reasoning in various forms and on various levels. These include implication checks for simple constraints, test vector generation for fast inequality checks of boolean combinations of constraints, and an exact subsumption check for representations of two configurations.These techniques are integrated within a model checker for universal CTL. Technically, it deals with discrete-time hybrid systems with linear differentials. The paper presents the approach, its prototype implementation, and first experimental data.

show abstract

Section: Applicationmentioning

confidence: 99%

Automatic Verification of Hybrid Systems with Large Discrete State Space

Damm

Disch

Hungar

et al. 2006

Automated Technology for Verification and Analysis

View full text Add to dashboard Cite

show abstract

“…Especially, the idea is to support automatic generation of safety artifacts from system models was elaborated. In [2,7,8] fault tree models are generated from UML models to perform safety analysis, while [3,4,9,16,18,20,22] use a system model, such as AADL, EAST-ADL, etc., as input to generate fault tree models. Other approaches, such as [5,6,19], focus on the automatic generation of Failure Mode and Effects Analysis (FMEA) tables from a system model.…”

Section: Related Workmentioning

confidence: 99%

Automated Failure Propagation using Inner Port Dependency Traces

Höfig

Zeller

Schorp

2015

Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures

View full text Add to dashboard Cite

Safety assurance is a major challenge in the design of complex embedded and Cyber-physical Systems. Especially, changes and adoptions during the design or run-time of an embedded system invalidate former safety analyses and require an adaptation of the system's safety analysis models. In this paper, we present a methodology to fill up empty safety analysis artifacts in component fault trees using socalled inner port dependency traces to describe failure propagation. Thus, enabling a imprecise but rapid safety analysis of an entire system at early development stages or during system run-time for the automated certification of Cyberphysical Systems. We evaluate our approach using case study from the automotive domain.

show abstract

“…It is possible for an analyst to make errors during safety analysis from natural language specifications because of the informality of natural language, the manual work of safety verification is very labor intensive and time consuming [4] . One way of dealing with the increased complexity in safety analysis is to adopt formal methods and fault injection techniques in the activities of system's safety analysis and design [5][6][7][8][9][10][11][12][13][14][15][16] . With these approaches, consistency and correctness is improved for safety process throughout the system's safety lifecycle.…”

Section: Introductionmentioning

confidence: 99%

A Novel Fault Injection Algorithm for Safety Analysis

Wang

2012

2012 Spring Congress on Engineering and Technology

View full text Add to dashboard Cite

Conventional methods for safety analysis have problems in terms of correctness and efficiency. Using formal methods and fault injection techniques can improve consistency and correctness for safety process throughout the system's safety lifecycle. Yet existed methods for fault injection and safety analysis mainly think about single faults injection for system, seldom do with fault injection for multiple faults. In the paper, we propose a novel fault injection algorithm for safety analysis, it can inject single faults and multiple faults to system model, automatically form extended system models, by safety verification for these models, verification results for fault injection are obtained, besides, we analyze the results of multiple faults, we can get the minimal combination of multiple faults which violate the safety. Compared with existed methods for safety analysis and fault injection, our new method provides an excellent way to form the minimal cut sets of fault trees, it has improved the completeness of fault injection, and reduced the time for safety verification and analysis.

show abstract

2.2.1 Model‐based Safety Analysis of a Flap Control System

Cited by 14 publications

References 4 publications

Automatic Verification of Hybrid Systems with Large Discrete State Space

Automatic Verification of Hybrid Systems with Large Discrete State Space

Automated Failure Propagation using Inner Port Dependency Traces

A Novel Fault Injection Algorithm for Safety Analysis

Contact Info

Product

Resources

About