A Model-Based Framework for System-Wide Plug-and-Play with Flexible Timing Verification for Automotive Systems

Stähle, Hauke

User: Guest

Hauke Stähle

If you experience problems opening the document, please try this link.

Original title:: A Model-Based Framework for System-Wide Plug-and-Play with Flexible Timing Verification for Automotive Systems
Translated title:: Eine modellbasierte Methode für systemweites Plug-and-Play mit flexibler zeitlicher Verifikation für Fahrzeugsysteme
Author:: Stähle, Hauke
Year:: 2016
Document type:: Dissertation
Faculty/School:: Fakultät für Informatik
Advisor:: Knoll, Alois (Prof. Dr. habil.)
Referee:: Knoll, Alois (Prof. Dr. habil.); Spiegelberg, Gernot (Prof. Dr.)
Language:: en
Subject group:: DAT Datenverarbeitung, Informatik
TUM classification:: DAT 260d; DAT 815d
Abstract:: The integration of further functionality into vehicles is hindered by the increasing system complexity. This work combines model-driven engineering with the event-based and data-centric communication paradigms to implement an automatic timing verification framework for changeable systems. This enables the flexible configuration of vehicles and other real-time critical systems in the sense of hardware and software – during the design and run-time with a selectable degree of approximation.
Translated abstract:: Die Integration von weiterer Funktionalität in Fahrzeuge wird durch die zunehmende Systemkomplexität immer weiter erschwert. Diese Arbeit verbindet modellgetriebene Entwicklung mit den ereignisgesteuerten und datenzentrischen Kommunikationsparadigmen, um eine automatisierte Verifikation des zeitlichen Verhaltens von sich ändernden Systemen umzusetzen. Dies ermöglicht eine flexible Konfiguration von Fahrzeugen und anderen echtzeitkritischen Systemen im Sinne von Hardware und Software – zur Entwurfs- und Laufzeit mit wählbaren Approximationsgrad. «
Die Integration von weiterer Funktionalität in Fahrzeuge wird durch die zunehmende Systemkomplexität immer weiter erschwert. Diese Arbeit verbindet modellgetriebene Entwicklung mit den ereignisgesteuerten und datenzentrischen Kommunikationsparadigmen, um eine automatisierte Verifikation des zeitlichen Verhaltens von sich ändernden Systemen umzusetzen. Dies ermöglicht eine flexible Konfiguration von Fahrzeugen und anderen echtzeitkritischen Systemen im Sinne von Hardware und Software – zur Entwur... »
WWW:: https://mediatum.ub.tum.de/?id=1275783
Date of submission:: 12.11.2015
Oral examination:: 11.04.2016
File size:: 6084191 bytes
Pages:: 174
Urn (citeable URL):: https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20160411-1275783-1-3
Last change:: 27.04.2016
BibTeX