TZITitelseite \ Projekte \ OHB-ABRIXAS-PTC-Test Universität Bremen

OHB-ABRIXAS-PTC-Test

Die OHB-System GmbH, Bremen, entwickelt derzeit den Forschungssatelliten ABRIXAS als Nachfolger der erfolgreichen deutschen ROSAT (Röntgensatelliten-) Mission. Ein zentrales Modul ist dabei die Energie- und Thermalkontrolle (PTC, Power and Thermal Control). Diese Komponente steuert Solargenerator, Batterie, Stromversorgung und Temperatur verschiedener Systeme an Bord des Satelliten. Der Controller überwacht dabei ca. 330 analoge Meßwerte und steuert ca. 180 digitale Schalter.

Inhalt dieses Projekts ist der automatisierte Test der PTC auf der Basis formaler CSP-Spezifikationen. Die Analyse wird mit dem Testsystem VVT-RT (siehe Projekt DASA-FTC-Test) durchgeführt. Für die Tests werden dabei aus einer logischen Spezifikation von System- und Umgebungskomponenten vollautomatisch Ereignis-Sequenzen generiert, mit denen das gesamte System (Hard- und Software) als black box untersucht wird. Der Testtreiber versorgt das System kontrolliert mit simulierten Meßdaten (inputs) und überwacht dessen Schaltreaktionen (outputs). Zusätzlich kann das System die von der externen Simulation gewisser Umgebungskomponenten (Generator, Verbraucher) stammenden Analogdaten verändern, um die Fehlertoleranz des Systems zu überwachen.

Projektpartner: OHB-System GmbH, Bremen
Mitarbeiter: Oliver Meyer
Projektleitung: Prof. Dr. Jan Peleska
Dr. Holger Schlingloff
Laufzeit: 8/97-3/98

22. Februar 1998 (TZI-Webmaster)