TY  - JOUR
PY  - 2016//
TI  - Simulation-based verification of automotive safety-critical systems based on EAST-ADL
JO  - Procedia computer science
A1  - Weissnegger, Ralph
A1  - Schuss, Markus
A1  - Kreiner, Christian
A1  - Pistauer, Markus
A1  - Römer, Kay
A1  - Steger, Christian
SP  - 245
EP  - 252
VL  - 83
IS  - 
N2  - The increasing amount of assistance features in today's vehicles to ensure safe and reliable operation, imply increasingly complex systems. New challenges are arising due to highly heterogeneous and distributed systems which interact with and have an impact on the physical world, so called cyber-physical systems. Since millions of test kilometers must be driven to ensure a reliable system, simulation-based verification is becoming more important to reduce costs and time-to-market. This situation prompts the urgent demand for new techniques to simulate the behavior in early development phases by reusing verified system components. Best combined within a model-based approach that both unites different stakeholders and helps non-specialists to understand problems in the design. In this paper, we present a novel method for simulation-based verification of automotive UML/EAST-ADL design models. To demonstrate its benefits, our methodology is applied in an industrial use case of a battery management system.<p />  <p>Language: en</p>
LA  - en
SN  - 1877-0509
UR  - http://dx.doi.org/10.1016/j.procs.2016.04.122
ID  - ref1
ER  -