A process, known as the goal directed approach, has been developed which ensures that the most appropriate and effective combination of techniques is used to identify potential problems in safety-critical software. The process is illustrated by application to the Hercules C-130J aircraft static code analysis project. The objective of this project is to identify safety threatening anomalies in the safety critical software for resolution before the first flight of the aircraft.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Goal directed approach for achievement of mission critical objectives


    Beteiligte:
    Granville, R. (Autor:in)

    Erscheinungsdatum :

    01.02.1998


    Format / Umfang :

    4 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch