A Formally Verified Fail-Operational Safety Concept for Automated Driving

被引：0
|
作者：
Fu, Yuting [1 ]
Terechko, Andrei [1 ]
Groote, Jan Friso [2 ]
Saberi, Arash Khabbaz [2 ]
机构：
[1] NXP Semiconductors, Netherlands
[2] Eindhoven University of Technology, Netherlands
来源：
SAE International Journal of Connected and Automated Vehicles | 2022年 / 5卷 / 01期
关键词：
Automation - Cost effectiveness - Highway accidents - Specification languages - Calculations - Formal verification - Formal specification - Roads and streets;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Development of a fail-operational Power Network for automated Driving
    Kilic, Ahmet
    Shen, Tunan
    Gorelik, Kirill
    [J]. AUTOREG 2017: AUTOMATISIERTES FAHREN UND VERNETZTE MOBILITAT, 2017, 2292 : 449 - 460
  • [2] Engineering and Hardening of Functional Fail-Operational Architectures for Highly Automated Driving
    Adler, Rasmus
    Akram, Mohammed Naveed
    Feth, Patrik
    Fukuda, Takeshi
    Ishigooka, Tasuku
    Otsuka, Satoshi
    Schneider, Daniel
    Yoshimura, Kentaro
    [J]. 2019 IEEE 30TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW 2019), 2019, : 30 - 35
  • [3] A Practical Fail-Operational Steering Concept
    Pandy, Ananda
    Pathuri, Nagamani
    Salunke, Pranav
    Subba, Srujana Sree
    Williams, Dan
    [J]. SAE INTERNATIONAL JOURNAL OF COMMERCIAL VEHICLES, 2020, 13 (03) : 177 - 188
  • [4] Automated Dynamic Safety Evaluation of Generic Fail-Operational Mechatronic Systems
    Ebner, Christian
    Gorelik, Kirill
    Zimmermann, Armin
    [J]. 2021 IEEE INTERNATIONAL CONFERENCE ON PROGNOSTICS AND HEALTH MANAGEMENT (ICPHM), 2021,
  • [5] A Controller Safety Concept Based on Software-Implemented Fault Tolerance for Fail-Operational Automotive Applications
    Ghadhab, Majdi
    Kuntz, Matthias
    Kuvaiskii, Dmitrii
    Fetzer, Christof
    [J]. FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS, (FTSCS 2015), 2016, 596 : 189 - 205
  • [6] A Fail-Operational Truck Platooning Architecture
    Bijlsma, Tjerk
    Hendriks, Teun
    [J]. 2017 28TH IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV 2017), 2017, : 1819 - 1826
  • [7] A Safety Argumentation for Fail-Operational Automotive Systems in Compliance with ISO 26262
    Schmid, Tobias
    Schraufstetter, Stefanie
    Wagner, Stefan
    Hellhake, Dominik
    [J]. 2019 4TH INTERNATIONAL CONFERENCE ON SYSTEM RELIABILITY AND SAFETY (ICSRS 2019), 2019, : 484 - 493
  • [8] Parameterization of Fail-Operational Architectural Patterns
    Penha, Dulcineia
    Weiss, Gereon
    [J]. 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, 2015, : 471 - 473
  • [9] Cost-Effective Redundancy Approach for Fail-Operational Autonomous Driving System
    Ishigooka, Tasuku
    Honda, Shinya
    Takada, Hiroaki
    [J]. 2018 IEEE 21ST INTERNATIONAL SYMPOSIUM ON REAL-TIME DISTRIBUTED COMPUTING (ISORC 2018), 2018, : 107 - 115
  • [10] ALL WEATHER OPERATIONS BY FAIL-OPERATIONAL AUTOLAND
    MCGRATH, IL
    [J]. JOURNAL OF NAVIGATION, 1978, 31 (03): : 488 - 493
12345