Safe-Platoon: A Formal Model for Safety Evaluation

Abstract

Building a safety model to make expert decisions is an approach to improve the safety of a system. The issue of safe modeling and analyzing such domain is still an open research field. Providing quantitative estimation of a system's safety is an interesting method to study system complexity. This article explores the author's current methods and proposes a new formal model for quantitative estimation based on a stochastic activity network (SAN). This model is built based on some failure modes that affect platoon vehicles.