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

Model-based verification method for solving the parameter uncertainty in the train control system

Author

Listed:
  • Cheng, Ruijun
  • Zhou, Jin
  • Chen, Dewang
  • Song, Yongduan

Abstract

This paper presents a parameter analysis method to solve the parameter uncertainty problem for hybrid system and explore the correlation of key parameters for distributed control system. For improving the reusability of control model, the proposed approach provides the support for obtaining the constraint sets of all uncertain parameters in the abstract linear hybrid automata (LHA) model when satisfying the safety requirements of the train control system. Then, in order to solve the state space explosion problem, the online verification method is proposed to monitor the operating status of high-speed trains online because of the real-time property of the train control system. Furthermore, we construct the LHA formal models of train tracking model and movement authority (MA) generation process as cases to illustrate the effectiveness and efficiency of the proposed method. In the first case, we obtain the constraint sets of uncertain parameters to avoid collision between trains. In the second case, the correlation of position report cycle and MA generation cycle is analyzed under both the normal and the abnormal condition influenced by packet-loss factor. Finally, considering stochastic characterization of time distributions and real-time feature of moving block control system, the transient probabilities of wireless communication process are obtained by stochastic time petri nets.

Suggested Citation

  • 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.
    • Handle: RePEc:eee:reensy:v:145:y:2016:i:c:p:169-182
    DOI: 10.1016/j.ress.2015.09.014
    as

    Download full text from publisher

    File URL: http://www.sciencedirect.com/science/article/pii/S0951832015002781
    Download Restriction: Full text for ScienceDirect subscribers only
    File URL: https://libkey.io/10.1016/j.ress.2015.09.014?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. Skorupski, Jacek, 2015. "The risk of an air accident as a result of a serious incident of the hybrid type," Reliability Engineering and System Safety, Elsevier, vol. 140(C), pages 37-52.
    2. Nývlt, Ondřej & Haugen, Stein & Ferkl, Lukáš, 2015. "Complex accident scenarios modelled and analysed by Stochastic Petri Nets," Reliability Engineering and System Safety, Elsevier, vol. 142(C), pages 539-555.
    3. Baldini, Gianmarco & Nai Fovino, Igor & Masera, Marcelo & Luise, Marco & Pellegrini, Vincenzo & Bagagli, Enzo & Rubino, Giuseppe & Malangone, Raffaele & Stefano, Marcoccio & Senesi, Fabio, 2010. "An early warning system for detecting GSM-R wireless interference in the high-speed railway infrastructure," International Journal of Critical Infrastructure Protection, Elsevier, vol. 3(3), pages 140-156.
    4. 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.
    5. Castet, Jean-Francois & Saleh, Joseph H., 2012. "On the concept of survivability, with application to spacecraft and space-based networks," Reliability Engineering and System Safety, Elsevier, vol. 99(C), pages 123-138.
    6. Bozzano, Marco & Cimatti, Alessandro & Katoen, Joost-Pieter & Katsaros, Panagiotis & Mokos, Konstantinos & Nguyen, Viet Yen & Noll, Thomas & Postma, Bart & Roveri, Marco, 2014. "Spacecraft early design validation using formal methods," Reliability Engineering and System Safety, Elsevier, vol. 132(C), pages 20-35.
    7. Andrews, John & Prescott, Darren & De Rozières, Florian, 2014. "A stochastic model for railway track asset management," Reliability Engineering and System Safety, Elsevier, vol. 130(C), pages 76-84.
    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. 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.
    2. 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).
    3. Yu Zang & Wei Shangguan & Baigen Cai & Huashen Wang & Michael G Pecht, 2019. "Methods for fault diagnosis of high-speed railways: A review," Journal of Risk and Reliability, , vol. 233(5), pages 908-922, October.

    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. Pakonen, Antti & Buzhinsky, I & Björkman, K, 2021. "Model checking reveals design issues leading to spurious actuation of nuclear instrumentation and control systems," Reliability Engineering and System Safety, Elsevier, vol. 205(C).
    2. Bozzano, Marco & Cimatti, Alessandro & Katoen, Joost-Pieter & Katsaros, Panagiotis & Mokos, Konstantinos & Nguyen, Viet Yen & Noll, Thomas & Postma, Bart & Roveri, Marco, 2014. "Spacecraft early design validation using formal methods," Reliability Engineering and System Safety, Elsevier, vol. 132(C), pages 20-35.
    3. Geng, Sunyue & Liu, Sifeng & Fang, Zhigeng, 2021. "Resilient communication model for satellite networks using clustering technique," Reliability Engineering and System Safety, Elsevier, vol. 215(C).
    4. Saleh, Ali & Remenyte-Prescott, Rasa & Prescott, Darren & Chiachío, Manuel, 2024. "Intelligent and adaptive asset management model for railway sections using the iPN method," Reliability Engineering and System Safety, Elsevier, vol. 241(C).
    5. 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).
    6. Andrews, John & Fecarotti, Claudia, 2017. "System design and maintenance modelling for safety in extended life operation," Reliability Engineering and System Safety, Elsevier, vol. 163(C), pages 95-108.
    7. Andrews, John & Tolo, Silvia, 2023. "Dynamic and dependent tree theory (D2T2): A framework for the analysis of fault trees with dependent basic events," Reliability Engineering and System Safety, Elsevier, vol. 230(C).
    8. Bolton, Matthew L. & Molinaro, Kylie A. & Houser, Adam M., 2019. "A formal method for assessing the impact of task-based erroneous human behavior on system safety," Reliability Engineering and System Safety, Elsevier, vol. 188(C), pages 168-180.
    9. Andrade, A.R. & Teixeira, P.F., 2015. "Statistical modelling of railway track geometry degradation using Hierarchical Bayesian models," Reliability Engineering and System Safety, Elsevier, vol. 142(C), pages 169-183.
    10. Taleb-Berrouane, Mohammed & Khan, Faisal & Amyotte, Paul, 2020. "Bayesian Stochastic Petri Nets (BSPN) - A new modelling tool for dynamic safety and reliability analysis," Reliability Engineering and System Safety, Elsevier, vol. 193(C).
    11. Alice Consilvio & José Solís-Hernández & Noemi Jiménez-Redondo & Paolo Sanetti & Federico Papa & Iñigo Mingolarra-Garaizar, 2020. "On Applying Machine Learning and Simulative Approaches to Railway Asset Management: The Earthworks and Track Circuits Case Studies," Sustainability, MDPI, vol. 12(6), pages 1-24, March.
    12. Whiteley, M & Dunnett, S & Jackson, L, 2020. "Simulation of polymer electrolyte membrane fuel cell degradation using an integrated Petri Net and 0D model," Reliability Engineering and System Safety, Elsevier, vol. 196(C).
    13. Gonçalves, P. & Sobral, J. & Ferreira, L.A., 2017. "Unmanned aerial vehicle safety assessment modelling through petri Nets," Reliability Engineering and System Safety, Elsevier, vol. 167(C), pages 383-393.
    14. Payuna Uday & Karen Marais, 2015. "Designing Resilient Systems‐of‐Systems: A Survey of Metrics, Methods, and Challenges," Systems Engineering, John Wiley & Sons, vol. 18(5), pages 491-510, October.
    15. Thorsten Neumann & Beate Dutschk & René Schenkendorf, 2019. "Analyzing uncertainties in model response using the point estimate method: Applications from railway asset management," Journal of Risk and Reliability, , vol. 233(5), pages 761-774, October.
    16. Hu, Yunpeng & Peng, Qibo & Ni, Qing & Wu, Xinfeng & Ye, Dongming, 2023. "Event-based safety and reliability analysis integration in model-based space mission design," Reliability Engineering and System Safety, Elsevier, vol. 229(C).
    17. Evelin Krmac & Boban Djordjević, 2019. "A Multi-Criteria Decision-Making Framework for the Evaluation of Train Control Information Systems, the Case of ERTMS," International Journal of Information Technology & Decision Making (IJITDM), World Scientific Publishing Co. Pte. Ltd., vol. 18(01), pages 209-239, January.
    18. Raoni, Rafael & Secchi, Argimiro R., 2019. "Procedures to model and solve probabilistic dynamic system problems," Reliability Engineering and System Safety, Elsevier, vol. 191(C).
    19. Lu, Yu & Peng, Zhaoguang & Miller, Alice A. & Zhao, Tingdi & Johnson, Christopher W., 2015. "How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification," Reliability Engineering and System Safety, Elsevier, vol. 144(C), pages 95-116.
    20. Chatterjee, Abheek & Layton, Astrid, 2020. "Mimicking nature for resilient resource and infrastructure network design," Reliability Engineering and System Safety, Elsevier, vol. 204(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:145:y:2016:i:c:p:169-182. 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.