Formales Zeitanalyseframework für Echtzeitsysteme

01.01.2007 - 31.12.2009

Forschungsförderungsprojekt

Das Projekt FORTAS beschäftigt sich mit der Laufzeitanalyse von Embedded Software, speziell der Analyse von in C geschriebener Steuerungssoftware. In vielen wichtigen Industriebereichen wie etwa der Automobilindustrie ist die zeitliche Korrektheit von Steuerungssoftware ein wesentliches Qualitätsmerkmal, um die Sicherheit der Insassen eines Fahrzeuges zu gewährleisten. Das Projekt FORTAS trägt den Industrieanforderungen nach einem Software-Engineering-orientieren Zeitanalysetool Rechnung, welches die Lücke schließt zwischen dem höchst unzuverlässigen ad hoc Testen und der klassischen statischen Zeitanalyse, welche, da sie primär auf Analyse der maximalen Ausführungszeit ausgelegt ist, detailliertes Wissen über die Zielhardware und signifikanten Benutzeraufwand benötigt. Das Projekt vereint die orthogonalen Expertisen der Gruppe für Echtzeitsysteme der Technischen Universität Wien und die Gruppe für Theoretische Informatik der Technischen Universität München. Technisch gesprochen benutzt FORTAS Abstraktionsmethoden aus dem Bereich Model Checking von Software, um damit von Programmen automatisch und unabhängig von der Zielhardware Testdaten abzuleiten. Durch systematische Testläufe auf der Zielplattform werden Zeitinformationen gesammelt, und daraus ein Zeitmodell in Form einer annotierten Zustandsmaschine berechnet. Um die geforderte Granularität zu erreichen, wird dieser Prozess innerhalb einer Verfeinerungsschleife iteriert.

Personen

Projektleiter_in

Privatdoz. Dipl.-Ing. Dr.techn. Raimund Kirner (E182)

Projektmitarbeiter_innen

Ao.Univ.Prof. Dipl.-Ing. Dr.techn. Peter Puschner (E182)
Sven Bünte MSc (E182)
Dr.techn. Ingomar Wenzel (E182)
Dr.techn. Dipl.-Ing. Michael Zolda (E182)
Ravi Midevan (E182)
Dipl.-Ing. Albrecht Kadlec (E182)

Institut

E182 - Institut für Technische Informatik

Förderungsmittel

FWF - Österr. Wissenschaftsfonds (National)

Forschungsschwerpunkte

Information and Communication Technology

Schlagwörter

Deutsch	Englisch
Analyse der Programmausführungszeit	execution time analysis
Laufzeitmessungen	execution time measurements
Programmanalyse	program analysis
automatische Testdatengenerierung	automatic test data generation
automatische Programmabstraktion	automatic program abstraction

Externe Partner_innen

TU München