Symbolic Execution based Verification of Compliance with the ISO 26262 Functional Safety Standard

被引：14
|
作者：
Ahmed, Mazen [1 ]
Safar, Mona [2 ]
机构：
[1] Cairo Univ, Mentor Graph, Dept Elect, Fac Engn, Cairo, Egypt
[2] Ain Shams Univ, Comp & Syst Engn Dept, Fac Engn, Cairo, Egypt
来源：
2019 14TH IEEE INTERNATIONAL CONFERENCE ON DESIGN & TECHNOLOGY OF INTEGRATED SYSTEMS IN NANOSCALE ERA (DTIS 2019) | 2019年
关键词：
Symbolic Execution; ISO-26262; Automotive Functional Safety; Formal Verification; AUTOSAR Watchdog Modules;
D O I：
10.1109/dtis.2019.8735046
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This paper proposes a new technique for verifying the compliance of AUTOSAR software with the ISO-26262 functional safety standard. A framework is presented which formally verifies that a given implemented AUTOSAR software fulfils high risk Automotive Safety Integrity Level (ASIL) C and D requirements. The framework exploits the power of symbolic execution to uncover defects early in the design stage. The efficacy of the framework is demonstrated on the AUTOSAR watchdog manager and watchdog interface modules.
引用
收藏
页数：6
相关论文
共 50 条
  • [21] An Intelligent Brake-By-Wire System Design and Analysis in Accordance with ISO-26262 Functional Safety Standard
    Leu, Kuen-Long
    Huang, Hsiang
    Chen, Yung-Yuan
    Huang, Li-Ren
    Ji, Kung-Ming
    2015 INTERNATIONAL CONFERENCE ON CONNECTED VEHICLES AND EXPO (ICCVE), 2015, : 150 - 156
  • [22] Constrained-Based Symbolic Execution on Virtual Models for Functional Coverage Verification
    Mohamed, Nahla Mohamed
    Safar, Mona
    Wahba, Ayman
    Salem, Ashraf
    2015 TENTH INTERNATIONAL CONFERENCE ON COMPUTER ENGINEERING & SYSTEMS (ICCES), 2015, : 99 - 104
  • [23] Low Complexity and High Safety Architecture of Automotive Li-ion Battery Management Systems in Compliance with the ISO 26262 Standard
    Delizonas, Apostolos
    Mademlis, Christos
    Tsioumas, Evangelos
    Papagiannis, Dimitrios
    Jabbour, Nikolaos
    Matiakis, Tilemaxos
    2023 IEEE INTERNATIONAL CONFERENCE ON ELECTRICAL SYSTEMS FOR AIRCRAFT, RAILWAY, SHIP PROPULSION AND ROAD VEHICLES & INTERNATIONAL TRANSPORTATION ELECTRIFICATION CONFERENCE, ESARS-ITEC, 2023,
  • [24] Assessing Automotive Functional Safety Microprocessor with ISO 26262 Hardware Requirements
    Chang, Yung-Chang
    Huang, Li-Ren
    Liu, Hsing-Chuang
    Yang, Chih-Jen
    Chiu, Ching-Te
    2014 INTERNATIONAL SYMPOSIUM ON VLSI DESIGN, AUTOMATION AND TEST (VLSI-DAT), 2014,
  • [25] A Novel Multi-Core Approach for Functional Safety Compliance of Automotive Electronic Control Unit According to ISO 26262
    Nag, Pramit
    Ghanekar, Umesh
    Harmalkar, Jyoti
    2019 IEEE 5TH INTERNATIONAL CONFERENCE FOR CONVERGENCE IN TECHNOLOGY (I2CT), 2019,
  • [26] Deriving a representative variant for the functional safety development according to ISO 26262
    Schranner, Felix S.
    Misheni, Alireza Abassi
    Warnecke, Jork
    RELIABILITY ENGINEERING & SYSTEM SAFETY, 2021, 209
  • [27] Software Safety Analysis to Support ISO 26262-6 Compliance in Agile Development
    Sandgren, Henrik
    Antinyan, Vard
    IEEE SOFTWARE, 2021, 38 (03) : 52 - 60
  • [28] Functional Safety Concept Design of Hybrid Electric Vehicle following ISO 26262
    Tao, Chen
    2014 IEEE TRANSPORTATION ELECTRIFICATION CONFERENCE AND EXPO (ITEC) ASIA-PACIFIC 2014, 2014,
  • [29] Altarica 3 based models for iso 26262 automotive safety mechanisms
    1600, Springer Verlag (8822):
  • [30] AltaRica 3 Based Models for ISO 26262 Automotive Safety Mechanisms
    Cherfi, Abraham
    Rauzy, Antoine
    Leeman, Michel
    MODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2014, 2014, 8822 : 123 - 136
12345