Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language

Cuenot, Philippe; Chen, DeJiu; Gérard, Sébastien; Lönn, Henrik; Reiser, Mark-Oliver; Servat, David; Kolagari, Ramin Tavakoli; Törngren, Martin; Weber, M.

doi:10.1007/978-3-540-74035-3_3

Cited by 11 publications

(8 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Specifically, a recent approach that extends the EAST ADL (http://www.east-eea.org/) with an error modeling capability should be considered [7]. EAST ADL, which has been designed by a consortium driven by the European automotive industry, is an architecture description language similar to AADL.…”

Section: Resultsmentioning

confidence: 99%

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: Resultsmentioning

confidence: 99%

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

“…[29] introduces the SysML profile designed for modelling the safety-related concerns of a system and the supporting tools. Similar studies are also undertaken with DSLs such as AADL [5] or EAST-ADL [6]. Those approaches give a solid methodological support for MBSA by coupling MDA and SA, however, they do not provide mechanisms to manage a complexity of SA methods applied to systems with multi-level hierarchy.…”

Section: Related Work and Discussionmentioning

confidence: 99%

“…Our research has been inspired by safety-critical applications. During last decades MDE approach has spread among safety experts for its capabilities to automate classical safety analysis (SA) methods and techniques [2][3] [4][5] [6] [7]. Safety-critical systems are expected to satisfy a high level of dependability and, in particular, safety.…”

Section: Introductionmentioning

confidence: 99%

Model-driven multi-level safety analysis of critical systems

Yakymets

Perin

Lanusse

2015

2015 Annual IEEE Systems Conference (SysCon) Proceedings

View full text Add to dashboard Cite

Model-driven engineering is a promising approach used to develop and analyze complex systems from different domains. In this paper, we focus on the safety aspect and introduce a methodology and associated framework for modeldriven safety analysis (SA) of large critical systems. The methodology is meant to cope with design complexity and reduce time of SA process. The framework, called Sophia, supports proposed methodology and includes facilities (i) to automatically perform various SA methods, (ii) to make semantic connections with formal SA tools, (iii) to represent SA results in the system modeling environment. We illustrate our approach using a case study from transport domain.

show abstract

“…Various general-purpose modeling languages have been developed over the years to support the development of system design models. These include Systems Modelling Language (SysML) [5], Architecture Analysis and Design Language (AADL) [6], and Embedded Automotive System Technology -Architecture Description Language (EAST-ADL) [7]. Analysis on these models is performed to understand how a system behaves not only in its normal working condition (represented in the nominal model), but also in the presence of failure (represented in the error model [8]).…”

Section: Introductionmentioning

confidence: 99%

Integrating model checking with HiP-HOPS in model-based safety analysis

Sharvia

Papadopoulos

2015

Reliability Engineering & System Safety

View full text Add to dashboard Cite

The ability to perform an effective and robust safety analysis on the design of modern safety-critical systems is crucial. Model-Based Safety Analysis (MBSA) has been introduced in recent years to support the assessment of complex system design by focusing on the system model as the central artefact, and by automating the synthesis and analysis of failure-extended models. Model checking and Failure Logic Synthesis and Analysis (FLSA) are two prominent MBSA paradigms. Extensive research has placed emphasis on the development of these techniques, but discussion on their integration remains limited. In this paper, we propose a technique in which model checking and Hierarchically Performed Hazard Origin and Propagation Studies (HiP-HOPS) -an advanced FLSA technique -can be applied synergistically with benefit for the MBSA process. The application of the technique is illustrated through an example of a brake-by-wire system.

show abstract

Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language

Cited by 11 publications

References 16 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

Model-driven multi-level safety analysis of critical systems

Integrating model checking with HiP-HOPS in model-based safety analysis

Contact Info

Product

Resources

About