Die im klassischen Ingenieurwesen benutzten Qualit�tsstrategien betreffen haupts�chlich
probabilistisch verteilte Fehler von Bestandteilen, die durch Verschlei�, Drift oder …

Die Qualit�tssicherung eingebetteter Echtzeitsysteme ist zumeist sehr aufw�ndig. Zwar
existieren M�glichkeiten zur Verifikation, diese sind allerdings in den meisten F�llen nicht auf die …

… Um die Echtzeitanforderungen zu erreichen, wurden fr�her f�r Echtzeitsysteme �berwiegend
genau auf die zu erf�llenden Aufgaben zugeschnittene und in Assembler geschriebene …

… und Analyse verteilter Echtzeitsysteme in UML einzubringen. 3. In Echtzeitsystemen werden
… keine Fehler verursacht und die Echtzeitsysteme in konsistenten Zust�nden gehalten …

… In weichen Echtzeitsystemen ist die Einhaltung von Deadlines zwar wichtig, sie funktionieren
jedoch weiterhin korrekt, wenn diese Deadlines verpasst werden. Unter einer weichen …

Die Automatisierung technischer Systeme ist das R�ckgrat unserer modernen Gesellschaft.
Softwarebasierte Funktionen realisieren dabei in allen Bereichen wesentliche Innovationen …

… Die so definierten Echtzeitsysteme sind mithin dadurch charakterisiert, dass ihre funktionale
Korrektheit nicht nur von Berechnungsergebnissen, sondern auch von den Zeiten abh�ngen…

… , Synchronit�t, verteilte Datenzugriffe und Unterbrechungsbehandlung, gibt es bislang
noch kein allgemein anwendbares Konstruktionswerkzeug, das f�r Echtzeitsysteme geeignet …