Beschrieben wird die zur Validierung der Mikroprogramme des 'Brassboard Fault-Tolerant Spaceborne Computer (BFTSC)' benutzte Methode. Der BFTSC wurde fuer die US-Luftwaffe zum Einsatz in Raketensystemen entwickelt. Zur Mikroprogramm-Validierung wurde ein interpretativ arbeitendes, auf einer CDC 6000-Anlage laufendes Simulationssystem (ICS) entwickelt, das detailliert vorgestellt wird. Ferner wird eine Zusammenfassung der Ergebnisse der auf diese Weise durchgefuehrten Validierung gegeben, gemeinsam mit erweiterten Einsatzmoeglichkeiten des den Mikrocode interpretierenden Systems, das im uebrigen in FORTRAN programmiert ist.
A simulation technique in microprogram validation
Eine Simulationstechnik zur Mikroprogramm-Validierung
AIAA/NASA/IEEE/ACM, COMPUTERS IN AEROSPACE CONFERENCE ; Nov. ; 125-129
1977
5 Seiten, 4 Bilder, 1 Tabelle, 5 Quellen
Conference paper
English
A simulation technique in microprogram validation
AIAA | 1977
|Microprogram a custom MPU for simple programming and speedy multiprocessing
Tema Archive | 1979
|Validation of scramjet exhaust simulation technique
TIBKAT | 1976
|Validation of a SEU simulation technique for a rad...
AIAA | 2005
|