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 条
  • [1] Ensuring Functional Safety Compliance for ISO 26262
    Sherer, Adam
    Rose, John
    Oddone, Riccardo
    2015 52ND ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2015,
  • [2] Towards an automatic approach for hardware verification according to ISO 26262 functional safety standard
    Sini, J.
    Reorda, M. Sonza
    Violante, M.
    Sarson, P.
    2018 IEEE 24TH INTERNATIONAL SYMPOSIUM ON ON-LINE TESTING AND ROBUST SYSTEM DESIGN (IOLTS 2018), 2018, : 287 - 290
  • [3] Effective Management Of Functional Safety For ISO 26262 Standard
    Stirgwolt, Philip
    59TH ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM (RAMS), 2013,
  • [4] Efficient Methodology for ISO26262 Functional Safety Verification
    da Silva, Felipe Augusto
    Bagbaba, Ahmet Cagri
    Hamdioui, Said
    Sauer, Christian
    2019 IEEE 25TH INTERNATIONAL SYMPOSIUM ON ON-LINE TESTING AND ROBUST SYSTEM DESIGN (IOLTS 2019), 2019, : 255 - 256
  • [5] An automatic approach to perform the verification of hardware designs according to the ISO26262 functional safety standard
    Bagalini, E.
    Sini, J.
    Reorda, M. Sonza
    Violante, M.
    Klimesch, H.
    Sarson, P.
    2017 18TH IEEE LATIN AMERICAN TEST SYMPOSIUM (LATS 2017), 2017,
  • [6] Combining Fault Analysis Technologies for ISO26262 Functional Safety Verification
    da Silva, Felipe Augusto
    Bagbaba, Ahmet Cagri
    Hamdioui, Said
    Sauer, Christian
    2019 IEEE 28TH ASIAN TEST SYMPOSIUM (ATS), 2019, : 129 - 134
  • [7] Application of Functional Safety in Autonomous Vehicles Using ISO 26262 Standard: A Survey
    Gosavi, Mukul Anil
    Rhoades, Benjamin B.
    Conrad, James M.
    IEEE SOUTHEASTCON 2018, 2018,
  • [8] Formal Verification of Automotive Design in Compliance With ISO 26262 Design Verification Guidelines
    Bahig, Ghada
    El-Kadi, Amr
    IEEE ACCESS, 2017, 5 : 4505 - 4516
  • [9] APPLICABILITY OF THE ISO 26262 FOR FUNCTIONAL SAFETY FOR MOTORBIKES
    Hofmann, Gerhard
    Scharfenberg, Georg
    2014 INTERNATIONAL CONFERENCE ON APPLIED ELECTRONICS (AE), 2014, : 107 - 112
  • [10] Runtime verification monitoring for automotive embedded systems using the ISO 26262 Functional Safety Standard as a guide for the definition of the monitored properties
    Heffernan, Donal
    MacNamee, Ciaran
    Fogarty, Padraig
    IET SOFTWARE, 2014, 8 (05) : 193 - 203
12345