Because of the safety implications, certain conditions in road traffic signal systems must be avoided, and it is not acceptable for them to be discovered once the system is in use. The article identifies relevant factors. First, all potential hazards must be identified. The specification needs rigorous analysis; the specifier may be unaware of the types of problems arising in software. Formal methods of testing and analysis are considered. The use of tools in software development, and particularly for detecting unforeseen consequences of apparently slight changes in software, is discussed.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Safety critical software in traffic control systems


    Weitere Titelangaben:

    Sicherheitsrelevante Software in Systemen für Verkehrssteuerung


    Beteiligte:
    Reed, W. (Autor:in)


    Erscheinungsdatum :

    1990


    Format / Umfang :

    , 3 Quellen


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Colloquium on Safety Critical Software in Vehicle and Traffic Control

    IEE Computing and Control Division | TIBKAT | 1990



    Software Methodologies for Safety Critical Systems

    W. C. Dolman / A. M. Ashdown / T. C. Moores | NTIS | 1991