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 条

[31] The Automotive Standard ISO 26262, the innovative driver for enhanced safety assessment & technology for motor cars
Kafka, Peter
2012 INTERNATIONAL SYMPOSIUM ON SAFETY SCIENCE AND TECHNOLOGY, 2012, 45 : 2 - 10
[32] Automotive safety and machine learning: Initial results from a study on how to adapt the ISO 26262 safety standard
Henriksson, Jens
Borg, Markus
Englund, Cristofer
PROCEEDINGS 2018 IEEE/ACM 1ST INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR AI IN AUTONOMOUS SYSTEMS (SEFAIAS), 2018, : 47 - 49
[33] Design of Communication Module of Vehicle Controller Based on ISO26262 Standard
Cheng, Anyu
Qin, Lin
Xiong, Qiuhan
Li, Youguo
PROCEEDINGS OF THE 2019 31ST CHINESE CONTROL AND DECISION CONFERENCE (CCDC 2019), 2019, : 4922 - 4927
[34] ISO 26262 System Level Functional Safety Validation for Battery Management Systems in Automobiles
Khan, Jihas
2017 INNOVATIONS IN POWER AND ADVANCED COMPUTING TECHNOLOGIES (I-PACT), 2017,
[35] Improvements in Functional Safety of Automotive IP Through ISO 26262: 2018 Part 11
Young, Alison
Walker, Alastair
SYSTEMS, SOFTWARE AND SERVICES PROCESS IMPROVEMENT (EUROSPI 2017), 2017, 748 : 547 - 556
[36] FMEDA-Based Fault Injection and Data Analysis in Compliance with ISO-26262
Lu, Kuen-Long
Chen, Yung-Yuan
Huang, Ryan
2018 48TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS (DSN-W), 2018, : 275 - 278
[37] VERIFICATION OF SYNCHRONOUS SEQUENTIAL-MACHINES BASED ON SYMBOLIC EXECUTION
COUDERT, O
BERTHET, C
MADRE, JC
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 407 : 365 - 373
[38] Hardware-in-the-Loop Test Case Specification for Verification of Software Safety Requirements in the Context of ISO 26262
Lee, Chi-Seng
Huang, Yen-Hsiang
Lan, I-Wei
2018 INTERNATIONAL CONFERENCE OF ELECTRICAL AND ELECTRONIC TECHNOLOGIES FOR AUTOMOTIVE, 2018,
[39] Intelligent ECU End of Line Testing to Support ISO26262 Functional Safety Requirements
Park, Jin Seo
Suh, Il Hong
Choe, Chang Yul
Ro, Minho
Brewerton, Simon P.
SAE INTERNATIONAL JOURNAL OF PASSENGER CARS-ELECTRONIC AND ELECTRICAL SYSTEMS, 2013, 6 (01): : 162 - 168
[40] Confluence of Automotive SPICE® and ISO WD 26262-A Rapid Transit towards Functional Safety
Hridya, P.
Rajesh, R.
Roshni, Tintu
ELEKTRONIK IM KRAFTFAHRZEUG: ELEKTRIK, ELEKTRONIK, ELEKTROMOBILITAT, 2011, 2132 : 309 - 318

← 1 2 3 4 5 →