Modelling and Verification of the System Requirement Specification of Train Control System Using SDL.
Lei YuanTao TangKaicheng LiPublished in: ISADS (2011)
Keyphrases
- control system
- formal verification
- asynchronous circuits
- model checking
- modelling language
- protocol specification
- formal methods
- fuzzy logic
- safety analysis
- closed loop
- fuzzy control
- formal specification
- intelligent control
- control algorithm
- colored petri nets
- high level
- face verification
- specification language
- neural network
- pid controller
- control strategy
- controller design
- reactive systems
- control scheme
- provably correct
- user defined
- functional verification
- real world