Hard real-time system design requires both, a methodology that allows to control the increasing functional complexity and additionally an a-priori proof that all timing requirements will be met even in worst case situations. This work introduces message based earliest deadline first scheduling (MEDF scheduling) as a predictable model of computation for the "Specification and Description Language" SDL. Relying on this improved semantics, a real-time system's implementation and its worst case timing behaviour can be automatically derived on the basis of its SDL system specification by one strike.     «

Hard real-time system design requires both, a methodology that allows to control the increasing functional complexity and additionally an a-priori proof that all timing requirements will be met even in worst case situations. This work introduces message based earliest deadline first scheduling (MEDF scheduling) as a predictable model of computation for the "Specification and Description Language" SDL. Relying on this improved semantics, a real-time system's implementation and its worst case timi...     »

Der Entwicklung reaktiver Systeme, die innerhalb harter Zeitschranken auf Ereignisse ihrer Umgebung reagieren müssen, erfordert zum einen ein methodisches Vorgehen zum Beherrschen der Funktionskomplexität, zum anderen muss vor Systemstart die jederzeitige Einhaltung aller geforderten Antwortzeiten sichergestellt werden. In dieser Arbeit wird Prozessaktivierung auf Grund von Nachrichtendeadlines als Abarbeitungsmodell für die Spezifikationssprache SDL (Specification and Description Language) eingeführt. Auf Grund dieser Semantik ist es jetzt möglich, sowohl eine analysierbare Realisierung des Systemmodells zu generieren als auch zusätzlich das Realzeitverhalten der endgültigen Implementierung automatisiert nachzuweisen.     «

Der Entwicklung reaktiver Systeme, die innerhalb harter Zeitschranken auf Ereignisse ihrer Umgebung reagieren müssen, erfordert zum einen ein methodisches Vorgehen zum Beherrschen der Funktionskomplexität, zum anderen muss vor Systemstart die jederzeitige Einhaltung aller geforderten Antwortzeiten sichergestellt werden. In dieser Arbeit wird Prozessaktivierung auf Grund von Nachrichtendeadlines als Abarbeitungsmodell für die Spezifikationssprache SDL (Specification and Description Language) eing...     »