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

Grunske, Lars; Han, Jun

doi:10.1109/hase.2008.32

Cited by 42 publications

(20 citation statements)

References 34 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…For an overview of the different evaluation models and techniques several surveys can be recommended, e.g. for reliability [99], performance [22], [134], energy consumption [27], and safety [104].…”

Section: Mts(2)mentioning

confidence: 99%

Software Architecture Optimization Methods: A Systematic Literature Review

Aleti

Bühnová

Grunske

et al. 2013

IIEEE Trans. Software Eng.

Self Cite

244

146

View full text Add to dashboard Cite

Due to significant industrial demands toward software systems with increasing complexity and challenging quality requirements, software architecture design has become an important development activity and the research domain is rapidly evolving. In the last decades, software architecture optimization methods, which aim to automate the search for an optimal architecture design with respect to a (set of) quality attribute(s), have proliferated. However, the reported results are fragmented over different research communities, multiple system domains, and multiple quality attributes. To integrate the existing research results, we have performed a systematic literature review and analyzed the results of 188 research papers from the different research communities. Based on this survey, a taxonomy has been created which is used to classify the existing research. Abstract-Due to significant industrial demands toward software systems with increasing complexity and challenging quality requirements, software architecture design has become an important development activity and the research domain is rapidly evolving. In the last decades, software architecture optimization methods, which aim to automate the search for an optimal architecture design with respect to a (set of) quality attribute(s), have proliferated. However, the reported results are fragmented over different research communities, multiple system domains, and multiple quality attributes. To integrate the existing research results, we have performed a systematic literature review and analyzed the results of 188 research papers from the different research communities. Based on this survey, a taxonomy has been created which is used to classify the existing research. Furthermore, the systematic analysis of the research literature provided in this review aims to help the research community in consolidating the existing research efforts and deriving a research agenda for future developments.

show abstract

Section: Mts(2)mentioning

confidence: 99%

Software Architecture Optimization Methods: A Systematic Literature Review

Aleti

Bühnová

Grunske

et al. 2013

IIEEE Trans. Software Eng.

Self Cite

244

146

View full text Add to dashboard Cite

show abstract

“…In [35,34,33] approaches based on fault injection to estimate the error propagation characteristics of a software system during testing are presented. In the context of safety some works exist dealing with multiple failure modes, see for example [20]. However they don't present any kind of stochastic analysis but only an examination of their possible propagation patterns.…”

Section: Related Workmentioning

confidence: 99%

A compositional method for reliability analysis of workflows affected by multiple failure modes

Distefano

Filieri

Ghezzi

et al. 2011

Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering

View full text Add to dashboard Cite

We focus on reliability analysis for systems designed as workflowbased compositions of components. Components are characterized by their failure profiles, which take into account possible multiple failure modes. A compositional calculus is provided to evaluate the failure profile of a composite system, given failure profiles of the components. The calculus is described as a syntax-driven procedure that synthesizes a workflow's failure profile. The method is viewed as a design-time aid that can help software engineers reason about system's reliability in the early stage of development. A simple case study is presented to illustrate the proposed approach.

show abstract

“…In [22][23][24] approaches based on fault injection to estimate the error propagation characteristics of a software system during testing are presented. In the context of safety some works exist dealing with multiple failure modes, see for example [25]. However they don't present any kind of stochastic analysis but only an examination of their possible propagation patterns.…”

Section: Related Workmentioning

confidence: 99%

Reliability Analysis of Component-Based Systems with Multiple Failure Modes

Filieri

Ghezzi

Grassi

et al. 2010

Component-Based Software Engineering

View full text Add to dashboard Cite

Abstract. This paper presents a novel approach to the reliability modeling and analysis of a component-based system that allows dealing with multiple failure modes and studying the error propagation among components. The proposed model permits to specify the components attitude to produce, propagate, transform or mask different failure modes. These component-level reliability specifications together with information about systems global structure allow precise estimation of reliability properties by means of analytical closed formulas, probabilistic modelchecking or simulation methods. To support the rapid identification of components that could heavily affect systems reliability, we also show how our modeling approach easily support the automated estimation of the system sensitivity to variations in the reliability properties of its components. The results of this analysis allow system designers and developers to identify critical components where it is worth spending additional improvement efforts.

show abstract

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

Abstract: Abstract

Cited by 42 publications

References 34 publications

Software Architecture Optimization Methods: A Systematic Literature Review

Software Architecture Optimization Methods: A Systematic Literature Review

A compositional method for reliability analysis of workflows affected by multiple failure modes

Reliability Analysis of Component-Based Systems with Multiple Failure Modes

Contact Info

Product

Resources

About