.png){kind=icon}
.png){kind=icon}
Return
Simulation-based Verification of Automotive Safety-Critical Systems based on EAST-ADL
.png){kind=icon}
OA
AI
R
M
C
M
K
C
DOI：10.1016/j.procs.2016.04.122.png)
.png){kind=icon}
.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
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. (C) 2016 The Authors. Published by Elsevier B.V.
Keywords:
UML
EAST-ADL
automotive
ISO26262
simulation
verification
SystemC
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
Organization
Cited Papers