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":null,"pages":null},"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.
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
最后:用自然语言驱动高级故障注入活动
对于车载系统中的集成电路,ISO 26262要求故障注入。失效模式用自然语言描述抽象系统模型中组件的潜在故障。系统模型中的故障注入确保了安全机制的有效性。这在设计过程中造成了一个空白,因为必须手动派生故障注入活动。我们介绍了使用自然语言驱动高级故障注入活动的框架FINaL。FINaL从SysML中的抽象系统模型、需求和用自然语言描述的故障模式开始。我们解释了FINaL如何自动派生SystemC中虚拟原型上的错误注入活动所需的参数。在对一个简单的参考设计进行训练后,实验结果表明,20%到67%的失效模式可以自动处理生产设计。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
Counterfeit Detection by Semiconductor Process Technology Inspection Semi-Supervised Deep Learning for Microcontroller Performance Screening FINaL: Driving High-Level Fault Injection Campaigns with Natural Language Learn to Tune: Robust Performance Tuning in Post-Silicon Validation A Resilience Framework for Synapse Weight Errors and Firing Threshold Perturbations in RRAM Spiking Neural Networks
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1