Testing a battery management system via criticality-based rare event simulation

Daniel Grujic, Tabea Henning, E. García, A. Bergmann
{"title":"Testing a battery management system via criticality-based rare event simulation","authors":"Daniel Grujic, Tabea Henning, E. García, A. Bergmann","doi":"10.1145/3470481.3472701","DOIUrl":null,"url":null,"abstract":"For the validation of safety-critical systems regarding safety and comfort, e.g., in the context of automated driving, engineers often have to cope with large (parametric) test spaces for which it is infeasible to test through all possible parameter configurations. At the same time, critical behavior of a well-engineered system with respect to prescribed safety and comfort requirements tends to be extremely rare, often with probabilities of order 10-6 or less, but clearly has to be examined carefully for valid argumentation. Hence, common approaches like boundary value analysis are insufficient, while methods based on random sampling from the parameter space (simple Monte Carlo) lack the ability to detect these rare critical events efficiently, i.e. with appropriate simulation budget. For this reason, a more sophisticated simulation-based approach is proposed which employs optimistic optimization of an objective function called criticality in order to identify effectively the set of critical parameter configurations. This article documents a case study on applying criticality-based rare event simulation to a charging process (model) controlled by an automotive battery management system, and discusses lessons learned.","PeriodicalId":212112,"journal":{"name":"Proceedings of the 9th Workshop on Modeling and Simulation of Cyber-Physical Energy Systems","volume":"73 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2021-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 9th Workshop on Modeling and Simulation of Cyber-Physical Energy Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3470481.3472701","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 2

Abstract

For the validation of safety-critical systems regarding safety and comfort, e.g., in the context of automated driving, engineers often have to cope with large (parametric) test spaces for which it is infeasible to test through all possible parameter configurations. At the same time, critical behavior of a well-engineered system with respect to prescribed safety and comfort requirements tends to be extremely rare, often with probabilities of order 10-6 or less, but clearly has to be examined carefully for valid argumentation. Hence, common approaches like boundary value analysis are insufficient, while methods based on random sampling from the parameter space (simple Monte Carlo) lack the ability to detect these rare critical events efficiently, i.e. with appropriate simulation budget. For this reason, a more sophisticated simulation-based approach is proposed which employs optimistic optimization of an objective function called criticality in order to identify effectively the set of critical parameter configurations. This article documents a case study on applying criticality-based rare event simulation to a charging process (model) controlled by an automotive battery management system, and discusses lessons learned.
通过基于临界的罕见事件模拟测试电池管理系统
对于安全性和舒适性方面的安全关键系统的验证,例如在自动驾驶的背景下,工程师通常必须应对大型(参数)测试空间,而不可能通过所有可能的参数配置进行测试。与此同时,一个设计良好的系统在规定的安全性和舒适性要求方面的关键行为往往是极其罕见的,通常概率为10-6级或更低,但显然必须仔细检查以进行有效的论证。因此,边界值分析等常用方法是不够的,而基于参数空间随机抽样(简单蒙特卡罗)的方法缺乏有效检测这些罕见关键事件的能力,即需要适当的模拟预算。因此,提出了一种更复杂的基于仿真的方法,该方法采用称为临界性的目标函数的乐观优化,以便有效地识别临界参数配置集。本文记录了一个案例研究,将基于临界的罕见事件仿真应用于由汽车电池管理系统控制的充电过程(模型),并讨论了经验教训。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约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学术官方微信