Safety modelling and evaluation of vehicles platoon based on SAN models

摘要

>Building a safety model is an approach to make expert decisions explicit about safety of a system. The issue of safe modelling and analysis in such domain is still an open research field. Providing quantitative estimation of system safety is an interesting method to study the system complexity. This paper explores our main current methods, and proposes a new formal model for quantitative estimation based on Stochastic Activity Network (SAN). This model is built based on some failure modes that affect the vehicles platoon.