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.