时间自动机模型相关论文
列控系统是安全严苛的复杂系统,需要全面精细的安全验证。等级转换作为列车运行过程中的重要场景,其高效有序的运行有助于保证列控......
计算机联锁系统(CBI)是铁路运输中的重要设备,它肩负着列车调度、安全行车、提高运输效率的重要工作。它通过对道岔、进路以及信号......
采用时间自动机形式化模型检验方法建立了结构分析与设计语言（AADL）调度模型的自动机,实现了从AADL模型到时间自动机模型的自动转换......
体系结构分析设计语言AADL是一种可支持软硬件一体化建模及同一模型多元分析的形式化与图形化建模语言。采用时间自动机形式化模型......
