TZITitelseite \ Projekte \ Modellierung, ... Universität Bremen

Modellierung, Validation und Test verläßlicher technischer Systeme

Im ISP-Projekt 2.3 wird eine Umgebung für die Validation und den automatisierten Test sicherheitskritischer Systeme entwickelt. Die Grundlage hierfür stellen formale Spezifikationen des Gesamtsystems sowie der Testfälle dar. Die bestehende Testtheorie wird hierzu in Bezug auf Realzeitsysteme vervollständigt, sowie zur Überprüfung hybrider Systeme (die neben eventuellen diskreten auch analoge Schnittstellen besitzen) erweitert. Parallel dazu wird ein Werkzeug zur automatischen Generierung, Durchführung und Auswertung von Tests implementiert, dessen Prototyp bereits in industriellen Projekten (siehe Projekte DASA-FTC-Test und OHB-ABRIXAS-PTC-Test) eingesetzt wird. Die zur Herleitung der Testfälle notwendigen Referenzspezifikationen werden mit Methoden der Verifikation und Validation daraufhin überprüft, ob sie das gewünschte Systemverhalten korrekt wiedergeben. Weiterhin sollen die entwickelten Werkzeuge in die UniForM Workbench integriert werden.

Die in diesem Projekt bewilligte Stelle wurde zum 15.10.97 zur Hälfte, zum 1.1.98 zu 100% besetzt.

Mitarbeiter: Oliver Meyer
Projektleitung: Prof. Dr. Jan Peleska
Prof. Dr. Helena Szczerbicka
Laufzeit: 10/97-12/00
Förderung: ISP

22. Februar 1998 (TZI-Webmaster)