FINaL: Driving High-Level Fault Injection Campaigns with Natural Language

Khaled Galal Abdelwahab Abdelaziz, Ralph Görgen, Goerschwin Fey
{"title":"FINaL: Driving High-Level Fault Injection Campaigns with Natural Language","authors":"Khaled Galal Abdelwahab Abdelaziz, Ralph Görgen, Goerschwin Fey","doi":"10.1109/ETS56758.2023.10174150","DOIUrl":null,"url":null,"abstract":"For integrated circuits in vehicular systems, ISO 26262 requires fault injection. Failure modes in natural language specify potential malfunctions of components in an abstract system model. Fault injection in system models ensures that safety mechanisms are effective. This causes a gap in the design process as fault injection campaigns must be derived manually.We introduce the framework FINaL that drives high-level Fault Injection campaigns with Natural Language. FINaL starts from an abstract system model in SysML, requirements, and failure modes described in natural language. We explain how FINaL automatically derives the parameters required for fault injection campaigns on virtual prototypes in SystemC. After training on a simple reference design, experimental results demonstrate that 20% up to 67% of the failure modes for a productive design can automatically be handled.","PeriodicalId":211522,"journal":{"name":"2023 IEEE European Test Symposium (ETS)","volume":"15 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2023-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2023 IEEE European Test Symposium (ETS)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ETS56758.2023.10174150","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

Abstract

For integrated circuits in vehicular systems, ISO 26262 requires fault injection. Failure modes in natural language specify potential malfunctions of components in an abstract system model. Fault injection in system models ensures that safety mechanisms are effective. This causes a gap in the design process as fault injection campaigns must be derived manually.We introduce the framework FINaL that drives high-level Fault Injection campaigns with Natural Language. FINaL starts from an abstract system model in SysML, requirements, and failure modes described in natural language. We explain how FINaL automatically derives the parameters required for fault injection campaigns on virtual prototypes in SystemC. After training on a simple reference design, experimental results demonstrate that 20% up to 67% of the failure modes for a productive design can automatically be handled.
最后:用自然语言驱动高级故障注入活动
对于车载系统中的集成电路,ISO 26262要求故障注入。失效模式用自然语言描述抽象系统模型中组件的潜在故障。系统模型中的故障注入确保了安全机制的有效性。这在设计过程中造成了一个空白,因为必须手动派生故障注入活动。我们介绍了使用自然语言驱动高级故障注入活动的框架FINaL。FINaL从SysML中的抽象系统模型、需求和用自然语言描述的故障模式开始。我们解释了FINaL如何自动派生SystemC中虚拟原型上的错误注入活动所需的参数。在对一个简单的参考设计进行训练后,实验结果表明,20%到67%的失效模式可以自动处理生产设计。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信