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

Validation, verification and evaluation of a Train to Train Distance Measurement System by means of Colored Petri Nets

Author

Listed:
  • Song, Haifeng
  • Liu, Jieyu
  • Schnieder, Eckehard

Abstract

Validation, verification and evaluation are necessary processes to assure the safety and functionality of a system before its application in practice. This paper presents a Train to Train Distance Measurement System (TTDMS), which can provide distance information independently from existing onboard equipment. Afterwards, we proposed a new process using Colored Petri Nets to verify the TTDMS system functional safety, as well as to evaluate the system performance. Three main contributions are carried out in the paper: Firstly, this paper proposes a formalized TTDMS model, and the model correctness is validated using state space analysis and simulation-based verification. Secondly, corresponding checking queries are proposed for the purpose of functional safety verification. Further, the TTDMS performance is evaluated by applying parameters in the formal model. Thirdly, the reliability of a functional prototype TTDMS is estimated. It is found that the procedure can cooperate with the system development, and both formal and simulation-based verifications are performed. Using our process to evaluate and verify a system is easier to read and more reliable compared to executable code and mathematical methods.

Suggested Citation

  • 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.
    • Handle: RePEc:eee:reensy:v:164:y:2017:i:c:p:10-23
    DOI: 10.1016/j.ress.2017.03.001
    as

    Download full text from publisher

    File URL: http://www.sciencedirect.com/science/article/pii/S0951832017302582
    Download Restriction: Full text for ScienceDirect subscribers only
    File URL: https://libkey.io/10.1016/j.ress.2017.03.001?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. Khakzad, Nima & Khan, Faisal & Amyotte, Paul, 2011. "Safety analysis in process facilities: Comparison of fault tree and Bayesian network approaches," Reliability Engineering and System Safety, Elsevier, vol. 96(8), pages 925-932.
    2. Kleyner, Andre & Volovoi, Vitali, 2010. "Application of Petri nets to reliability prediction of occupant safety systems with partial detection and repair," Reliability Engineering and System Safety, Elsevier, vol. 95(6), pages 606-613.
    3. Lisnianski, Anatoly & Elmakias, David & Laredo, David & Ben Haim, Hanoch, 2012. "A multi-state Markov model for a short-term reliability analysis of a power generating unit," Reliability Engineering and System Safety, Elsevier, vol. 98(1), pages 1-6.
    4. Zhang, Limao & Wu, Xianguo & Skibniewski, Miroslaw J. & Zhong, Jingbing & Lu, Yujie, 2014. "Bayesian-network-based safety risk analysis in construction projects," Reliability Engineering and System Safety, Elsevier, vol. 131(C), pages 29-39.
    5. 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.
    6. 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.
    7. Nguyen, T.P. Khanh & Beugin, Julie & Marais, Juliette, 2015. "Method for evaluating an extended Fault Tree to analyse the dependability of complex systems: Application to a satellite-based railway system," Reliability Engineering and System Safety, Elsevier, vol. 133(C), pages 300-313.
    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. 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).
    2. 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.

    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. Guo, Qingjun & Amin, Shohel & Hao, Qianwen & Haas, Olivier, 2020. "Resilience assessment of safety system at subway construction sites applying analytic network process and extension cloud models," Reliability Engineering and System Safety, Elsevier, vol. 201(C).
    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. Zhang, Xiaoge & Mahadevan, Sankaran, 2021. "Bayesian network modeling of accident investigation reports for aviation safety assessment," Reliability Engineering and System Safety, Elsevier, vol. 209(C).
    4. Eldosouky, AbdelRahman & Saad, Walid & Mandayam, Narayan, 2021. "Resilient critical infrastructure: Bayesian network analysis and contract-Based optimization," Reliability Engineering and System Safety, Elsevier, vol. 205(C).
    5. 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.
    6. 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.
    7. Mohammad Yazdi, 2019. "A review paper to examine the validity of Bayesian network to build rational consensus in subjective probabilistic failure analysis," International Journal of System Assurance Engineering and Management, Springer;The Society for Reliability, Engineering Quality and Operations Management (SREQOM),India, and Division of Operation and Maintenance, Lulea University of Technology, Sweden, vol. 10(1), pages 1-18, February.
    8. Wu, Xianguo & Liu, Huitao & Zhang, Limao & Skibniewski, Miroslaw J. & Deng, Qianli & Teng, Jiaying, 2015. "A dynamic Bayesian network based approach to safety decision support in tunnel construction," Reliability Engineering and System Safety, Elsevier, vol. 134(C), pages 157-168.
    9. Chen, Xi & Bose, Neil & Brito, Mario & Khan, Faisal & Thanyamanta, Bo & Zou, Ting, 2021. "A Review of Risk Analysis Research for the Operations of Autonomous Underwater Vehicles," Reliability Engineering and System Safety, Elsevier, vol. 216(C).
    10. Zhang, Haoyuan & Marsh, D. William R, 2021. "Managing infrastructure asset: Bayesian networks for inspection and maintenance decisions reasoning and planning," Reliability Engineering and System Safety, Elsevier, vol. 207(C).
    11. Chai, Naijie & Zhou, Wenliang & Hu, Xinlei, 2022. "Safety evaluation of urban rail transit operation considering uncertainty and risk preference: A case study in China," Transport Policy, Elsevier, vol. 125(C), pages 267-288.
    12. Xiaoyan Jiang & Sai Wang & Jie Wang & Sainan Lyu & Martin Skitmore, 2020. "A Decision Method for Construction Safety Risk Management Based on Ontology and Improved CBR: Example of a Subway Project," IJERPH, MDPI, vol. 17(11), pages 1-23, June.
    13. Park, Jae-Hyun, 2017. "Time-dependent reliability of wireless networks with dependent failures," Reliability Engineering and System Safety, Elsevier, vol. 165(C), pages 47-61.
    14. Pan, Yue & Ou, Shenwei & Zhang, Limao & Zhang, Wenjing & Wu, Xianguo & Li, Heng, 2019. "Modeling risks in dependent systems: A Copula-Bayesian approach," Reliability Engineering and System Safety, Elsevier, vol. 188(C), pages 416-431.
    15. Pengxia Zhao & Tie Li & Biao Wang & Ming Li & Yu Wang & Xiahui Guo & Yue Yu, 2022. "The Scenario Construction and Evolution Method of Casualties in Liquid Ammonia Leakage Based on Bayesian Network," IJERPH, MDPI, vol. 19(24), pages 1-22, December.
    16. Li, Mei & Liu, Zixian & Li, Xiaopeng & Liu, Yiliu, 2019. "Dynamic risk assessment in healthcare based on Bayesian approach," Reliability Engineering and System Safety, Elsevier, vol. 189(C), pages 327-334.
    17. Hassan, Shamsu & Wang, Jin & Kontovas, Christos & Bashir, Musa, 2022. "An assessment of causes and failure likelihood of cross-country pipelines under uncertainty using bayesian networks," Reliability Engineering and System Safety, Elsevier, vol. 218(PA).
    18. Zhang, Cai Wen & Zhang, Tieling & Chen, Nan & Jin, Tongdan, 2013. "Reliability modeling and analysis for a novel design of modular converter system of wind turbines," Reliability Engineering and System Safety, Elsevier, vol. 111(C), pages 86-94.
    19. Leonardo Leoni & Farshad BahooToroody & Saeed Khalaj & Filippo De Carlo & Ahmad BahooToroody & Mohammad Mahdi Abaei, 2021. "Bayesian Estimation for Reliability Engineering: Addressing the Influence of Prior Choice," IJERPH, MDPI, vol. 18(7), pages 1-16, March.
    20. Daniel (Jian) Sun & Yuhan Zhao & Qing-Chang Lu, 2015. "Vulnerability Analysis of Urban Rail Transit Networks: A Case Study of Shanghai, China," Sustainability, MDPI, vol. 7(6), pages 1-18, May.

    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:164:y:2017:i:c:p:10-23. 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.