Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure

Papadopoulos, Yiannis; McDermid, John; Sasse, Ralph; Heiner, Gunter

doi:10.1016/s0951-8320(00)00076-4

Cited by 151 publications

(93 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Specifically, the methods based on the modular failure propagation models [16] are investigated, since these models form the conceptual foundation for AADL's Error Annex. [20,30], Fault Propagation&Transformation Calculus (FPTC) [48] as well as the HiP HOPS methodology [39,40,41]. Since this section can only describe each approach briefly, the interested reader should consult the original literature for a detailed description of each approach.…”

Section: A Brief Review Of Architecture-based Safety Evaluation Methodsmentioning

confidence: 99%

“…reaction too late (tl) or too early (te), value failure (v), commission (c) and omission (o)). In the example in Figure 2 [40] is used. Based on these annotations various analysis techniques are proposed.…”

Section: Fptn the Failure Propagation And Transformationmentioning

confidence: 99%

“…Furthermore, as presented in [41], Failure Modes and Effect Analysis tables can be generated based on an analysis of the minimal cut-sets. In practice, HiP-HOPS has been successfully applied to many complex realworld systems in companies such as Volvo [38] or Daimler Chrysler [40]. An example of a tabular failure annotation for the control unit of the fire alarm system is given in Fig CFTs allow the definition of a partial Fault Tree for each output failure port.…”

Section: Fptn the Failure Propagation And Transformationmentioning

confidence: 99%

“…Such model-driven approaches (applied in the architecture design phase) are used to automatically produce Fault Trees and FMEA tables based on an architecture design specification annotated with information about the failure behavior of the architectural components. Example languages for these annotations are: Failure Propagation and Transformation Notation (FPTN) [12,13], Component Fault Trees (CFTs) [31], State Event Fault Trees (SEFTs) [20,30], Fault Propagation and Transformation Calculus (FPTC) [48] and the Tabular Failure Annotation of the HiP HOPS methodology [39,40,41]. Some of these architecture-based modeldriven safety evaluation techniques have been applied in industrial case studies (e.g.…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

A Comparative Study into Architecture-Based Safety Evaluation Methodologies Using AADL's Error Annex and Failure Propagation Models

Grunske

Han

2008

2008 11th IEEE High Assurance Systems Engineering Symposium

View full text Add to dashboard Cite

show abstract

Section: A Brief Review Of Architecture-based Safety Evaluation Methodsmentioning

confidence: 99%

Section: Fptn the Failure Propagation And Transformationmentioning

confidence: 99%

Section: Fptn the Failure Propagation And Transformationmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

A Comparative Study into Architecture-Based Safety Evaluation Methodologies Using AADL's Error Annex and Failure Propagation Models

Grunske

Han

2008

2008 11th IEEE High Assurance Systems Engineering Symposium

View full text Add to dashboard Cite

show abstract

“…As the system development is carried out by different domains, each of them relies only on the information relevant to their activity. The information manipulated by the different domains can intersect and the difficulty is to guarantee that all the domains are working with consistent information ensuring consistency of the design process (Papadopoulos et al 2001).…”

Section: Current Design Process At Renaultmentioning

confidence: 99%

11.2.2 Reducing the Gap Between Formal and Informal Worlds in Automotive Safety‐Critical Systems

Chalé

Taofifenua

Gaudré

et al. 2011

INCOSE International Symp

View full text Add to dashboard Cite

Abstract. The upcoming ISO26262 standard, which deals with the functional safety of road vehicles, will induce car manufacturers to adapt the way in which vehicle systems are usually developed. To achieve this, more rigorous development processes along with new tools and techniques will most certainly be necessary. This paper presents an overview of current initiatives at Renault dealing with the improvement of development processes for mechatronic systems to comply with ISO 26262. It focuses on introducing more formalization in the systems engineering design process via the definition of an ontology to formalize the concepts and knowledge of the systems engineering, functional safety and automotive specialty domains (e.g. braking, energy management). The ontology is at the heart of our improvement initiatives since it allows establishing logical consistency of the whole design process. A regenerative hybrid braking system integrated into a full electrical vehicle will serve as the case study for the evaluation of the improvements made possible by the approach.

show abstract

Integration frameworks and intelligent research in dynamic fault tree: A comprehensive review and future perspectives

Zhu

Jiang

et al. 2023

Quality & Reliability Eng

View full text Add to dashboard Cite

Dynamic fault tree (DFT) is designed to conduct risk assessment studies of complex systems. With the development of intelligent and network technology, risk assessment technology faces a leap forward development. The requirements for improving system safety are being recognized. On the one hand, research on DFT is exploring the integration with different methods. On the other hand, DFT method becomes more intelligent. The purpose of this paper is to identify the feasibility and effectiveness of different integration frameworks. To achieve this goal, a suitable review process is proposed. This paper comprehensively reviews and proposes future perspective the research status of intellectualization in DFT, and focuses on the different types of integration framework of DFT, modeling technology and algorithm optimization, and the support of computer‐aided analysis. Theoretical contributions, frameworks features, and the development process of computer intelligent analysis in the scientific and technical literature are carefully reviewed. Finally, the challenges in future research are summarized to promote the development of intelligent evaluation.

show abstract

Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure

Cited by 151 publications

References 10 publications

A Comparative Study into Architecture-Based Safety Evaluation Methodologies Using AADL's Error Annex and Failure Propagation Models

A Comparative Study into Architecture-Based Safety Evaluation Methodologies Using AADL's Error Annex and Failure Propagation Models

11.2.2 Reducing the Gap Between Formal and Informal Worlds in Automotive Safety‐Critical Systems

Integration frameworks and intelligent research in dynamic fault tree: A comprehensive review and future perspectives

Contact Info

Product

Resources

About