Efficient Methodology for ISO26262 Functional Safety Verification

Felipe Augusto Da Silva; Ahmet Cagri Bagbaba; Said Hamdioui; Christian Sauer

doi:10.1109/IOLTS.2019.8854449

Efficient Methodology for ISO26262 Functional Safety Verification

Felipe Augusto Da Silva, Ahmet Cagri Bagbaba, Said Hamdioui, Christian Sauer

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

2 Citations (Scopus)

95 Downloads (Pure)

Abstract

Tolerance to random hardware failures, required by ISO26262, entails accurate design behavior analysis, complex Verification Environments and expensive Fault Injection campaigns. This paper proposes a methodology combining the strengths of Automatic Test Pattern Generators (ATPG), Formal Methods and Fault Injection Simulation to decrease the efforts of Functional Safety Verification. Our methodology results in a fast-deployed Fault Injection environment achieving Fault detection rates higher than 99% on the tested designs. In addition, ISO26262 Tool Confidence level is improved by a fault analysis report that allows verification of malfunctions in the outputs of the tools.

Original language	English
Title of host publication	2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design, IOLTS 2019
Editors	Dimitris Gizopoulos, Dan Alexandrescu, Panagiota Papavramidou, Michail Maniatakos
Place of Publication	Piscataway
Publisher	IEEE
Pages	255-256
Number of pages	2
ISBN (Electronic)	978-1-7281-2490-2
ISBN (Print)	978-1-7281-2491-9
DOIs	https://doi.org/10.1109/IOLTS.2019.8854449
Publication status	Published - 1 Jul 2019
Event	25th IEEE International Symposium on On-Line Testing and Robust System Design, IOLTS 2019 - Rhodes, Greece Duration: 1 Jul 2019 → 3 Jul 2019

Publication series

Name	2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design, IOLTS 2019

Conference

Conference	25th IEEE International Symposium on On-Line Testing and Robust System Design, IOLTS 2019
Country/Territory	Greece
City	Rhodes
Period	1/07/19 → 3/07/19

Bibliographical note

Accepted author manuscript

Keywords

ATPG
Fault Injection Simulation
Formal Methods
Functional Safety
ISO26262

Access to Document

10.1109/IOLTS.2019.8854449

IOLTS2019_short-SubmitedAccepted author manuscript, 117 KB

Cite this

Silva, F. A. D., Bagbaba, A. C., Hamdioui, S., & Sauer, C. (2019). Efficient Methodology for ISO26262 Functional Safety Verification. In D. Gizopoulos, D. Alexandrescu, P. Papavramidou, & M. Maniatakos (Eds.), 2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design, IOLTS 2019 (pp. 255-256). [8854449] (2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design, IOLTS 2019). IEEE . https://doi.org/10.1109/IOLTS.2019.8854449

Silva, Felipe Augusto Da ; Bagbaba, Ahmet Cagri ; Hamdioui, Said ; Sauer, Christian. / Efficient Methodology for ISO26262 Functional Safety Verification. 2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design, IOLTS 2019. editor / Dimitris Gizopoulos ; Dan Alexandrescu ; Panagiota Papavramidou ; Michail Maniatakos. Piscataway : IEEE , 2019. pp. 255-256 (2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design, IOLTS 2019).

@inproceedings{edcf4101c9144fe99ec46935bc00e21d,

title = "Efficient Methodology for ISO26262 Functional Safety Verification",

abstract = "Tolerance to random hardware failures, required by ISO26262, entails accurate design behavior analysis, complex Verification Environments and expensive Fault Injection campaigns. This paper proposes a methodology combining the strengths of Automatic Test Pattern Generators (ATPG), Formal Methods and Fault Injection Simulation to decrease the efforts of Functional Safety Verification. Our methodology results in a fast-deployed Fault Injection environment achieving Fault detection rates higher than 99% on the tested designs. In addition, ISO26262 Tool Confidence level is improved by a fault analysis report that allows verification of malfunctions in the outputs of the tools.",

keywords = "ATPG, Fault Injection Simulation, Formal Methods, Functional Safety, ISO26262",

author = "Silva, {Felipe Augusto Da} and Bagbaba, {Ahmet Cagri} and Said Hamdioui and Christian Sauer",

note = "Accepted author manuscript; 25th IEEE International Symposium on On-Line Testing and Robust System Design, IOLTS 2019 ; Conference date: 01-07-2019 Through 03-07-2019",

year = "2019",

month = jul,

day = "1",

doi = "10.1109/IOLTS.2019.8854449",

language = "English",

isbn = "978-1-7281-2491-9",

series = "2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design, IOLTS 2019",

publisher = "IEEE ",

pages = "255--256",

editor = "Dimitris Gizopoulos and Dan Alexandrescu and Panagiota Papavramidou and Michail Maniatakos",

booktitle = "2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design, IOLTS 2019",

address = "United States",

}

