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 proceedingChapterResearchpeer-review

Abstract

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
Pages195
Number of pages28
ISBN (Electronic)9781522528463
ISBN (Print)9781522528456, 1522528458
DOIs
Publication statusPublished - Jul 2017

Fingerprint

Microcontrollers
Reliability analysis
Security systems
Large scale systems
Railroad cars
Costs
Cyber Physical System

Cite this

Weissnegger, R. P., Schachner, M., Pistauer, M., Kreiner, C. J., Römer, K. U., & Steger, C. (2017). Generation and Verification of a Safety-Aware Virtual Prototype in the Automotive Domain. In N. Druml, A. Genser, A. Krieg, M. Menghin, & A. Höller (Eds.), Solutions for Cyber-Physical Systems Ubiquity (pp. 195). [Chapter 8] IGI Global Publishing. https://doi.org/10.4018/978-1-5225-2845-6.ch008

Generation and Verification of a Safety-Aware Virtual Prototype in the Automotive Domain. / Weissnegger, Ralph Peter; Schachner, Martin; Pistauer, Markus; Kreiner, Christian Josef; Römer, Kay Uwe; Steger, Christian.

Solutions for Cyber-Physical Systems Ubiquity. ed. / Norbert Druml; Andreas Genser; Armin Krieg; Manuel Menghin; Andrea Höller. IGI Global Publishing, 2017. p. 195 Chapter 8.

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

Weissnegger, RP, Schachner, M, Pistauer, M, Kreiner, CJ, Römer, KU & Steger, C 2017, Generation and Verification of a Safety-Aware Virtual Prototype in the Automotive Domain. in N Druml, A Genser, A Krieg, M Menghin & A Höller (eds), Solutions for Cyber-Physical Systems Ubiquity., Chapter 8, IGI Global Publishing, pp. 195. https://doi.org/10.4018/978-1-5225-2845-6.ch008
Weissnegger RP, Schachner M, Pistauer M, Kreiner CJ, Römer KU, Steger C. Generation and Verification of a Safety-Aware Virtual Prototype in the Automotive Domain. In Druml N, Genser A, Krieg A, Menghin M, Höller A, editors, Solutions for Cyber-Physical Systems Ubiquity. IGI Global Publishing. 2017. p. 195. Chapter 8 https://doi.org/10.4018/978-1-5225-2845-6.ch008
Weissnegger, Ralph Peter ; Schachner, Martin ; Pistauer, Markus ; Kreiner, Christian Josef ; Römer, Kay Uwe ; Steger, Christian. / Generation and Verification of a Safety-Aware Virtual Prototype in the Automotive Domain. Solutions for Cyber-Physical Systems Ubiquity. editor / Norbert Druml ; Andreas Genser ; Armin Krieg ; Manuel Menghin ; Andrea Höller. IGI Global Publishing, 2017. pp. 195
@inbook{2ef77bb88c324182b2c6acdb0457c2b4,
title = "Generation and Verification of a Safety-Aware Virtual Prototype in the Automotive Domain",
abstract = "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.",
author = "Weissnegger, {Ralph Peter} and Martin Schachner and Markus Pistauer and Kreiner, {Christian Josef} and R{\"o}mer, {Kay Uwe} and Christian Steger",
year = "2017",
month = "7",
doi = "10.4018/978-1-5225-2845-6.ch008",
language = "English",
isbn = "9781522528456",
pages = "195",
editor = "Norbert Druml and Andreas Genser and Armin Krieg and Manuel Menghin and Andrea H{\"o}ller",
booktitle = "Solutions for Cyber-Physical Systems Ubiquity",
publisher = "IGI Global Publishing",
address = "United States",

}

TY - CHAP

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

AU - Weissnegger, Ralph Peter

AU - Schachner, Martin

AU - Pistauer, Markus

AU - Kreiner, Christian Josef

AU - Römer, Kay Uwe

AU - Steger, Christian

PY - 2017/7

Y1 - 2017/7

N2 - 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.

AB - 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.

U2 - 10.4018/978-1-5225-2845-6.ch008

DO - 10.4018/978-1-5225-2845-6.ch008

M3 - Chapter

SN - 9781522528456

SN - 1522528458

SP - 195

BT - Solutions for Cyber-Physical Systems Ubiquity

A2 - Druml, Norbert

A2 - Genser, Andreas

A2 - Krieg, Armin

A2 - Menghin, Manuel

A2 - Höller, Andrea

PB - IGI Global Publishing

ER -