An overview of fault tree analysis and its application in model based dependability analysis

S Kabir - Expert Systems with Applications, 2017 - Elsevier
Abstract Fault Tree Analysis (FTA) is a well-established and well-understood technique,
widely used for dependability evaluation of a wide range of systems. Although many …

[HTML][HTML] Evolution of software in automated production systems: Challenges and research directions

B Vogel-Heuser, A Fay, I Schaefer, M Tichy - Journal of Systems and …, 2015 - Elsevier
Co** with evolution in automated production systems implies a cross-disciplinary
challenge along the system's life-cycle for variant-rich systems of high complexity. The …

Engineering failure analysis and design optimisation with HiP-HOPS

Y Papadopoulos, M Walker, D Parker, E Rüde… - Engineering Failure …, 2011 - Elsevier
The scale and complexity of computer-based safety critical systems, like those used in the
transport and manufacturing industries, pose significant challenges for failure analysis. Over …

Safety analysis for vehicle guidance systems with dynamic fault trees

M Ghadhab, S Junges, JP Katoen, M Kuntz… - Reliability engineering & …, 2019 - Elsevier
This paper considers the design-phase safety analysis of vehicle guidance systems. The
proposed approach constructs dynamic fault trees (DFTs) to model a variety of safety …

Dealing with non-functional requirements in model-driven development: A survey

D Ameller, X Franch, C Gómez… - IEEE Transactions …, 2019 - ieeexplore.ieee.org
Context: Managing Non-Functional Requirements (NFRs) in software projects is
challenging, and projects that adopt Model-Driven Development (MDD) are no exception …

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

S Sharvia, Y Papadopoulos - Reliability engineering & system safety, 2015 - Elsevier
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 …

Automatic optimisation of system architectures using EAST-ADL

M Walker, MO Reiser, S Tucci-Piergiovanni… - Journal of Systems and …, 2013 - Elsevier
There are many challenges which face designers of complex system architectures,
particularly safety–critical or real-time systems. The introduction of Architecture Description …

Identifying" good" architectural design alternatives with multi-objective optimization strategies

L Grunske - Proceedings of the 28th international conference on …, 2006 - dl.acm.org
Architecture trade-off analysis methods are appropriate techniques to evaluate design
decisions and design alternatives with respect to conflicting quality requirements. However …

Quantitative risk-based security prediction for component-based systems with explicitly modeled attack profiles

L Grunske, D Joyce - Journal of Systems and Software, 2008 - Elsevier
Systems and software architects require quantitative dependability evaluations, which allow
them to compare the effect of their design decisions on dependability properties. For …

Probabilistic model-checking support for FMEA

L Grunske, R Colvin, K Winter - Fourth International Conference …, 2007 - ieeexplore.ieee.org
Failure Mode and Effect Analysis (FMEA) is a method for assessing cause-consequence
relations between component faults and hazards that may occur during the lifetime of a …