A Formal Model for Safety Evaluation of Platooning System
| Affiliation auteurs | Affiliation ok |
| Titre | A Formal Model for Safety Evaluation of Platooning System |
| Type de publication | Conference Paper |
| Year of Publication | 2016 |
| Auteurs | Garoui M |
| Editor | Chen Y |
| Conference Name | 2016 17TH IEEE/ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING (SNPD) |
| Publisher | IEEE; Int Assoc Comp & Informat Sci; SSCTL; IEEE Comp Soc; Cent Michigan Univ, Software Engn & Informat Technol Inst; Shanghai Univ; Shanghai Key Lab Comp Software Testing & Evaluating |
| Conference Location | 345 E 47TH ST, NEW YORK, NY 10017 USA |
| ISBN Number | 978-1-5090-2239-7 |
| Résumé | 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. |