Risk analysis for autonomous underwater vehicles (AUVs) is essential to assist decision
making for safer operations. This study aims to provide a systematic review of risk analysis …

We present the probabilistic model checker Storm. Storm supports the analysis of discrete-
and continuous-time variants of both Markov chains and Markov decision processes. Storm …

Dynamic fault tree (DFT) is an extended technology of Fault tree analysis (FTA). It has been
widely used in many fields and plays an important role in improving the security …

Battery cells and modules are critical to the reliability of the power supply system of an EV.
Therefore, their reliability is mainly concern before. However, EV's power supply system is a …

Markov models comprise states with probabilistic transitions. The analysis of these models is
ubiquitous and studied in, among others, reliability engineering, artificial intelligence …

Train network control management system (TCMS) is an important part of the High-speed
rail train. Because of the TCMS's complex and redundant structure, long-term operation …

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 …

In the context of intelligent and automated vehicles, drive-by-wire (DBW) systems have
aroused wide attention, both in academia and industries. Over the years, a lot of discussion …

Failure of the braking system is one of the factors causing traffic accidents, therefore periodic
testing of goods transport vehicles is very important. In fact, the incidence rate is still very …

The irrelevance coverage model (ICM) is an extension of the imperfect fault coverage model
(IFCM), which can reduce the risk of uncovered component failures by isolating irrelevant …