UPPAAL-TRON相关论文
高速铁路列车运行控制系统是一个典型的实时系统,如何保证列控系统在时延约束条件下功能实现的正确性至关重要。传统的离线测试方......
自动列车驾驶系统(ATO)是CBTC系统的重要组成部分,验证测试其控制功能逻辑的正确性和安全性至关重要。介绍了ATO控制原理和功能,分......
