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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    A simulation technique in microprogram validation


    Weitere Titelangaben:

    Eine Simulationstechnik zur Mikroprogramm-Validierung


    Beteiligte:
    Wheatley, R. (Autor:in)


    Erscheinungsdatum :

    1977


    Format / Umfang :

    5 Seiten, 4 Bilder, 1 Tabelle, 5 Quellen


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch






    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