Abstraction Techniques for Compositional State-Based Scheduling Analysis

Nowadays, most embedded safety critical systems have to work in a timely manner in order to deliver desired services. In such timed systems not only ordering of events but timing properties are relevant for correctness and performance. In order to be safe and reliable, it is important to have rigoro...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Gezgin, T., Henkler, S., Rettberg, A., Stierand, I.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Abstraction Techniques Automata Clocks Cost accounting Embedded Systems Model Checking Processor scheduling Real-time systems Safety Scheduling Analysis Time factors
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!