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 …
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
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 …
challenge along the system's life-cycle for variant-rich systems of high complexity. The …
Engineering failure analysis and design optimisation with HiP-HOPS
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 …
transport and manufacturing industries, pose significant challenges for failure analysis. Over …
Safety analysis for vehicle guidance systems with dynamic fault trees
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 …
proposed approach constructs dynamic fault trees (DFTs) to model a variety of safety …
Dealing with non-functional requirements in model-driven development: A survey
Context: Managing Non-Functional Requirements (NFRs) in software projects is
challenging, and projects that adopt Model-Driven Development (MDD) are no exception …
challenging, and projects that adopt Model-Driven Development (MDD) are no exception …
Integrating model checking with HiP-HOPS in model-based safety analysis
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 …
critical systems is crucial. Model-based safety analysis (MBSA) has been introduced in …
Automatic optimisation of system architectures using EAST-ADL
There are many challenges which face designers of complex system architectures,
particularly safety–critical or real-time systems. The introduction of Architecture Description …
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 …
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 …
them to compare the effect of their design decisions on dependability properties. For …
Probabilistic model-checking support for FMEA
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 …
relations between component faults and hazards that may occur during the lifetime of a …