IDEAS home Printed from https://ideas.repec.org/a/eee/reensy/v216y2021ics095183202100449x.html
   My bibliography  Save this article

Online quantitative safety monitoring approach for unattended train operation system considering stochastic factors

Author

Listed:
  • Cheng, Ruijun
  • Cheng, Yu
  • Chen, Dewang
  • Song, Haifeng

Abstract

Online safety monitoring is the key technology to the realize unattended train operation (UTO). So, online quantitative safety monitoring method is proposed to solve the state space explosion problem of the traditional model checking method. The quantitative safety level is defined to quantitatively describe the safety level of the operational state of UTO. To begin with, the composite transition graph of the linear hybrid automata (LHA) of train tracking control and the probabilistic hybrid automata (PHA) model of moving block control principles is constructed based on the composition rules between hybrid automata. Then, the reachable probability distribution of dangerous states can be obtained by verifying the established transition graph with abundant simulation results. Furthermore, the safety constrained boundary of the selected stochastic parameters in bounded time can be achieved for the corresponding quantitative safety level by using the proposed Safety Constraint Computation Algorithm. Finally, based on the performances of stochastic events evaluated by hybrid automata online, the safety status of UTO can be quantitatively monitored in real-time.

Suggested Citation

  • Cheng, Ruijun & Cheng, Yu & Chen, Dewang & Song, Haifeng, 2021. "Online quantitative safety monitoring approach for unattended train operation system considering stochastic factors," Reliability Engineering and System Safety, Elsevier, vol. 216(C).
    • Handle: RePEc:eee:reensy:v:216:y:2021:i:c:s095183202100449x
    DOI: 10.1016/j.ress.2021.107933
    as

    Download full text from publisher

    File URL: http://www.sciencedirect.com/science/article/pii/S095183202100449X
    Download Restriction: Full text for ScienceDirect subscribers only
    File URL: https://libkey.io/10.1016/j.ress.2021.107933?utm_source=ideas
    LibKey link: if access is restricted and if your library uses this service, LibKey will redirect you to where you can use your library subscription to access this item
    ---><---

    As the access to this document is restricted, you may want to search for a different version of it.

    References listed on IDEAS

    as
    1. Lin, Boliang & Wu, Jianping & Lin, Ruixi & Wang, Jiaxi & Wang, Hui & Zhang, Xuhui, 2019. "Optimization of high-level preventive maintenance scheduling for high-speed trains," Reliability Engineering and System Safety, Elsevier, vol. 183(C), pages 261-275.
    2. Babykina, Génia & Brînzei, Nicolae & Aubry, Jean-François & Deleuze, Gilles, 2016. "Modeling and simulation of a controlled steam generator in the context of dynamic reliability using a Stochastic Hybrid Automaton," Reliability Engineering and System Safety, Elsevier, vol. 152(C), pages 115-136.
    3. Favarò, Francesca M. & Saleh, Joseph H., 2016. "Toward risk assessment 2.0: Safety supervisory control and model-based hazard monitoring for risk-informed safety interventions," Reliability Engineering and System Safety, Elsevier, vol. 152(C), pages 316-330.
    4. Desgeorges, Loïc & Piriou, Pierre-Yves & Lemattre, Thibault & Chraibi, Hassane, 2021. "Formalism and semantics of PyCATSHOO: A simulator of distributed stochastic hybrid automata," Reliability Engineering and System Safety, Elsevier, vol. 208(C).
    5. Chiacchio, F. & D’Urso, D. & Manno, G. & Compagno, L., 2016. "Stochastic hybrid automaton model of a multi-state system with aging: Reliability assessment and design consequences," Reliability Engineering and System Safety, Elsevier, vol. 149(C), pages 1-13.
    6. Gouyon, David & Pétin, Jean-François & Cochard, Thomas & Devic, Catherine, 2020. "Architecture assessment for safety critical plant operation using reachability analysis of timed automata," Reliability Engineering and System Safety, Elsevier, vol. 199(C).
    7. Lahtinen, J. & Valkonen, J. & Björkman, K. & Frits, J. & Niemelä, I. & Heljanko, K., 2012. "Model checking of safety-critical software in the nuclear engineering domain," Reliability Engineering and System Safety, Elsevier, vol. 105(C), pages 104-113.
    8. Song, Haifeng & Liu, Jieyu & Schnieder, Eckehard, 2017. "Validation, verification and evaluation of a Train to Train Distance Measurement System by means of Colored Petri Nets," Reliability Engineering and System Safety, Elsevier, vol. 164(C), pages 10-23.
    9. Heracleous, Constantinos & Kolios, Panayiotis & Panayiotou, Christos G. & Ellinas, Georgios & Polycarpou, Marios M., 2017. "Hybrid systems modeling for critical infrastructures interdependency analysis," Reliability Engineering and System Safety, Elsevier, vol. 165(C), pages 89-101.
    10. Cuer, Romain & Piétrac, Laurent & Niel, Eric & Diallo, Saidou & Minoiu-Enache, Nicoleta & Dang-Van-Nhan, Christophe, 2018. "A formal framework for the safe design of the Autonomous Driving supervision," Reliability Engineering and System Safety, Elsevier, vol. 174(C), pages 29-40.
    11. Belkacem, Lobna & Simeu-Abazi, Zineb & Dhouibi, Hedi & Gascard, Eric & Messaoud, Hassani, 2017. "Diagnostic and prognostic of hybrid dynamic systems: Modeling and RUL evaluation for two maintenance policies," Reliability Engineering and System Safety, Elsevier, vol. 164(C), pages 98-109.
    12. Lijie, Chen & Tao, Tang & Xianqiong, Zhao & Schnieder, Eckehard, 2012. "Verification of the safety communication protocol in train control system using colored Petri net," Reliability Engineering and System Safety, Elsevier, vol. 100(C), pages 8-18.
    13. Favarò, Francesca M. & Saleh, Joseph H., 2018. "Application of temporal logic for safety supervisory control and model-based hazard monitoring," Reliability Engineering and System Safety, Elsevier, vol. 169(C), pages 166-178.
    14. Cheng, Ruijun & Zhou, Jin & Chen, Dewang & Song, Yongduan, 2016. "Model-based verification method for solving the parameter uncertainty in the train control system," Reliability Engineering and System Safety, Elsevier, vol. 145(C), pages 169-182.
    15. Kriaa, Siwar & Pietre-Cambacedes, Ludovic & Bouissou, Marc & Halgand, Yoran, 2015. "A survey of approaches combining safety and security for industrial control systems," Reliability Engineering and System Safety, Elsevier, vol. 139(C), pages 156-178.
    Full references (including those not matched with items on IDEAS)

    Citations

    Citations are extracted by the CitEc Project, subscribe to its RSS feed for this item.
    as


    Cited by:

    1. Chai, Ming & Zhang, Xinyi & Schlingloff, Bernd-Holger & Tang, Tao & Liu, Hongjie, 2024. "Online hazard prediction of train operations with parametric hybrid automata based runtime verification," Reliability Engineering and System Safety, Elsevier, vol. 241(C).

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Chiacchio, Ferdinando & D’Urso, Diego & Famoso, Fabio & Brusca, Sebastian & Aizpurua, Jose Ignacio & Catterson, Victoria M., 2018. "On the use of dynamic reliability for an accurate modelling of renewable power plants," Energy, Elsevier, vol. 151(C), pages 605-621.
    2. Song, Haifeng & Liu, Jieyu & Schnieder, Eckehard, 2017. "Validation, verification and evaluation of a Train to Train Distance Measurement System by means of Colored Petri Nets," Reliability Engineering and System Safety, Elsevier, vol. 164(C), pages 10-23.
    3. Wu, Daohua & Zheng, Wei, 2018. "Formal model-based quantitative safety analysis using timed Coloured Petri Nets," Reliability Engineering and System Safety, Elsevier, vol. 176(C), pages 62-79.
    4. Vasilyev, A. & Andrews, J. & Dunnett, S.J. & Jackson, L.M., 2021. "Dynamic Reliability Assessment of PEM Fuel Cell Systems," Reliability Engineering and System Safety, Elsevier, vol. 210(C).
    5. Raoni, Rafael & Secchi, Argimiro R., 2019. "Procedures to model and solve probabilistic dynamic system problems," Reliability Engineering and System Safety, Elsevier, vol. 191(C).
    6. Dong, Zhe & Li, Bowen & Li, Junyi & Huang, Xiaojin & Zhang, Zuoyi, 2022. "Online reliability assessment of energy systems based on a high-order extended-state-observer with application to nuclear reactors," Renewable and Sustainable Energy Reviews, Elsevier, vol. 158(C).
    7. Chiacchio, Ferdinando & Iacono, Alessandra & Compagno, Lucio & D'Urso, Diego, 2020. "A general framework for dependability modelling coupling discrete-event and time-driven simulation," Reliability Engineering and System Safety, Elsevier, vol. 199(C).
    8. Zhang, Fengxia & Shen, Jingyuan & Liao, Haitao & Ma, Yizhong, 2021. "Optimal preventive maintenance policy for a system subject to two-phase imperfect inspections," Reliability Engineering and System Safety, Elsevier, vol. 205(C).
    9. Khastgir, Siddartha & Brewerton, Simon & Thomas, John & Jennings, Paul, 2021. "Systems Approach to Creating Test Scenarios for Automated Driving Systems," Reliability Engineering and System Safety, Elsevier, vol. 215(C).
    10. Zou, Qiling & Chen, Suren, 2019. "Enhancing resilience of interdependent traffic-electric power system," Reliability Engineering and System Safety, Elsevier, vol. 191(C).
    11. Siwar Kriaa & Marc Bouissou & Youssef Laarouchi, 2019. "A new safety and security risk analysis framework for industrial control systems," Journal of Risk and Reliability, , vol. 233(2), pages 151-174, April.
    12. Wang, Wei & Cammi, Antonio & Di Maio, Francesco & Lorenzi, Stefano & Zio, Enrico, 2018. "A Monte Carlo-based exploration framework for identifying components vulnerable to cyber threats in nuclear power plants," Reliability Engineering and System Safety, Elsevier, vol. 175(C), pages 24-37.
    13. Favarò, Francesca M. & Saleh, Joseph H., 2018. "Application of temporal logic for safety supervisory control and model-based hazard monitoring," Reliability Engineering and System Safety, Elsevier, vol. 169(C), pages 166-178.
    14. Peng, Rui & Xiao, Hui & Liu, Hanlin, 2017. "Reliability of multi-state systems with a performance sharing group of limited size," Reliability Engineering and System Safety, Elsevier, vol. 166(C), pages 164-170.
    15. Kim, Hee Eun & Son, Han Seong & Kim, Jonghyun & Kang, Hyun Gook, 2017. "Systematic development of scenarios caused by cyber-attack-induced human errors in nuclear power plants," Reliability Engineering and System Safety, Elsevier, vol. 167(C), pages 290-301.
    16. Zio, E., 2018. "The future of risk assessment," Reliability Engineering and System Safety, Elsevier, vol. 177(C), pages 176-190.
    17. Lin, Boliang & Zhao, Yinan, 2021. "Synchronized optimization of EMU train assignment and second-level preventive maintenance scheduling," Reliability Engineering and System Safety, Elsevier, vol. 215(C).
    18. Lo, Huai-Wei & Liou, James J.H. & Huang, Chun-Nen & Chuang, Yen-Ching & Tzeng, Gwo-Hshiung, 2020. "A new soft computing approach for analyzing the influential relationships of critical infrastructures," International Journal of Critical Infrastructure Protection, Elsevier, vol. 28(C).
    19. Nazarizadeh, Farzaneh & Alemtabriz, Akbar & Zandieh, Mostafa & Raad, Abbas, 2022. "An analytical model for reliability assessment of the rail system considering dependent failures (case study of Iranian railway)," Reliability Engineering and System Safety, Elsevier, vol. 227(C).
    20. Mishra, Vishrut Kumar & Palleti, Venkata Reddy & Mathur, Aditya, 2019. "A modeling framework for critical infrastructure and its application in detecting cyber-attacks on a water distribution system," International Journal of Critical Infrastructure Protection, Elsevier, vol. 26(C).

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:eee:reensy:v:216:y:2021:i:c:s095183202100449x. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Catherine Liu (email available below). General contact details of provider: https://www.journals.elsevier.com/reliability-engineering-and-system-safety .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.