Uppaal相关论文
基于车车通信的列控系统在传统车地通信的基础上，引入了车车通信技术，后车与前车实时通信，极大地简化了地面设备，提高了列车运行效率。......
期刊
随着区块链的快速发展,智能合约作为区块链的核心技术受到广泛关注。但频繁发生的智能合约漏洞事件,在造成巨大经济损失的同时,也......
可编程逻辑控制器（PLC）是一种被广泛应用于工业控制领域的嵌入式设备。它常被用于实现安全攸关系统的控制逻辑,例如核电、交通、医疗......
随着人工智能、机器人技术的不断发展和变革,机器人正逐渐进入人类生产生活的各个领域,机器人操作系统（Robot Operating System,ROS......
随着我国高速铁路的快速发展,中国铁道部在依照欧洲列控系统的基础上,设计了保障列车安全运行的控制系统CTCS-3,CTCS-3已经运用于......
铁路系统历来对安全性要求较高,CTCS-3级列控设备作为高速列车的控制系统对安全性的要求更高。车载设备系统是中国铁路CTCS-3级列......
Gnutella网络是典型的完全无中心的文件共享的P2P网络,近年来发展非常迅速。但是,Gnutella网络的可扩展性差,大量的冗余消息加重了......
实时系统不仅要求逻辑上是正确的，而且要求时间上也是正确的，这类系统在设计阶段需要进行严格的分析和验证。时间自动机是使用最为广......
实时系统是一类重要的计算机应用系统,它经常被使用在对安全性要求极高的操作环境中,因此确保此类系统的正确性至关重要,并且需要......
随着以太网以及相关网络系统的迅速发展，网络接入及认证计费成为人们关注的重点。如何有效地将相关网络系统——诸如入侵监测系统、......
随着安全关键软件的规模和复杂性不断增长,确保软件设计和功能的正确性变得更加困难。模型驱动开发方法已经成为了安全关键软件设......
信息物理融合系统(Cyber-physical system,CPS)是一类将信息离散系统和物理连续系统融合在一起的复杂混合系统,涉及了感知、通信、......
配电网自动化对于保障电网持续可靠高效运行和提高电网管理水平具有十分重要的作用。馈线自动化作为配电自动化的核心,其作用是提......
轨道电路作为铁路信号系统基础设备,主要用于反映区间闭塞分区占用情况,其可靠性与安全性对于铁路运输安全起着至关重要的作用。当......
无线传感器网络(Wireless Sensor Network,简称WSN)的研究起源于军事领域,随着人类发展需要,目前它在军事、医疗保健、智能家居、......
摘要 调度通信是GSM-R在铁路上的主要应用之-，在提高运行效率、保证行车安全方面起着重要作用。GsM-R提供的高级语音呼叫业务，尤......
C3+ATO系统目前在我国处于试验发展阶段且具有自动化等级高、安全标准高等特点。为验证具体场景下高速铁路C3+ATO系统功能是否符合......
Modelling and Verification of Real-Time Publish and Subscribe Protocol Using UPPAAL and Simulink/Sta
Real-Time Publish and Subscribe (RTPS) protocol is a protocol for implementing message exchange over an unreliable trans......
列车自动防护(ATP)系统是列车运行控制系统的核心子系统,系统的安全性和可靠性直接关系到列车的运行安全。ATP系统作为典型的、复......
随着机器人技术的高速发展,越来越多的人开始聚焦到认知机器人领域的研究,机器人系统中的两大研究领域主要是路径规划和任务规划,......
通过对分散控制计算机联锁系统建模与验证分析,提出在设计早期发现系统存在的未知故障,减少软件系统设计错误,可为分散控制计算机......
期刊
CBTC(Communication Based Train Control)系统可有效提高轨道交通的列车运营效率,降低系统建设和维护费用.在系统研发过程中需对......
本文分析客运专线CTCS-3级列控系统中无线闭塞中心(RBC)子系统软件的功能和性能约束,在此基础上采用时间自动机理论进行RBC子系统......
为了满足临时限速系统的实时性要求,采用时间自动机理论,对CTCS-3级列控系统临时限速工作流程分别建立了各设备的时间自动机子模型......
