Dealing with the ever-growing complexity of railway systems requires scalable approaches for detecting inconsistent safety requirements in practice. Despite significant efforts to automate the requirements consistency detection, current inconsistency analysis techniques of railway safety requirements still suffer from scalability issues. This paper proposes a two-layer approach for detecting inconsistencies in time-related safety requirements of railway systems, integrating two distinct formal methods from a pragmatic perspective. At the SafeNL layer, we employ an SMT-based approach to extract conflict patterns and use them to filter out inconsistent requirements descriptions, thus avoiding the more expensive general use of the SMT-based approach. At the CCSL layer, temporal dependencies in requirements are transformed into causal relations, which are then detected for circular inconsistencies using a graph search technique. Our evaluations demonstrate the utility and scalability of our approach.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    A Scalable Approach to Detecting Safety Requirements Inconsistencies for Railway Systems


    Beteiligte:
    Chen, Xiaohong (Autor:in) / Jin, Zhi (Autor:in) / Zhang, Min (Autor:in) / Mallet, Frederic (Autor:in) / Liu, Xiaoshan (Autor:in) / Zhou, Tingliang (Autor:in)


    Erscheinungsdatum :

    2024-08-01


    Format / Umfang :

    12883554 byte




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Verification of Group Variables for Detecting Inconsistencies in Software

    Datar, Advaita / Zare, Amey | SAE Technical Papers | 2015


    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


    Temporal requirements checking in a safety analysis of railway systems

    Defossez, F. / Collart-Dutilleul, S. / Bon, P. | Tema Archiv | 2008


    Method for detecting inconsistencies in the outputs of perception systems of autonomous vehicles

    DE CLERCQ QUENTIN / DINH HOANG TUNG / CRUZ TORRES MARIO HENRIQUE et al. | Europäisches Patentamt | 2022

    Freier Zugriff