UPPAAL工具相关论文
全自动运行是未来城市轨道交通发展的主要方向，与传统驾驶模式相比，对于特殊运行场景下的应急处理能力与处理效率有着更高的要求。本......
随着计算机应用领域的不断扩张,计算机软件的开发规模逐渐扩大,软件复杂度不断增加,开发周期和开发成本也不断增长。为了解决这些......
随着现代化的推进以及通信等技术的发展,计算机软件已广泛应用于各类安全攸关的系统中。在安全攸关实时系统的设计中,系统的复杂性......
近年来，关于下一代互联网和物联网的研究成果日渐丰富，新的数据通信和传输方法不断涌现。其中，新的路由协议是新型网络的关键部分，其正......
轨道交通这样的实时系统对时间的要求及其严格,要保障轨道交通运营场景的安全性,就需要对运营场景进行安全检测,而保证系统安全性......
