A Scalable Approach to Detecting Safety Requirements Inconsistencies for Railway Systems

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, the authors 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. The authors' evaluations demonstrate the utility and scalability of their approach.

• Record URL:
  • http://dx.doi.org/10.1109/TITS.2024.3418864
• Availability:
  • Find a library where document is available. Order URL: http://worldcat.org/oclc/41297384
• Supplemental Notes:
  • Copyright © 2024, IEEE.
• Authors:
  • Chen, Xiahong
  • 0000-0003-2217-6659
  • Jin, Zhi
  • 0000-0003-1087-226X
  • Zhang, Min
  • 0000-0003-1938-2902
  • Mallet, Frédéric
  • 0000-0002-9088-9821
  • Liu, Xiaoshan
  • Zhou, Tingliang
• Publication Date: 2024-8

Language

• English

Media Info

• Media Type: Web
• Features: References;
• Pagination: pp 8375-8386
• Serial:
  • IEEE Transactions on Intelligent Transportation Systems
  • Volume: 25
  • Issue Number: 8
  • Publisher: Institute of Electrical and Electronics Engineers (IEEE)
  • ISSN: 1524-9050
  • Serial URL: http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6979

Subject/Index Terms

• TRT Terms: Consistency tests; Railroad safety; Safety engineering; Software maintenance; Traffic conflicts
• Subject Areas: Data and Information Technology; Railroads; Safety and Human Factors;

Filing Info

• Accession Number: 01935814
• Record Type: Publication
• Files: TRIS
• Created Date: Nov 1 2024 8:51AM