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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Hardware system for developing and validating software


    Additional title:

    Hardware-System fuer die Entwicklung und Bewertung von Software


    Contributors:
    Lemon, L.M. (author)

    Published in:

    13th ; 455-459


    Publication date :

    1980


    Size :

    5 Seiten, 4 Bilder, 2 Quellen


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Assessing and validating automotive software

    Elliott, J. | Tema Archive | 1991


    On validating software quality metrics

    Murine, G.E. | Tema Archive | 1985




    Developing Integrated Hardware-Software Reliability Models: Difficulties and Issues

    Boyd, M. A. / Monahan, C. M. / IEEE et al. | British Library Conference Proceedings | 1995