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