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 …

Over the past two decades, the study of model-based dependability analysis (MBDA) has
gathered significant research interest. Different approaches have been developed to …

Abstract Model-based safety assessment (MBSA) has been one of the major research
thrusts of the System Safety Engineering community for about three decades. It has attracted …

Designing a dependable system successfully is a challenging issue that is an ongoing
research subject in the literature. Different approaches have been adopted to analyse and …

Software Quality Assurance in Large Scale and Complex Software-intensive Systems
presents novel and high-quality research related approaches that relate the quality of …

Markov chains are a powerful and versatile tool to calculate reliability indicators. However,
their use is limited for two reasons: the exponential blow-up of the size of the model, and the …

Nowadays, security analysis of complex systems has become a major concern. Many works
have been achieved to reduce vulnerabilities in such systems. However, existing methods …

In this paper, we propose a model-driven framework for security analysis. We present a
security analysis process that begins from the design phase of the system architecture then …

Designing a dependable system successfully is a challenging issue that is an ongoing
research subject in the literature. Different approaches have been adopted in order to …

Even in the domain of safety critical systems, safety and reliability are not the only goals and
a developing engineer is faced with the problem to find good compromises wrt. other …