TZITitelseite \ Projekte \ DASA-FTC-Test Universität Bremen

DASA-FTC-Test

Das oben beschriebene fehlertolerante Computersystem DMS-R wird in diesem anschließenden Projekt mit Hilfe von Hardware-in-the-Loop-Tests auf das korrekte Zusammenspiel von Hardware und Software und die geforderten Echtzeiteigenschaften hin geprüft. Hierzu wird das im TZI-BISS entwickelte Testsystem VVT-RT (Validation, Verifikation and Test for Real-Time Systems) verwendet, welches auf dem kommerziellen Verifikationswerkzeug FDR aufbaut. VVT-RT erlaubt den vollautomatischen Test (Testdatenerzeugung, Testausführung, Testauswertung und Dokumentation) der geforderten Systemeigenschaften auf Grundlage formaler Spezifikationen. Dadurch kann ein wesentlich höherer Abdeckungsgrad erzielt werden, als dies bei konventionellen Tests mit manueller Interaktion möglich wäre.

Projektpartner: Daimler-Benz Aerospace AG, Bremen
Mitarbeiter/innen: Dr. Bettina Buth
Peter Amthor
Oliver Meyer
Projektleitung: Prof. Dr. Jan Peleska
Laufzeit: 5/97-4/98

22. Februar 1998 (TZI-Webmaster)