Specification of Communication Based Train Control System Using AADL.
Lichen ZhangBingqing XuPublished in: MUSIC (2013)
Keyphrases
- control system
- test case generation
- remote monitoring
- control algorithm
- closed loop
- high level
- communication overhead
- formal specification
- communication systems
- control scheme
- control center
- fuzzy logic
- control method
- communication cost
- communication networks
- control law
- communication channels
- real environment
- fuzzy control
- pid controller
- information sharing
- test cases
- formal verification
- communication protocols
- case study
- data sets