Modeling and Analysis of Vehicles Platoon Safety in a Dynamic Environment Based on GSPN

Throughout the transport system mission, the system and its environment can be in an unsafe state that are can be caused by a set of disturbing events which can be internal or external. To avoid this unsafe state, it is necessary to studying the vehicles platoon safe in order to identify the factors that have an important impact on platoon safe. Many researches have been conducted to study the safety of the smart vehicles platoon in their environment. In this paper, our aim is to propose a formal model based on Generalized Stochastic Petri Nets models for modeling and analyzing the impact of same factors on the system safety. Within this context, same results are obtained by evaluate the vehicles platoon safety according to the factors: the number of faulty vehicles per platoon, the failure rate in the system and appearance frequency of external perturbation.