Silva, FAD, Bagbaba, AC, Hamdioui, S & Sauer, C 2019, Efficient Methodology for ISO26262 Functional Safety Verification. in D Gizopoulos, D Alexandrescu, P Papavramidou & M Maniatakos (eds), 2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design, IOLTS 2019., 8854449, 2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design, IOLTS 2019, IEEE , Piscataway, pp. 255-256, 25th IEEE International Symposium on On-Line Testing and Robust System Design, IOLTS 2019, Rhodes, Greece, 1/07/19. https://doi.org/10.1109/IOLTS.2019.8854449

Efficient Methodology for ISO26262 Functional Safety Verification. / Silva, Felipe Augusto Da; Bagbaba, Ahmet Cagri; Hamdioui, Said; Sauer, Christian.

2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design, IOLTS 2019. ed. / Dimitris Gizopoulos; Dan Alexandrescu; Panagiota Papavramidou; Michail Maniatakos. Piscataway : IEEE , 2019. p. 255-256 8854449 (2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design, IOLTS 2019).

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Efficient Methodology for ISO26262 Functional Safety Verification

AU - Silva, Felipe Augusto Da

AU - Bagbaba, Ahmet Cagri

AU - Hamdioui, Said

AU - Sauer, Christian

N1 - Accepted author manuscript

PY - 2019/7/1

Y1 - 2019/7/1

N2 - Tolerance to random hardware failures, required by ISO26262, entails accurate design behavior analysis, complex Verification Environments and expensive Fault Injection campaigns. This paper proposes a methodology combining the strengths of Automatic Test Pattern Generators (ATPG), Formal Methods and Fault Injection Simulation to decrease the efforts of Functional Safety Verification. Our methodology results in a fast-deployed Fault Injection environment achieving Fault detection rates higher than 99% on the tested designs. In addition, ISO26262 Tool Confidence level is improved by a fault analysis report that allows verification of malfunctions in the outputs of the tools.

AB - Tolerance to random hardware failures, required by ISO26262, entails accurate design behavior analysis, complex Verification Environments and expensive Fault Injection campaigns. This paper proposes a methodology combining the strengths of Automatic Test Pattern Generators (ATPG), Formal Methods and Fault Injection Simulation to decrease the efforts of Functional Safety Verification. Our methodology results in a fast-deployed Fault Injection environment achieving Fault detection rates higher than 99% on the tested designs. In addition, ISO26262 Tool Confidence level is improved by a fault analysis report that allows verification of malfunctions in the outputs of the tools.

KW - ATPG

KW - Fault Injection Simulation

KW - Formal Methods

KW - Functional Safety

KW - ISO26262

UR - http://www.scopus.com/inward/record.url?scp=85073751707&partnerID=8YFLogxK

U2 - 10.1109/IOLTS.2019.8854449

DO - 10.1109/IOLTS.2019.8854449

M3 - Conference contribution

SN - 978-1-7281-2491-9

T3 - 2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design, IOLTS 2019

SP - 255

EP - 256

BT - 2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design, IOLTS 2019

A2 - Gizopoulos, Dimitris

A2 - Alexandrescu, Dan

A2 - Papavramidou, Panagiota

A2 - Maniatakos, Michail

PB - IEEE

CY - Piscataway

T2 - 25th IEEE International Symposium on On-Line Testing and Robust System Design, IOLTS 2019

Y2 - 1 July 2019 through 3 July 2019

ER -

Silva FAD, Bagbaba AC, Hamdioui S, Sauer C. Efficient Methodology for ISO26262 Functional Safety Verification. In Gizopoulos D, Alexandrescu D, Papavramidou P, Maniatakos M, editors, 2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design, IOLTS 2019. Piscataway: IEEE . 2019. p. 255-256. 8854449. (2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design, IOLTS 2019). https://doi.org/10.1109/IOLTS.2019.8854449

Efficient Methodology for ISO26262 Functional Safety Verification

Abstract

Publication series

Conference

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this