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 …
Model-based dependability analysis: State-of-the-art, challenges, and future outlook
Over the past two decades, the study of model-based dependability analysis (MBDA) has
gathered significant research interest. Different approaches have been developed to …
gathered significant research interest. Different approaches have been developed to …
The AltaRica 3.0 project for model-based safety assessment
T Prosvirnova, M Batteux, PA Brameret, A Cherfi… - IFAC proceedings …, 2013 - Elsevier
The aim of this article is to present the AltaRica 3.0 project.“Traditional” risk modeling
formalisms (eg Fault Trees, Markov Processes, etc.) are well mastered by safety analysts …
formalisms (eg Fault Trees, Markov Processes, etc.) are well mastered by safety analysts …
Model-based safety analysis with time resolution (MBSA-TR) method for complex aerothermal–mechanical systems of aero-engines
C Gan, S Ding, T Qiu, P Liu, Q Ma - Reliability Engineering & System Safety, 2024 - Elsevier
Current aero-engine safety assessments mostly rely on experience-based safety analysis
methods such as Fault Tree Analysis (FTA) or Failure Modes and Effects Analysis (FMEA) …
methods such as Fault Tree Analysis (FTA) or Failure Modes and Effects Analysis (FMEA) …
The xSAP Safety Analysis Platform
This paper describes the xSAP safety analysis platform. xSAP provides several model-
based safety analysis features for finite-and infinite-state synchronous transition systems. In …
based safety analysis features for finite-and infinite-state synchronous transition systems. In …
AADL-Based safety analysis using formal methods applied to aircraft digital systems
Abstract Model-based engineering tools are increasingly being used for system-level
development of safety-critical systems. Architectural and behavioral models provide …
development of safety-critical systems. Architectural and behavioral models provide …
AltaRica 3.0 in ten modelling patterns
M Batteux, T Prosvirnova… - International Journal of …, 2019 - inderscienceonline.com
AltaRica 3.0 is an object-oriented modelling language dedicated to probabilistic risk and
safety analyses. It is a prominent representative of modelling formalisms supporting the so …
safety analyses. It is a prominent representative of modelling formalisms supporting the so …
Defining and characterizing model-based safety assessment: A review
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 …
thrusts of the System Safety Engineering community for about three decades. It has attracted …
Formalism and semantics of PyCATSHOO: A simulator of distributed stochastic hybrid automata
L Desgeorges, PY Piriou, T Lemattre… - Reliability Engineering & …, 2021 - Elsevier
This article lays the mathematical foundations of PyCATSHOO, a Model-Based Safety
Analysis (MBSA) framework relying on distributed stochastic hybrid automata. This tool was …
Analysis (MBSA) framework relying on distributed stochastic hybrid automata. This tool was …
AltaRica 3.0: a model-based approach for safety analyses
T Prosvirnova - 2014 - pastel.hal.science
The Model-Based approach for safety and reliability analysis is gradually wining the trust of
engineers but is still an active domain of research. Safety engineers master" traditional''risk …
engineers but is still an active domain of research. Safety engineers master" traditional''risk …