Verification of the safety communication protocol in train control system using colored Petri net

This publication has 28 references indexed in Scilit:

• Reliability performance of safety instrumented systems: A common approach for both low- and high-demand mode of operation
  Reliability Engineering & System Safety, 2011
• Probabilistic assessments in relationship with safety integrity levels by using Fault Trees
  Reliability Engineering & System Safety, 2008
• Automatic creation of Markov models for reliability assessment of safety instrumented systems
  Reliability Engineering & System Safety, 2008
• A simple reliability block diagram method for safety integrity verification
  Reliability Engineering & System Safety, 2007
• Formal verification of functional properties of a SCR-style software requirements specification using PVS
  Reliability Engineering & System Safety, 2005
• Availability of systems with self-diagnostic components—applying Markov model to IEC 61508-6
  Reliability Engineering & System Safety, 2003
• Viewpoint on ISA TR84.0.02 — simplified methods and fault tree analysis
  ISA Transactions, 2000
• Application of micro Markov models for quantitative safety assessment to determine safety integrity levels as defined by the IEC 61508 standard for functional safety
  Reliability Engineering & System Safety, 1999
• Fault tree developed by an object-based method improves requirements specification for safety-related systems
  Reliability Engineering & System Safety, 1999
• Using Markov models for safety analysis of programmable electronic systems
  ISA Transactions, 1995