 | ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights | |||||||||||||||||||||
| Wissensbrowser starten | |||||||||||||||||||||
| |||||||||||||||||||||
| |||||||||||||||||||||
|
| ||||||
|  | | | |  | |
| ||||||
| ||||||
|  | | ||||
| ||||||
Erfahrung |
|
Projekthintergrund: Verifikation ISS |
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| Beschreibung der Erfahrung | |||||||||
| |||||||||
| Im Jahre 1995 startete eine Kollaboration zwischen dem Bremer Institut für Sichere Systeme (BISS) und der Firmen Verified Systems Intl. und Dasa, Bremen, zur Analyse der Software des zentralen Computers Flight Traffic Controller (FTC) des russischen Moduls der International Space Station (ISS). Dieser Computer wird sowohl für Experimentenauswertung als auch für Repositionierung des Moduls während Andockvorgängen verwendet und stellt damit eine sicherheitskritische Komponente des Gesamtsystems dar.
Bis 1998 wurden verschiedene Formen von Analysen durchgeführt, die speziell Aspekte der Nebenläufigkeit in dem System von Softwareprozessen geprüft haben. Von 2002 bis 2004 wurde eine Re-Verifikation einer Nachfolgeversion der Software reverifiziert, die für das Automatic Transport Vehicle (ATV) verwendet werden soll, das Materialtransporte zur ISS durchführen wird. Gliederungspunkt Software- und Hardware Architektur Übersicht Deadlock- und Livelock-Analyse für die internationale Raumstation ISS | |||||||||
| |||||||||
| Studientypen | |||||||||
| |||||||||
| Fallstudie | |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
Eintrag kommentieren | ||
| ||
| ||
| ||
| Projekthintergrund:... | ||
| ||
| ||
| ||
| | |
| ||||||||||||||
|
