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 条

[41] APPLICATION OF FORMAL SAFETY ASSESSMENT TO NAVIGATIONAL RISK EVALUATION OF YANGTZE RIVER
Zhang, Di
Yan, Xinping
Yang, Zaili
Wang, Jin
OMAE2011: PROCEEDINGS OF THE ASME 30TH INTERNATIONAL CONFERENCE ON OCEAN, OFFSHORE AND ARCTIC ENGINEERING, VOL 2: STRUCTURES, SAFETY AND RELIABILITY, 2011, : 847 - +
[42] Formal evaluation of construction safety performance metrics and a case for a balanced approach
Erkal, Elif Deniz Oguz
Hallowell, Matthew R.
Bhandari, Siddharth
JOURNAL OF SAFETY RESEARCH, 2023, 85 : 380 - 390
[43] Safe for safety?
不详
PHYSICS WORLD, 2009, 22 (06) : 3 - 3
[44] A FORMAL MODEL AND A SUPPORT SYSTEM FOR THE CONTINUOUS EVALUATION OF COMPETENCES
Alsinet, Teresa
Bejar, Ramon
Barroso, David
4TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE (INTED 2010), 2010, : 4214 - 4223
[45] A Formal Model for Performance and Energy Evaluation of Embedded Systems
Nogueira, Bruno
Maciel, Paulo
Tavares, Eduardo
Andrade, Ermeson
Massa, Ricardo
Callou, Gustavo
Ferraz, Rodolfo
EURASIP JOURNAL ON EMBEDDED SYSTEMS, 2011, 2011 (01)
[46] EMME: A Formal Tool for ECMAScript Memory Model Evaluation
Mattarei, Cristian
Barrett, Clark
Guo, Shu-yu
Nelson, Bradley
Smith, Ben
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2018, PT II, 2018, 10806 : 55 - 71
[47] Towards Safe Cooperative Autonomous Platoon systems using COTS Equipment
Kurunathan, Harrison
Santos, Jose
Moreira, Duarte
Santos, Pedro M.
2023 IEEE 24TH INTERNATIONAL SYMPOSIUM ON A WORLD OF WIRELESS, MOBILE AND MULTIMEDIA NETWORKS, WOWMOM, 2023, : 464 - 469
[48] An Evaluation Model of Integrating Emerging Technology into Formal Curriculum
Kuo, Lung-Hsing
Wei, Huei-Mei
Chen, Li-Min
Wang, Ming-Chen
Ho, Miao-Kuei
Yang, Hung-Jen
INTERNATIONAL JOURNAL OF EDUCATION AND INFORMATION TECHNOLOGIES, 2012, 6 (01): : 250 - 259
[49] Formal Security Policy Model for a Common Criteria evaluation
Park, Junkil
Choi, Jin-Young
9TH INTERNATIONAL CONFERENCE ON ADVANCED COMMUNICATION TECHNOLOGY: TOWARD NETWORK INNOVATION BEYOND EVOLUTION, VOLS 1-3, 2007, : 277 - +
[50] A Formal Approach for Safe Controllers Analysis
Borges, Paulo
Machado, Jose
Seabra, Eurico
Lima, Mario
2ND INTERNATIONAL CONFERENCE ON INNOVATIONS, RECENT TRENDS AND CHALLENGES IN MECHATRONICS, MECHANICAL ENGINEERING AND NEW HIGH-TECH PRODUCTS DEVELOPMENT (MECAHITECH '10), 2010, : 8 - 14

← 1 2 3 4 5 →