Abstract
| Original language | English |
|---|---|
| Title of host publication | Solutions for Cyber-Physical Systems Ubiquity |
| Editors | Norbert Druml, Andreas Genser, Armin Krieg, Manuel Menghin, Andrea Höller |
| Publisher | IGI Global Publishing |
| Pages | 195 |
| Number of pages | 28 |
| ISBN (Electronic) | 9781522528463 |
| ISBN (Print) | 9781522528456, 1522528458 |
| DOIs | |
| Publication status | Published - Jul 2017 |
Fingerprint
Cite this
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 proceeding › Chapter › Research › peer-review
}
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 -