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 条
  • [41] Impact of the New A-SPICE Appendix for Cybersecurity on the Implementation of ISO26262 for Functional Safety
    Moselhy, Noha
    Ali, Yasser
    SYSTEMS, SOFTWARE AND SERVICES PROCESS IMPROVEMENT, EUROSPI 2021, 2021, 1442 : 122 - 136
  • [42] Functional Safety for Braking System through ISO 26262, Operating System Security and DO 254
    Yadav, Mohini
    Shankar, Deepak
    Jose, Tom
    2020 AIAA/IEEE 39TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC) PROCEEDINGS, 2020,
  • [43] A Formal Verification Framework for Tezos Smart Contracts Based on Symbolic Execution
    Thi Thu Ha Doan
    Thiemann, Peter
    PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2024, 2025, 15194 : 305 - 324
  • [44] Explicating Symbolic Execution (XSYMEXE): An Evidence-Based Verification Framework
    Hatcliff, John
    Robby
    Chalin, Patrice
    Belt, Jason
    PROCEEDINGS OF THE 35TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2013), 2013, : 222 - 231
  • [45] Pioneering the Creation of ISO 26262-compliant OSLC-based Safety Cases
    Gallina, Barbara
    Nyberg, Mattias
    2017 IEEE 28TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW 2017), 2017, : 325 - 330
  • [46] Rule-based Verification of Network Protocol Implementations using Symbolic Execution
    Song, JaeSeung
    Ma, Tiejun
    Cadar, Cristian
    Pietzuch, Peter
    2011 20TH INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS AND NETWORKS (ICCCN), 2011,
  • [47] TBFV-SE: Testing-Based Formal Verification with Symbolic Execution
    Wang, Rong
    Liu, Shaoying
    2018 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2018), 2018, : 59 - 66
  • [48] AN ISOLATION APPROACH TO SYMBOLIC EXECUTION-BASED VERIFICATION OF ADA TASKING PROGRAMS
    DILLON, LK
    JOURNAL OF SYSTEMS AND SOFTWARE, 1991, 14 (03) : 183 - 198
  • [49] IMPACT ANALYSIS ACCORDING TO ISO 26262 STANDARD USING SAFETY ANALYSIS INTEGRATED IN APIS IQ-RM TOOL
    Igna, Dianora
    Pop, Madalin-Dorin
    ACTA TECHNICA NAPOCENSIS SERIES-APPLIED MATHEMATICS MECHANICS AND ENGINEERING, 2022, 65 (03): : 713 - 722
  • [50] Deriving functional safety ( ISO 26262 ) S -parameters for vulnerable road users from national crash data
    Krampe, J.
    Junge, M.
    ACCIDENT ANALYSIS AND PREVENTION, 2021, 150
12345