Generation and Verification of a Safety-Aware Virtual Prototype in the Automotive Domain

Ralph Peter Weissnegger, Martin Schachner, Markus Pistauer, Christian Josef Kreiner, Kay Uwe Römer, Christian Steger

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review


The electrification of today’s vehicles and the high number of new assistance features imply more and more complex systems. New challenges are arising through heterogeneous and distributed systems which interact with each other and have an impact on the physical world, so-called cyber-physical systems. The sensing and controlling of these systems is the work of the highly distributed electronic control units and it is no surprise that more than 100 of these microcontrollers are currently integrated in a modern (electric) car. Technological, organizational and design gaps in today’s development flows are not covered by current methods and tools. Therefore, new approaches are essential to support the development process and to reduce costs and time-to-market, especially when systems are safety-critical and demand reliability. Through applying reliability analysis and simulation-based verification methods on the proposed model-based design flow, we are able to reduce the number of tools involved and achieve correctness, completeness and consistency of the entire system.
Original languageEnglish
Title of host publicationSolutions for Cyber-Physical Systems Ubiquity
EditorsNorbert Druml, Andreas Genser, Armin Krieg, Manuel Menghin, Andrea Höller
PublisherIGI Global Publishing
Number of pages28
ISBN (Electronic)9781522528463
ISBN (Print)9781522528456, 1522528458
Publication statusPublished - Jul 2017


Dive into the research topics of 'Generation and Verification of a Safety-Aware Virtual Prototype in the Automotive Domain'. Together they form a unique fingerprint.

Cite this