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 条
  • [31] Formal semantics model for automatic test of safety critical systems
    Lü, Jiang-Hua
    Ma, Shi-Long
    Li, Xian-Jun
    Gao, Shi-Wei
    Lü, J.-H. (jhlv@nlsde.buaa.edu.cn), 1600, Chinese Academy of Sciences (25): : 489 - 505
  • [32] The safety-critical java memory model: A formal account
    University of York, Department of Computer Science, York, United Kingdom
    Lect. Notes Comput. Sci., (246-261):
  • [33] A Dynamic Control Method for Cavs Platoon Based on the MPC Framework and Safety Potential Field Model
    Linheng Li
    Jing Gan
    Xu Qu
    Wenqi Lu
    Peipei Mao
    Bin Ran
    KSCE Journal of Civil Engineering, 2021, 25 : 1874 - 1886
  • [34] A Dynamic Control Method for Cavs Platoon Based on the MPC Framework and Safety Potential Field Model
    Li, Linheng
    Gan, Jing
    Qu, Xu
    Lu, Wenqi
    Mao, Peipei
    Ran, Bin
    KSCE JOURNAL OF CIVIL ENGINEERING, 2021, 25 (05) : 1874 - 1886
  • [35] Evaluation of physician knowledge of safety and safe use information for aflibercept
    Zografos, Laurie
    Andrews, Elizabeth
    Calingaert, Brian
    Davenport, Eric
    Wolin, Dan
    Vassilev, Zdravko
    PHARMACOEPIDEMIOLOGY AND DRUG SAFETY, 2018, 27 : 207 - 207
  • [36] Home safe home: Evaluation of a childhood home safety program
    Stewart, Tanya Charyk
    Clark, Andrew
    Gilliland, Jason
    Miller, Michael R.
    Edwards, Jane
    Haidar, Tania
    Batey, Brandon
    Vogt, Kelly N.
    Parry, Neil G.
    Fraser, Douglas D.
    Merritt, Neil
    JOURNAL OF TRAUMA AND ACUTE CARE SURGERY, 2016, 81 (03): : 533 - 540
  • [37] Synthetic curcumin is safe in long-term safety evaluation
    Jain, Roopesh
    BIOMEDICAL AND BIOTECHNOLOGY RESEARCH JOURNAL, 2020, 4 (02): : 177 - 178
  • [38] Evaluation of patient knowledge of safety and safe use information for aflibercept
    Zografos, Laurie
    Andrews, Elizabeth
    Calingaert, Brian
    Davenport, Eric
    Wolin, Dan
    Vassilev, Zdravko
    PHARMACOEPIDEMIOLOGY AND DRUG SAFETY, 2018, 27 : 520 - 521
  • [39] VIPS: A simulator for platoon system evaluation
    Gueriau, Maxime
    Dafflon, Baudouin
    Gechter, Franck
    SIMULATION MODELLING PRACTICE AND THEORY, 2017, 77 : 157 - 176
  • [40] Traffic safety evaluation of mixed traffic flow considering the maximum platoon size of connected automated vehicles
    Jiang, Yangsheng
    Ren, Tingting
    Ma, Yuqin
    Wu, Yunxia
    Yao, Zhihong
    PHYSICA A-STATISTICAL MECHANICS AND ITS APPLICATIONS, 2023, 612
12345