Abstract-Band - Fakultät für Informatik, TU Wien - Technische ...

lich beschrieben werden, ausgewählt und implementiert. Die Verfahren zeichnen
während der Ausführungszeit Lockgraphen auf und suchen innerhalb
dieser Graphen nach Zyklen, die potenzielle Deadlocksituationen darstellen.
Christopher Helpa
A Time-predictable Operating System - Towards a Constant Execution Time
Studium: Masterstudium Technische Informatik
Betreuer: Ao.Univ.Prof. Dr. Peter Puschner
Die Anwendung von Echtzeitsystemen reicht von der Steuerung von Ampeln
bis zur selbstständigen Navigation von Raumschiffen. Bei Echtzeitsystemen
hängt die Korrektheit des Systemverhaltens nicht nur von der logischen
Korrektheit aller Berechnungen sondern auch von dem Zeitpunkt zu welcher
die Resultate vorliegen ab. Resultate die nicht innerhalb einer gewissen
Zeitspanne vorliegen können katastrophale Auswirkungen haben. Um dies zu
verhindern ist die Bestimmung der maximalen Reaktionszeit eines Programms
von entscheidener Bedeutung. Betriebssystemmechanismen, welche die
zeitliche Isolation aller Anwendungen garantieren, vereinfachen die zeitliche
Analyse von Anwendungen. Die Bestimmung der maximalen Ausführungszeit
einer Anwendung ist ein wichtiger Schritt in der zeitlichen Analyse eines
Systems. Aufgrund der Komplexität moderner Systeme stellt die Bestimmung
der maximalen Ausführungszeit leider immer noch einen hohen Aufwand dar.
Diese Diplomarbeit beschreibt die Entwicklung eines Betriebssystems das
zeitliche Isolation aller Programme gewährleistet. Weiters weisen alle
Betriebssystemfunktionen konstante Ausführungszeiten auf, welche durch
eine geringe Anzahl an Messungen bestimmt werden können. Im weiteren
Verlauf werden die verwendeten Programmieransätze und Betriebssystemkonzepte
vorgestellt, sowie auf die Implementierung und die dabei
gewonnen Erkenntnisse eingegangen. Die Evaluierung zeigt, dass eine
geringe Anzahl an Messungen ausreicht um das zeitliche Verhalten aller
Betriebssystemfunktionen zu bestimmen, sowie die Ausführungszeiten dieser
konstant gehalten werden konnten.
Haris Isakovic
A secure global time base for time triggered systems
Studium: Masterstudium Technische Informatik
Betreuer: Ao.Univ.Prof. Dr. Peter Puschner
92
Zeitgesteuerte Protokolle bieten hohe Zuverlässigkeit und garantiertes
zeitliches Verhalten und werden heutzutage in vielen verteilten
Echtzeitanwendungen eingesetzt. Sie bieten verschiedene Dienste wie z.B.
Uhrensynchronisation, Membership, Redundanz-Management etc. Der
ständig steigende Bedarf nach zuverlässigen Echtzeitsystemen stellt neue
Anforderungen an die Kommunikationsprotokolle. Eine der noch offenen