[HTML][HTML] V-Cockpit: A Platform for the design, testing, and validation of car infotainment systems through virtual reality
The V-Cockpit platform aims to transform the design, testing, and validation of car
infotainment systems from the physical realm to virtual reality. It uniquely integrates various …
infotainment systems from the physical realm to virtual reality. It uniquely integrates various …
[PDF][PDF] DANA-Description and Analysis of Networked Applications.
C Drabek, G Weiss - RV-CuBES, 2017 - publica-rest.fraunhofer.de
We introduce the DANA platform for specifying and analyzing networked applications. DANA
was originally created targeting the automotive domain for the verification and validation of …
was originally created targeting the automotive domain for the verification and validation of …
[PDF][PDF] Method for automatic resumption of runtime verification monitors
In networked embedded systems created with parts from different suppliers, deviations from
the expected communication behavior often cause integration problems. Therefore, runtime …
the expected communication behavior often cause integration problems. Therefore, runtime …
Modellbasierte Laufzeitüberprüfung vernetzter eingebetteter Systeme
C Drabek - 2021 - opus.bibliothek.uni-augsburg.de
Vernetzte eingebettete Systeme sind heute allgegenwärtig. Um auch komplexere Dienste
anbieten zu können, interagieren immer mehr Komponenten in einem System miteinander …
anbieten zu können, interagieren immer mehr Komponenten in einem System miteinander …
[PDF][PDF] Resumption of Runtime Verification Monitors: Method, Approach and Application
Runtime verification checks if the behavior of a system under observation in a certain run
satisfies a given correctness property. While a positive description of the system's behavior …
satisfies a given correctness property. While a positive description of the system's behavior …
[PDF][PDF] Absicherung von komplexen Software-Komponenten vernetzter Fahrzeuge
G Weiß, C Drabek - Automotive Software Kongress, 2016 - publica.fraunhofer.de
Die Menge an Software in Fahrzeugen nimmt nicht nur stetig zu, sondern übernimmt auch
immer komplexere und kritischere Funktionen. Hiermit steigt auch die Komplexität der …
immer komplexere und kritischere Funktionen. Hiermit steigt auch die Komplexität der …