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

21 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

Conference

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

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

Link to publication in Scopus

Fingerprint Dive into the research topics of 'Efficient Methodology for ISO26262 Functional Safety Verification'. Together they form a unique fingerprint.

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] 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

@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",

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",

publisher = "IEEE",

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, 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.

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

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 -