Validation, verification and evaluation of a Train to Train Distance Measurement System by means of Colored Petri Nets. (August 2017)

• Record Type: Journal Article
• Authors: Song, Haifeng; Liu, Jieyu; Schnieder, Eckehard
• Is Part Of: Reliability engineering & system safety. Volume 164(2017)
• Page Start: 10
• Page End: 23
• Publication Date: 2017-08
• Subjects: Formal method -- Colored Petri net -- Evaluation -- Performance analysis -- ASK-CTL; Reliability (Engineering) -- Periodicals; System safety -- Periodicals; Industrial safety -- Periodicals; Fiabilité -- Périodiques; Sécurité des systèmes -- Périodiques; Sécurité du travail -- Périodiques; 620.00452
• DOI: 10.1016/j.ress.2017.03.001
• Languages: English
• ISSNs: 0951-8320

Abstract

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. Highlights: A new Train to Train Distance Measurement System. New approach verifying system functional safety and evaluating system performance by means of CPN. System formalization using the system property concept. Verification of system functional safety using state space analysis. Evaluation of system performance applying simulation-based analysis.