时间自动机相关论文
针对航电系统任务安全性分析缺少仿真与验证手段问题,提出了一种面向航电系统任务安全性的形式化建模与验证方法。首先,基于时间自动......
实时系统的建模与验证是实时系统开发过程中不可或缺的环节。由于目前业界中广泛使用的建模验证工具UPPAAL存在下载安装慢、拖拽控......
针对多辆卡车在高速公路上协同运输的场景,学术界和工业界已经对自动驾驶的车队系统进行了广泛的探索。在部署智能车队之前,十分有......
全自动运行是未来城市轨道交通发展的主要方向,与传统驾驶模式相比,对于特殊运行场景下的应急处理能力与处理效率有着更高的要求。本......
可编程逻辑控制器(PLC)是一种被广泛应用于工业控制领域的嵌入式设备。它常被用于实现安全攸关系统的控制逻辑,例如核电、交通、医疗......
车载设备软件故障是影响列控系统中列车运行安全的重要因素,因此,从软件开发周期上对车载设备软件功能逻辑进行快速、准确、不同粒......
随着我国高速铁路的快速发展,中国铁道部在依照欧洲列控系统的基础上,设计了保障列车安全运行的控制系统CTCS-3,CTCS-3已经运用于......
在不断提升的智能化技术水平的推动下,列车自动驾驶(Automatic Train Operation,ATO)已经开始在高速铁路的实际运行中得到应用。作为......
TCMS(Train Control and Management System)是列车运行控制、数据监测的中枢,文章分析磁浮列车TCMS的系统拓扑和功能需求,建立时......
测试模型是高铁信号系统安全关键功能测试用例编制的重要基础,针对高铁信号系统安全关键功能测试建模过程中描述信号系统领域特征......
随着国民经济的快速发展,高速铁路因具有高舒适度、高出行效率、高安全系数等特点而备受大家的青睐。同时,根据国家关于综合立体交......
2020年最新出版的《中国城市轨道交通运营发展报告(2019-2020)》中指出,目前我国城市轨道发展十分迅速,其总运营里程已经突破了6700......
自主化CTCS-3级列控系统在确保高铁列车的安全运行方面起着至关重要的作用,有完全的自主产权,在软硬件设计以及功能需求上都新增了......
嵌入式系统的安全性不仅取决于系统硬件的稳定性,而且与系统功能实现代码有密切关系。在一些复杂的嵌入式系统中,嵌入式系统硬件上......
近年来,汽轮机控制保护系统面临的安全威胁引起了学术界及工业界的广泛重视.不同于以往针对通信协议的攻击,攻击者逐渐将目标转移......
针对列控系统的复杂交互行为导致的风险耦合问题,提出一种基于STPA与时间自动机的列控运营场景风险耦合路径自动搜索方法.利用STPA......
Web服务组合是当前Web服务领域的一个研究热点,目前已有一些相关的描述与验证方法,但从体系结构角度研究Web服务组合描述与验证方......
PLCopen标准库描述了常见的运动控制功能块,广泛运用于运动控制系统。不过,很少有方法来验证基于这个标准的系统。以验证运动控制......
铁路系统历来对安全性要求较高,CTCS-3级列控设备作为高速列车的控制系统对安全性的要求更高。车载设备系统是中国铁路CTCS-3级列......
时间自动机的识别条件及时间语言在各种识别条件下识别时间语言的能力的研究是时间语言理论中的一个重要课题,且关于时间自动机及......
经典的ω-有穷自动机用于系统验证时抽离了时间特性,不适用于研究与物理过程发生交互的系统。时间自动机扩充时间因素于经典ω-有穷......
论文首先给出了时间自动机的定义及相关符号,然后对使用等价类方法构造区域自动机的描述进行了算法实现。该算法的空间复杂度是状态......
无线传感器网络(WSN,Wireless Sensor Network)的应用越来越广泛,例如在火警预报、环境监测、燃气抄表等领域提供了便捷性和安全性保证......
随着硬件和软件系统的规模和功能的迅速的增长,设计的复杂性和设计中所包含微小错误的可能性也随之增长,这就给软件和硬件产品的可靠......
模型检测方法是最近二十年来最成功的自动验证技术之一,目前已经广泛应用于有穷状态系统(包括通信协议和电路设计)的分析和验证。......
实时系统在各领域尤其是嵌入式领域有着广泛的应用,它一般被用在对时间要求非常高的装置上。对于很多实时系统,如果其设计在逻辑、时......
与一般的软件系统相比较,实时系统具有实时性、并发性等特点,并且此类系统往往要连续运行很长时间,这对系统的健壮性和安全性提出了很......
本文介绍了一种新型时间自动机模型——有限精度时间自动机。它介于离散时间自动机和连续时间自动机之间,可以描述异步系统并进行相......
实时系统是指能及时响应外部发生的事件,并以足够快的速度完成对事件处理的计算机应用系统。实时系统应用的场合往往要求其正确性和......
Web服务技术给企业的应用程序集成带来了方便,但是分布的单个Web服务功能简单有限,因此有必要将它们进行组合。Web服务的这种组合......
近年来,随着时代的发展,计算机从单核变成多核,计算能力大大增强,如何高效利用多核处理器的性能优势来提高模型检测算法和工具的效率已......
实时系统是一类需要在规定的时间内响应外部事件并完成对外部事件处理的系统,这类系统常见于与生命财产密切相关的领域,一旦这类系统......
论文首先介绍了时间输入/输出自动机(TIOA)模型,及该模型的测试序列的概念。然后介绍了栅格自动机,并给出对于时间输入/输出自动机进行......
Gnutella网络是典型的完全无中心的文件共享的P2P网络,近年来发展非常迅速。但是,Gnutella网络的可扩展性差,大量的冗余消息加重了......
实时系统不仅要求逻辑上是正确的,而且要求时间上也是正确的,这类系统在设计阶段需要进行严格的分析和验证。时间自动机是使用最为广......
本文在对时间自动机进行深入研究的基础上,提出了公式时钟自动机。在公式时钟自动机中,每一个事件对应一个命题、并且针对给定命题集......
随着以太网的迅速发展,网络接入成为人们关注的重点。802.1x是基于端口的接入控制协议,正在逐步被各个厂商接纳用来构建接入管理系统......
时间自动机被广泛用于实时系统验证和模型检测。一方面出现了很多算法和工具;另一方面有不少基于时间自动机的不同模型被提出,以适......
随着计算机技术的飞速发展,实时系统(real-timesystem)的应用日益广泛。在实际应用中,随着实时系统规模不断扩大、功能不断增强,嵌入......
随着SIP协议的标准化,该协议成为IP领域内运用广泛的信令控制协议。采用SIP协议开发视频会议系统成为目前的研究热点。这不仅增加了......
随着以太网以及相关网络系统的迅速发展,网络接入及认证计费成为人们关注的重点。如何有效地将相关网络系统——诸如入侵监测系统、......
实时系统是一种带有时间约束的计算系统,这些系统的许多动作的完成是与时间相关的,即要满足一定的时间限制。为了确保实时系统的正确......
随着嵌入式系统的规模、复杂程度和可靠性需求的不断提升,模型驱动的体系结构开发方法已经成为复杂嵌入式系统开发的主流。体系结构......
随着硬件设备计算能力的迅速提高以及社会需求的不断变化和增长,嵌入式系统变得越来越复杂,这对嵌入式实时软件开发的各个阶段(从......