Property-Based Fault Injection: A Novel Approach to Model-Based Fault Injection for Safety Critical Systems. Jayakumar, A. V. & Elks, C. In Zeller, M. & Höfig, K., editors, Model-Based Safety and Assessment, of Lecture Notes in Computer Science, pages 115–129, Cham, 2020. Springer International Publishing. doi abstract bibtex With the recent popularity of model-based design and verification (MBDE), fault injection testing at the functional model level is gaining significant interest. The reason for this interest is it aids in detecting design errors and incorrect requirements on fault detection and tolerance features, very early in the development lifecycle. This is evidenced by the fact that functional safety standards like IEC 61508 and ISO 26262 identify fault injection testing as a highly recommended technique for SIL-3 and SIL-4. The main challenges to date with model-based fault injection are lack of completeness in the fault injection space, semi-manual integration and insertion of fault injection modules into the models and manual identification of fault activation conditions. The work presented in this paper describes a novel model-based fault injection technique that is property-based and applies formal model checking verification methods at the functional model level of design thereby guaranteeing a near-exhaustive state, input and fault space coverage. This method also introduces the usage of properties and model checking capabilities to automate the identification of fault activation conditions for all the faults within the fault space. We describe the workflow and implementation of the property-based Fault injection using Simulink Design Verifier and its application on the functional model of a representative safety-critical system.
@inproceedings{jayakumar_property-based_2020,
address = {Cham},
series = {Lecture {Notes} in {Computer} {Science}},
title = {Property-{Based} {Fault} {Injection}: {A} {Novel} {Approach} to {Model}-{Based} {Fault} {Injection} for {Safety} {Critical} {Systems}},
isbn = {978-3-030-58920-2},
shorttitle = {Property-{Based} {Fault} {Injection}},
doi = {10.1007/978-3-030-58920-2_8},
abstract = {With the recent popularity of model-based design and verification (MBDE), fault injection testing at the functional model level is gaining significant interest. The reason for this interest is it aids in detecting design errors and incorrect requirements on fault detection and tolerance features, very early in the development lifecycle. This is evidenced by the fact that functional safety standards like IEC 61508 and ISO 26262 identify fault injection testing as a highly recommended technique for SIL-3 and SIL-4. The main challenges to date with model-based fault injection are lack of completeness in the fault injection space, semi-manual integration and insertion of fault injection modules into the models and manual identification of fault activation conditions. The work presented in this paper describes a novel model-based fault injection technique that is property-based and applies formal model checking verification methods at the functional model level of design thereby guaranteeing a near-exhaustive state, input and fault space coverage. This method also introduces the usage of properties and model checking capabilities to automate the identification of fault activation conditions for all the faults within the fault space. We describe the workflow and implementation of the property-based Fault injection using Simulink Design Verifier and its application on the functional model of a representative safety-critical system.},
language = {en},
booktitle = {Model-{Based} {Safety} and {Assessment}},
publisher = {Springer International Publishing},
author = {Jayakumar, Athira Varma and Elks, Carl},
editor = {Zeller, Marc and Höfig, Kai},
year = {2020},
keywords = {Fault injection, Fault tolerance assessment, Model-based fault injection, Model-checking, Safety-critical systems},
pages = {115--129},
}
Downloads: 0
{"_id":"BmXy3woZRG2jQuA2D","bibbaseid":"jayakumar-elks-propertybasedfaultinjectionanovelapproachtomodelbasedfaultinjectionforsafetycriticalsystems-2020","authorIDs":["gnpJ2XahbLkbuhcqz"],"author_short":["Jayakumar, A. V.","Elks, C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Cham","series":"Lecture Notes in Computer Science","title":"Property-Based Fault Injection: A Novel Approach to Model-Based Fault Injection for Safety Critical Systems","isbn":"978-3-030-58920-2","shorttitle":"Property-Based Fault Injection","doi":"10.1007/978-3-030-58920-2_8","abstract":"With the recent popularity of model-based design and verification (MBDE), fault injection testing at the functional model level is gaining significant interest. The reason for this interest is it aids in detecting design errors and incorrect requirements on fault detection and tolerance features, very early in the development lifecycle. This is evidenced by the fact that functional safety standards like IEC 61508 and ISO 26262 identify fault injection testing as a highly recommended technique for SIL-3 and SIL-4. The main challenges to date with model-based fault injection are lack of completeness in the fault injection space, semi-manual integration and insertion of fault injection modules into the models and manual identification of fault activation conditions. The work presented in this paper describes a novel model-based fault injection technique that is property-based and applies formal model checking verification methods at the functional model level of design thereby guaranteeing a near-exhaustive state, input and fault space coverage. This method also introduces the usage of properties and model checking capabilities to automate the identification of fault activation conditions for all the faults within the fault space. We describe the workflow and implementation of the property-based Fault injection using Simulink Design Verifier and its application on the functional model of a representative safety-critical system.","language":"en","booktitle":"Model-Based Safety and Assessment","publisher":"Springer International Publishing","author":[{"propositions":[],"lastnames":["Jayakumar"],"firstnames":["Athira","Varma"],"suffixes":[]},{"propositions":[],"lastnames":["Elks"],"firstnames":["Carl"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Zeller"],"firstnames":["Marc"],"suffixes":[]},{"propositions":[],"lastnames":["Höfig"],"firstnames":["Kai"],"suffixes":[]}],"year":"2020","keywords":"Fault injection, Fault tolerance assessment, Model-based fault injection, Model-checking, Safety-critical systems","pages":"115–129","bibtex":"@inproceedings{jayakumar_property-based_2020,\n\taddress = {Cham},\n\tseries = {Lecture {Notes} in {Computer} {Science}},\n\ttitle = {Property-{Based} {Fault} {Injection}: {A} {Novel} {Approach} to {Model}-{Based} {Fault} {Injection} for {Safety} {Critical} {Systems}},\n\tisbn = {978-3-030-58920-2},\n\tshorttitle = {Property-{Based} {Fault} {Injection}},\n\tdoi = {10.1007/978-3-030-58920-2_8},\n\tabstract = {With the recent popularity of model-based design and verification (MBDE), fault injection testing at the functional model level is gaining significant interest. The reason for this interest is it aids in detecting design errors and incorrect requirements on fault detection and tolerance features, very early in the development lifecycle. This is evidenced by the fact that functional safety standards like IEC 61508 and ISO 26262 identify fault injection testing as a highly recommended technique for SIL-3 and SIL-4. The main challenges to date with model-based fault injection are lack of completeness in the fault injection space, semi-manual integration and insertion of fault injection modules into the models and manual identification of fault activation conditions. The work presented in this paper describes a novel model-based fault injection technique that is property-based and applies formal model checking verification methods at the functional model level of design thereby guaranteeing a near-exhaustive state, input and fault space coverage. This method also introduces the usage of properties and model checking capabilities to automate the identification of fault activation conditions for all the faults within the fault space. We describe the workflow and implementation of the property-based Fault injection using Simulink Design Verifier and its application on the functional model of a representative safety-critical system.},\n\tlanguage = {en},\n\tbooktitle = {Model-{Based} {Safety} and {Assessment}},\n\tpublisher = {Springer International Publishing},\n\tauthor = {Jayakumar, Athira Varma and Elks, Carl},\n\teditor = {Zeller, Marc and Höfig, Kai},\n\tyear = {2020},\n\tkeywords = {Fault injection, Fault tolerance assessment, Model-based fault injection, Model-checking, Safety-critical systems},\n\tpages = {115--129},\n}\n\n","author_short":["Jayakumar, A. V.","Elks, C."],"editor_short":["Zeller, M.","Höfig, K."],"key":"jayakumar_property-based_2020","id":"jayakumar_property-based_2020","bibbaseid":"jayakumar-elks-propertybasedfaultinjectionanovelapproachtomodelbasedfaultinjectionforsafetycriticalsystems-2020","role":"author","urls":{},"keyword":["Fault injection","Fault tolerance assessment","Model-based fault injection","Model-checking","Safety-critical systems"],"metadata":{"authorlinks":{"elks, c":"https://bibbase.org/show?bib=https%3A%2F%2Fapi.zotero.org%2Fgroups%2F2575028%2Fitems%3Fkey%3DWRT0i5KCH5DutUN8UOzXF5dC%26format%3Dbibtex%26limit%3D100"}},"downloads":0},"bibtype":"inproceedings","biburl":"https://api.zotero.org/groups/2575028/items?key=WRT0i5KCH5DutUN8UOzXF5dC&format=bibtex&limit=100","creationDate":"2020-10-01T15:11:08.304Z","downloads":0,"keywords":["fault injection","fault tolerance assessment","model-based fault injection","model-checking","safety-critical systems"],"search_terms":["property","based","fault","injection","novel","approach","model","based","fault","injection","safety","critical","systems","jayakumar","elks"],"title":"Property-Based Fault Injection: A Novel Approach to Model-Based Fault Injection for Safety Critical Systems","year":2020,"dataSources":["3szDtHe5XuBcrBHR4","2PHxSBEXp3AWgXrFz"]}