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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    A Scalable Approach to Detecting Safety Requirements Inconsistencies for Railway Systems


    Contributors:
    Chen, Xiaohong (author) / Jin, Zhi (author) / Zhang, Min (author) / Mallet, Frederic (author) / Liu, Xiaoshan (author) / Zhou, Tingliang (author)


    Publication date :

    2024-08-01


    Size :

    12883554 byte




    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English



    Detecting and Characterizing Semantic Inconsistencies in Ported Code

    B. Ray / M. Kim / S. Person et al. | NTIS | 2013


    Detecting and Characterizing Semantic Inconsistencies in Ported Code

    B Ray / M Kim / J.S Person et al. | NTIS | 2013


    Detecting and Characterizing Semantic Inconsistencies in Ported Code

    Ray, Baishakhi / Kim, Miryung / Person,Suzette et al. | NTRS | 2013


    Detecting and Characterizing Semantic Inconsistencies in Ported Code

    Ray, Baishakhi / Kim, Miryung / Person, Suzette J. et al. | NTRS | 2013


    Detecting and characterizing semantic inconsistencies in ported code

    Ray, Baishakhi / Kim, Miryung / Person, Suzette et al. | IEEE | 2013