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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    A simulation technique in microprogram validation


    Additional title:

    Eine Simulationstechnik zur Mikroprogramm-Validierung


    Contributors:


    Publication date :

    1977


    Size :

    5 Seiten, 4 Bilder, 1 Tabelle, 5 Quellen


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English






    Validation of scramjet exhaust simulation technique

    Hopkins, H. B. / Konopka, W. / Leng, J. | TIBKAT | 1976


    Validation of Scramjet Exhaust Simulation Technique at Mach 6

    H. B. Hopkins / W. Konopka / J. Leng | NTIS | 1979


    Validation of a SEU simulation technique for a rad...

    Florit, Albert Ferrer / Velazco, Raoul | AIAA | 2005