Authors:
Ralph Weissnegger
1
;
Markus Pistauer
2
;
Christian Kreiner
3
;
Markus Schuß
3
;
Kay Römer
3
and
Christian Steger
3
Affiliations:
1
Graz University of Technology (TU Graz) and CISC Semiconductor GmbH, Austria
;
2
CISC Semiconductor GmbH, Austria
;
3
Graz University of Technology (TU Graz), Austria
Keyword(s):
Functional Safety, ISO26262, Simulation, Verification, UML, MARTE, Automotive.
Related
Ontology
Subjects/Areas/Topics:
Biomedical Engineering
;
Biomedical Signal Processing
;
Real-Time Systems
Abstract:
The increasing amount of new assistance features in today’s vehicles to ensure safe and reliable operations,
imply increasingly complex systems. Since millions of test kilometers have to be driven to ensure a reliable
system, simulation-based verification is becoming more important to reduce costs and time-to-market. Furthermore
requirements, design and verification have to follow the stringent specifications from standards such
as ISO26262 for functional safety. To overcome the complexity issues of safety-critical systems, a modelbased
approach helps to unites all stakeholder, and helps non safety specialists to understand problems in the
design. In this paper, we present a novel methodology to automatically generate testbenches for simulation
based verification from a first safety analysis. Through early simulation with constraint random stimuli and
parameters we are able to derive further requirements for real-time applications. Furthermore, these testbenches
can be used through t
he whole safety-lifecycle. Our approach allows a tight and seamless integration
of requirements, design and verification into the safety-lifecycle of ISO26262.
(More)