时间自动机模型相关论文
列控系统是安全严苛的复杂系统,需要全面精细的安全验证。等级转换作为列车运行过程中的重要场景,其高效有序的运行有助于保证列控......
为了克服传统信号灯控制模式下交叉口物理空间使用效率不高的问题,提出一种基于时间自动机的无信号灯交叉路口交通管理模型.将交叉......
计算机联锁系统(CBI)是铁路运输中的重要设备,它肩负着列车调度、安全行车、提高运输效率的重要工作。它通过对道岔、进路以及信号......
采用时间自动机形式化模型检验方法建立了结构分析与设计语言（AADL）调度模型的自动机,实现了从AADL模型到时间自动机模型的自动转换......
针对目前区域控制器测试序列人工生成,测试效率低的问题,提出了一种基于模型的测试序列自动生成方法。首先,对区域控制器的功能进......
体系结构分析设计语言AADL是一种可支持软硬件一体化建模及同一模型多元分析的形式化与图形化建模语言。采用时间自动机形式化模型......
为对系统功能需求进行可视化仿真和验证,在对UML可视化建模工具Enterprise Architect中时序图模型的组成图形元素,以及可视化仿真......
