Seamless integrated Simulation in Design and Verification Flow for Safety-Critical Systems
| Autor: | Christian Kreiner, Markus Schuß, Christian Steger, Markus Pistauer, Kay Römer, Ralph Weissnegger |
|---|---|
| Předmět: |
Functional safety
Process (engineering) business.industry Computer science Automotive industry 020207 software engineering 02 engineering and technology Reliability engineering Intelligent verification Domain (software engineering) Software Life-critical system Unified Modeling Language 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing business computer computer.programming_language |
| Zdroj: | TU Graz Lecture Notes in Computer Science ISBN: 9783319454795 SAFECOMP Workshops |
| Popis: | In the automotive domain, safety plays an ever increasing role in the development of future vehicles. Since the automotive market is heading towards fully automated driving cars, the amount of new assistance features for ensuring safe and reliable operations is rising. Today, requirements, design and verification must follow the stringent specifications from standards such as ISO26262 for functional safety. Thus, simulation in early design phases is key to develop safe and reliable systems and to reduce costs and time-to-market. UML as a model-based approach, helps to overcome the complexity issues of safety-critical systems and improves the communication between different stakeholders (e.g. hardware, software, safety, security). In this paper, we present a novel methodology to automatically generate testbenches for simulation based verification starting from a first safety analysis and derived safety requirements. Through early simulation of UML/MARTE models with constraint random stimuli and parameters we are able to derive further requirements for safety-critical system development. Furthermore, our approach is compliant with the requirements, design and verification flow of ISO26262. We will show the benefits by applying our methodology to an industrial use case of a battery management system. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|