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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Safety critical software in traffic control systems


    Additional title:

    Sicherheitsrelevante Software in Systemen für Verkehrssteuerung


    Contributors:
    Reed, W. (author)


    Publication date :

    1990


    Size :

    , 3 Quellen


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    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



    Software methodologies for safety critical systems

    Dolman, W.C. / Ashdown, A.M. / Moores, T.C. | Tema Archive | 1991