Verification and Implementation of the Protocol Standard in Train Control System

No abstract is available for this paper.

• Publication year

  2013

• Venue

  2013 IEEE 37th Annual Computer Software and Applications Conference

• Publication date

  2013-07-22

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1109/COMPSAC.2013.89
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Development of verification and conformance testing tools for a railway signaling communication protocol

  2009cited by this paper
• Performance evaluation and verification of communication protocol for railway signaling systems

  2005cited by this paper
• Design verification by test vectors and arithmetic transform universal test set

  2004cited by this paper
• NuSMV 2: An OpenSource Tool for Symbolic Model Checking

  2002cited by this paper
• Nusmv version 2: an opensource tool for symbolic model checking

  2002cited by this paper
• Safety checking in an automatic train operation system

  2001cited by this paper
• Methods and tools to the verification of safety-related control software

  2000cited by this paper
• Modeling of Packet Loss and Delay and Their Effect on Real-Time Multimedia Service Quality

  2000cited by this paper
• Cache consistency by design

  1999cited by this paper
• NUSMV: A New Symbolic Model Verifier

  1999cited by this paper
• The Model Checker SPIN

  1997cited by this paper
• UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems

  1996cited by this paper
• Modelling and Verifying a Bounded Retransmission Protocol

  1996cited by this paper
• Formal methods: state of the art and future directions

  1996cited by this paper
• Analysis of Audio Packet Loss in the Internet

  1995cited by this paper
• Diagnostic Model-Checking for Real-Time Systems

  1995cited by this paper
• A Theory of Timed Automata

  1994cited by this paper
• Protocol Verification Made Simple: A Tutorial

  1993cited by this paper
• Design and analysis of dynamic leader election protocols in broadcast networks

  1993cited by this paper
• End-to-end packet delay and loss behavior in the internet

  1993cited by this paper
• Safety-critical systems, formal methods and standards

  1993cited by this paper
• Formal methods for generating protocol conformance test sequences

  1990cited by this paper
• Formal Methods for Protocol Testing: A Detailed Study

  1989cited by this paper
• Formal Methods in Communication Protocol Design

  1980cited by this paper

• Formal Design of Multi-Function Vehicle Bus Controller

  2021cites this paper
• Uncertainty Theory Based Reliability-Centric Cyber-Physical System Design

  2019cites this paper
• Dependable Model-driven Development of CPS

  2018influential citation
• Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller

  2018cites this paper
• From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design

  2016cites this paper
• Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller

  2016influential citation