TU Wien:Zeitanalyse von sicherheitskritischen Echtzeitsystemen VU (Puschner)

Diese LVA wird nicht mehr von dieser Person angeboten, ist ausgelaufen, oder läuft aus und befindet sich daher nur noch zu historischen Zwecken im VoWi.

Daten

Diese LVA wird nicht mehr von dieser Person angeboten, ist ausgelaufen, oder läuft aus und befindet sich daher nur noch zu historischen Zwecken im VoWi.

Vortragende	Prof. Peter Puschner, Dipl.-Ing. Benedikt Huber
ECTS	3
Links	tiss:182101 , Homepage

Zuordnungen

Masterstudium Technische Informatik

Inhalt

Worst Case Analyse von Programmen. Welche Methoden gibt es, was sind die Vorteile/Nachteile. Einfluß der Hardware und Modellierung dessen. Programmiermethoden für zeitlich stabile Software, single path code usw

Ablauf

typische Vorlesung und 3 Übungsbeispiele

Benötigte/Empfehlenswerte Vorkenntnisse

keine

Vortrag

Normaler Vortrag, allerdings in sehr kleinen Rahmen dadurch ist das ganze doch etwas interaktiver als sonst. Langweilig wird einem dabei nur sehr selten.

Übungen

3 Übungsrunden wobei eine ein kurzer Vortrag ist.

In der ersten führt man eine statische Code Analyse und eine Simulation um den worst case zu bestimmen durch. Dabei müssen Code Annotations für Loops und Flow Facts erstellt werden.

Die zweite Runde ist ein 15 minütiger Vortrag über ein Paper.

In der dritten Runde transformiert man ein Programm in eine single path Version, versucht das Worst Case Verhalten zu optimieren und vergleicht die Versionen wie in Runde 1.

Prüfung, Benotung

schriftliche Prüfung und die Übung bringen je 50%.

Dauer der Zeugnisausstellung

• SS10: 1 Woche

Zeitaufwand

3 Tage pro Übungsrunde und für den Test die Folien 1-2 mal durchlesen.

Unterlagen

Folien

• Materialien

Tipps

keine

Verbesserungsvorschläge / Kritik

noch offen

Materialien

Diese Seite hat noch keine Anhänge, du kannst aber neue hinzufügen.