Safe-Platoon: A Formal Model for Safety Evaluation

被引：1
|
作者：
Garoui, Mohamed [1 ]
机构：
[1] UTBM, Sousse, Tunisia
来源：
INTERNATIONAL JOURNAL OF SOFTWARE SCIENCE AND COMPUTATIONAL INTELLIGENCE-IJSSCI | 2019年 / 11卷 / 02期
关键词：
Platoon System; Quantitative Analysis; Safe; SAN;
D O I：
10.4018/IJSSCI.2019040102
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
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.
引用
收藏
页码：26 / 37
页数：12
相关论文
共 50 条
  • [1] A Formal Model for Safety Evaluation of Platooning System
    Garoui, Mohamed
    2016 17TH IEEE/ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING (SNPD), 2016, : 139 - 146
  • [2] Dual mode for vehicular platoon safety: Simulation and formal verification
    Karoui, Oussama
    Khalgui, Mohamed
    Koubaa, Anis
    Guerfala, Emna
    Li, Zhiwu
    Tovar, Eduardo
    INFORMATION SCIENCES, 2017, 402 : 216 - 232
  • [3] The Flatbed Platoon Towing Model for Safe and Dense Platooning on Highways
    Ali, Alan
    Garcia, Gaetan
    Martinet, Philippe
    IEEE INTELLIGENT TRANSPORTATION SYSTEMS MAGAZINE, 2015, 7 (01) : 58 - 68
  • [4] Formal Verification of Platoon Control Strategies
    Rashid, Adnan
    Siddique, Umair
    Hasan, Osman
    SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2018, 2018, 10886 : 223 - 238
  • [5] String Stable and Collision-Safe Model Predictive Platoon Control
    Gratzer, Alexander L.
    Thormann, Sebastian
    Schirrer, Alexander
    Jakubek, Stefan
    IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2022, 23 (10) : 19358 - 19373
  • [6] Evaluation of a child safety program based on the WHO Safe Community model
    Lindqvist, K
    Timpka, T
    Schelp, L
    Risto, O
    INJURY PREVENTION, 2002, 8 (01) : 23 - 26
  • [7] A safe stable directional vehicular platoon
    Ghasemi, Ali
    Rouhi, Saeed
    PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART D-JOURNAL OF AUTOMOBILE ENGINEERING, 2015, 229 (08) : 1083 - 1093
  • [8] Experimental Evaluation of Smart Cars Model for a Platoon of Vehicles
    Luu, Duc Lich
    Lupu, Ciprian
    2019 23RD INTERNATIONAL CONFERENCE ON SYSTEM THEORY, CONTROL AND COMPUTING (ICSTCC), 2019, : 815 - 820
  • [9] FORMAL MODEL OF AIRCRAFTS SAFETY SEPARATION
    Zafar, Nazir Ahmad
    INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL, 2014, 10 (04): : 1401 - 1412
  • [10] The Safety Braking Protection Model of Virtually Coupled Train Platoon in Subway
    Zhou, Qiao
    Zhang, ChunYu
    Bao, Feng
    Zhang, Lei
    Xiao, Xiao
    2020 10TH INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS INTERNATIONAL CONFERENCE ON CYBER TECHNOLOGY IN AUTOMATION, CONTROL, AND INTELLIGENT SYSTEMS (IEEE-CYBER 2020), 2020, : 401 - 406
12345