Paper Info
Title
Automatic Testbench Generation for Simulation-based Verification of Safety-critical Systems in UML.
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 the whole safety-lifecycle. Our approach allows a tight and seamless integration of requirements, design and verification into the safety-lifecycle of ISO26262.
Year
DOI
Venue
2016
10.5220/0005997700700075
PECCS
Keywords
Field
DocType
Functional Safety, ISO26262, Simulation, Verification, UML, MARTE, Automotive
Verification and validation of computer simulation models,Functional verification,Life-critical system,Functional safety,Intelligent verification,Computer science,Runtime verification,Real-time computing,Verification,High-level verification
Conference
Citations 
PageRank 
References 
1
0.37
0
Authors
6
Name
Order
Citations
PageRank
Ralph Weissnegger153.22
Markus Pistauer2298.14
Christian Kreiner335266.82
Markus Schuß410.37
Kay Römer51270137.16
Christian Steger611335.77