It is introduced a methodology to analyse the safety of timed discrete event systems. The case-study is the level crossing, a critical component for the safety of railway systems. First, the goal is to take out the forbidden state highlighted by a p-time Petri net modelling. This model deals with the requirements of the considered system and has to contain all the constraints that have to be respected. Then it is aimed at describing a process identified as a solution of the system functionning. This method consists in exploring all the possible behaviours of the system by means of the construction of state classes. Finally, it is checked if the proposed process corresponds to the requirements model previously built.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Temporal requirements checking in a safety analysis of railway systems


    Weitere Titelangaben:

    Zeitlicher Anforderungscheck in der Sicherheitsanalyse von Schienensystemen


    Beteiligte:
    Defossez, F. (Autor:in) / Collart-Dutilleul, S. (Autor:in) / Bon, P. (Autor:in)


    Erscheinungsdatum :

    2008


    Format / Umfang :

    8 Seiten, 5 Bilder, 2 Tabellen, 9 Quellen



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Requirements of the 4th Railway Package Towards Safety Management Systems

    Chruzik Katarzyna / Graboń-Chałupczak Marzena | DOAJ | 2020

    Freier Zugriff

    New Requirements to Safety Related Teaching in Railway Systems Engineering

    Pachl, J. / VDI | British Library Conference Proceedings | 2000


    A Scalable Approach to Detecting Safety Requirements Inconsistencies for Railway Systems

    Chen, Xiaohong / Jin, Zhi / Zhang, Min et al. | IEEE | 2024



    Railway ballast requirements

    Stimson, F.J. | Engineering Index Backfile | 1926