The techniques adopted to validate to safety standards the software for a railway signalling system are described. The validation is intended to prove the correct behaviour of the system for all combinations of input information, and consequently semantic aspects of the software are emphasised. The effectiveness of the combination of methods used is reviewed, and the degree of confidence obtainable is assessed by comparison with established techniques for checking relay-based safety systems.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Software validation for a railway signalling system


    Weitere Titelangaben:

    Software-Validation fuer ein Eisenbahn-Signalsystem


    Beteiligte:
    Short, R.C. (Autor:in)


    Erscheinungsdatum :

    1983


    Format / Umfang :

    11 Seiten, 5 Bilder, 7 Quellen



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch





    Software Safety Technologies for Railway Signalling

    Hirao, Y. / Fukuda, M. | British Library Online Contents | 1998


    Software safety technologies for railway signalling

    Hirao, Yuji / Fukuda, Mitsuyoshi | IuD Bahn | 1999


    A strategic approach to railway signalling software

    Akita, K. / Nakamura, H. / Hirao, Y. | Tema Archiv | 1989


    Railway signalling

    McArd, G.W. | Engineering Index Backfile | 1946