Safety requirement verification of train-centric CBTC by integrating STPA with coloured Petri net

Qian Xu and Jun-ting Lin

International Journal of Industrial and Systems Engineering, 2023, vol. 43, issue 2, 168-189

Abstract: Train-centric communication-based train control (TcCBTC) system is characterised by core functions centralised into on-board facilities with simplified trackside equipment. Coloured Petri net (CPN) is one of the classical model checking methods and system-theoretic process analysis (STPA) is a relatively new hazard identification method based on system thinking and control theory. STPA and CPN are mutually complementary because STPA provides the verification basis for CPN while CPN makes STPA's results written by natural language verifiable. The functional requirements of TcCBTC are analysed first. Secondly, via the assistant analysis tool XSTAMPP 2.0, the hierarchical control structure is built and the refined unsafe control actions are obtained to generate the safety requirements. Thirdly, CPN models are constructed for verifying the basic properties and the safety. Results show that the potential unsafe control paths can be identified by the proposed method on the system level and the dependence severity on the manual analysis is considerably reduced.

Keywords: train-centric CBTC; system-theoretic process analysis; STPA; coloured Petri net; CPN; safety requirements verification; unsafe control actions. (search for similar items in EconPapers)
Date: 2023
References: Add references at CitEc
Citations:

Downloads: (external link)
http://www.inderscience.com/link.php?id=128667 (text/html)
Access to full text is restricted to subscribers.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:ids:ijisen:v:43:y:2023:i:2:p:168-189

Access Statistics for this article

More articles in International Journal of Industrial and Systems Engineering from Inderscience Enterprises Ltd
Bibliographic data for series maintained by Sarah Parker ().