Das SOVAC-System (SOftware Validation and Automated Control system), dessen allgemeiner Aufbau, Eigenschaften und erste Entwicklungsphase erlaeutert werden, ist ein Rechnerueberwachungssystem mit integrierter Hardware und Software fuer die Entwicklung und Bewertung von Echtzeit-Flugsoftware. Das SOVAC-System sammelt Informationen ueber das aktuelle Echtzeitverhalten der Flugsoftware, ohne dass hierfuer Eingriffe in die Software oder die Rechnerausfuehrung notwendig sind. Die beiden Hauptkomponenten des Systems sind ein Minicomputersystem (PDP-11/34) und das SOVAC-Hardwaresystem, das aus einer Minicomputerschnittstelle, einem Bussystem fuer den Datentransport zwischen dem Minicomputer und der uebrigen Hardware, Untereinheiten fuer die Abbildung des ueberwachten Rechners, die Steuerung, die Vorgangserkennung, die Datenauswahl und -protokollierung sowie einem schnellen, mikroprogrammierbaren System-Kontroller. In der ersten Phase sind die Grundsoftware sowie die Hauptdatenwege und -schnittstellen einschliesslich des FIFO-Protokollspeichers und einer vereinfachten Vorgangserkennung und Datenauswahl entwickelt worden.
Hardware system for developing and validating software
Hardware-System fuer die Entwicklung und Bewertung von Software
13th ; 455-459
1980
5 Seiten, 4 Bilder, 2 Quellen
Aufsatz (Konferenz)
Englisch
Assessing and validating automotive software
Tema Archiv | 1991
|On validating software quality metrics
Tema Archiv | 1985
|A methodology for validating software reliability
AIAA | 1989
|SOLUTIONS - Software - Software for Validating Planetary Data Volumes
Online Contents | 2002