A formal model for safety evaluation of platooning system
Mohamed Garoui · 2016
Building a safety model is an approach to make expert decision explicit about safety of a system. The issue of safe modeling and analyze 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 platoon vehicles.