We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:


References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Software Engineering

Title: Testing a Battery Management System via Criticality-based Rare Event Simulation

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, speaking of probabilities of order $10^{-6}$ or less, but clearly has to be examined carefully for valid argumentation. Hence, common approaches such as 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 on an objective function called "criticality" in order to identify effectively the set of critical parameter configurations. Within the scope of the ITEA 3 TESTOMAT project (this http URL) the collaboration partners OFFIS e.V. and AKKA Germany GmbH conducted a case study on applying criticality-based rare event simulation to the charging process of an automotive battery management system given as a model. The present technical report documents the industrial use case, the approach, application and experimental results, as well as lessons learned from the case study.
Comments: A more cohensive version of this technical report has been presented at the MSCPES 2021 workshop and will be published by ACM, available at this https URL
Subjects: Software Engineering (cs.SE)
DOI: 10.1145/3470481.3472701
Cite as: arXiv:2107.00530 [cs.SE]
  (or arXiv:2107.00530v1 [cs.SE] for this version)

Submission history

From: Daniel Grujic [view email]
[v1] Thu, 1 Jul 2021 15:21:47 GMT (2176kb,D)

Link back to: arXiv, form interface, contact.