时间自动机相关论文
针对航电系统任务安全性分析缺少仿真与验证手段问题，提出了一种面向航电系统任务安全性的形式化建模与验证方法。首先，基于时间自动......
实时系统的建模与验证是实时系统开发过程中不可或缺的环节。由于目前业界中广泛使用的建模验证工具UPPAAL存在下载安装慢、拖拽控......
针对多辆卡车在高速公路上协同运输的场景,学术界和工业界已经对自动驾驶的车队系统进行了广泛的探索。在部署智能车队之前,十分有......
全自动运行是未来城市轨道交通发展的主要方向，与传统驾驶模式相比，对于特殊运行场景下的应急处理能力与处理效率有着更高的要求。本......
可编程逻辑控制器（PLC）是一种被广泛应用于工业控制领域的嵌入式设备。它常被用于实现安全攸关系统的控制逻辑,例如核电、交通、医疗......
车载设备软件故障是影响列控系统中列车运行安全的重要因素,因此,从软件开发周期上对车载设备软件功能逻辑进行快速、准确、不同粒......
随着我国高速铁路的快速发展,中国铁道部在依照欧洲列控系统的基础上,设计了保障列车安全运行的控制系统CTCS-3,CTCS-3已经运用于......
在不断提升的智能化技术水平的推动下,列车自动驾驶（Automatic Train Operation,ATO）已经开始在高速铁路的实际运行中得到应用。作为......
随着国民经济的快速发展,高速铁路因具有高舒适度、高出行效率、高安全系数等特点而备受大家的青睐。同时,根据国家关于综合立体交......
2020年最新出版的《中国城市轨道交通运营发展报告（2019-2020）》中指出,目前我国城市轨道发展十分迅速,其总运营里程已经突破了6700......
自主化CTCS-3级列控系统在确保高铁列车的安全运行方面起着至关重要的作用,有完全的自主产权,在软硬件设计以及功能需求上都新增了......
嵌入式系统的安全性不仅取决于系统硬件的稳定性,而且与系统功能实现代码有密切关系。在一些复杂的嵌入式系统中,嵌入式系统硬件上......
铁路系统历来对安全性要求较高,CTCS-3级列控设备作为高速列车的控制系统对安全性的要求更高。车载设备系统是中国铁路CTCS-3级列......
论文首先给出了时间自动机的定义及相关符号，然后对使用等价类方法构造区域自动机的描述进行了算法实现。该算法的空间复杂度是状态......
无线传感器网络（WSN，Wireless Sensor Network）的应用越来越广泛，例如在火警预报、环境监测、燃气抄表等领域提供了便捷性和安全性保证......
模型检测方法是最近二十年来最成功的自动验证技术之一,目前已经广泛应用于有穷状态系统(包括通信协议和电路设计)的分析和验证。......
Web服务技术给企业的应用程序集成带来了方便,但是分布的单个Web服务功能简单有限,因此有必要将它们进行组合。Web服务的这种组合......
论文首先介绍了时间输入／输出自动机(TIOA)模型，及该模型的测试序列的概念。然后介绍了栅格自动机，并给出对于时间输入／输出自动机进行......
Gnutella网络是典型的完全无中心的文件共享的P2P网络,近年来发展非常迅速。但是,Gnutella网络的可扩展性差,大量的冗余消息加重了......
实时系统不仅要求逻辑上是正确的，而且要求时间上也是正确的，这类系统在设计阶段需要进行严格的分析和验证。时间自动机是使用最为广......
实时系统的模型检验方法是一种保证计算机实时系统安全性和可靠性的严格的形式化方法，随着计算机科学的发展，这种方法已经被广泛地接......
本文在对时间自动机进行深入研究的基础上，提出了公式时钟自动机。在公式时钟自动机中，每一个事件对应一个命题、并且针对给定命题集......
随着以太网的迅速发展，网络接入成为人们关注的重点。802.1x是基于端口的接入控制协议，正在逐步被各个厂商接纳用来构建接入管理系统......
时间自动机被广泛用于实时系统验证和模型检测。一方面出现了很多算法和工具;另一方面有不少基于时间自动机的不同模型被提出,以适......
随着计算机技术的飞速发展，实时系统(real-timesystem)的应用日益广泛。在实际应用中，随着实时系统规模不断扩大、功能不断增强，嵌入......
实时系统是一类重要的计算机应用系统,它经常被使用在对安全性要求极高的操作环境中,因此确保此类系统的正确性至关重要,并且需要......
随着SIP协议的标准化，该协议成为IP领域内运用广泛的信令控制协议。采用SIP协议开发视频会议系统成为目前的研究热点。这不仅增加了......
实时系统是一种带有时间约束的计算系统，这些系统的许多动作的完成是与时间相关的，即要满足一定的时间限制。为了确保实时系统的正确......
随着嵌入式系统的规模、复杂程度和可靠性需求的不断提升，模型驱动的体系结构开发方法已经成为复杂嵌入式系统开发的主流。体系结构......
随着硬件设备计算能力的迅速提高以及社会需求的不断变化和增长,嵌入式系统变得越来越复杂,这对嵌入式实时软件开发的各个阶段(从......
在铁路信号计算机联锁系统中,联锁软件是实现联锁运算的核心部分。联锁软件的失效将有可能导致列车相撞或颠覆等重大事故的出现。......
时间自动机是具有时间约束的有限状态转换系统，在实时系统进行形式化证明的过程中，先用它建模，然后再检验某些不安全状态是否可达。所......
随着企业信息化的普及，业务流程管理系统在企业中的应用越来越广泛，然而，业务环境的动态变化，企业实际业务执行的时间限制给业务流程本......
随着现代社会日益趋于网络信息化,网络信息系统在日常生活中扮演着越来越重要的作用。虽然各种传统的安全措施提高了网络信息系统......
随着嵌入式系统在各个领域的广泛应用,嵌入式系统变得越来越复杂。在嵌入式系统设计中采用模型的方法,有利于确保系统的正确性,缩......
随着互联网和电子商务技术的发展,Web服务因其能解决Internet异构平台下服务的交互重用等问题引起了广泛关注。和传统的分布式计算......
随着计算机应用领域的不断扩张,计算机软件的开发规模逐渐扩大,软件复杂度不断增加,开发周期和开发成本也不断增长。为了解决这些......
随着信息科技的高速发展,针对网络化、嵌入式集成特点的计算机系统得到广泛研究,于是出现了分布式结构的实时系统。由于系统规模的......
实时系统中任何一点错误都可能导致灾难性的后果,故保障实时系统的正确性和可靠性是建立实时系统的首要问题。实时系统建模无疑是......
随着城市规模的发展，城市轨道交通系统在城市中的角色也越来越重要。城市轨道交通信号系统是保证列车运行安全，实现行车指挥和列车运......
随着互联网的蓬勃发展以及网络应用软件的广泛使用，网络信息安全变得越来越重要。在当前动态开放的网络环境中，各主体往往隶属于不同......
随着计算机相关技术的飞速发展,实时系统的应用领域得到了极大的拓展。实时系统中很多动作的发生必须要满足规定的时间约束,否则可......
随着物联网的普及和智能节点的出现,物联网开始向着全新的边缘物联网时代迈进。这使得传统软件逐渐暴露出自身性能的不足。与传统......
目前,可编程控制器(Programmable Controller,PLC)已在工业控制领域中得到广泛运用。PLC实现的运动控制系统可以采用多种语言,其中......
在我国社会经济快速发展的大背景下,人们对铁路出行的需求不断增加。列车运行控制系统作为保障列车运行安全和提高运输效率的关键,......
基于通信的列车自动控制系统(Communication Based Train Control System,CBTC)是典型的由数据驱动的安全苛求系统,其子系统和各个......
