共查询到20条相似文献,搜索用时 109 毫秒
1.
建模,仿真和验证语言(MSVL)是一种时序逻辑编程语言,它是投影时序逻辑(PTL)的可执行子集.MSVL和PTL可用于并发系统的建模和性质验证.然而,MSVL缺少一种消息传递的通信机制,这种机制对于并发分布式系统的建模和验证至关重要.本文说明了如何在MSVL中开发和实现合适的机制来对分布式系统进行建模和验证.该机制首先定义了通道结构,对通信语句和进程结构进行形式化描述,接着介绍了这些通信语句的实现机制.最后,提供了一个关于电子合同签名协议的建模和验证实例,说明消息传递在MSVL中的工作原理. 相似文献
2.
基于工业以太网实时协议的改进 总被引:1,自引:0,他引:1
介绍了一种基于工业以太网的实时协议,参考Profibus DP现场总线技术,基于以太网数据链路层的逻辑链路控制子层提出了一种改进方案,在以太网上实现了Profibus DP的基本功能,使以太网适应实时通信的要求和能够应用于设备级,并且与已经存在的Profibus DP现场总线上的应用保持了连续性和兼容性。最后介绍了协议的实现和性能分析。 相似文献
3.
本文采用下位机硬件控制和上位机软件监视架构.在下位机控制系统中,通过PLC(可编程逻辑控制器)来采集与处理现场数字量信号、模拟量信号以及脉冲信号,采用RS485协议与液位仪二次表通信读取数据,实现对泵和电动阀的自动控制.在上位机监视系统中,采用Ifix组态软件开发人机界面,生产实时状况直观形象. 相似文献
4.
文中 ,在密码系统状态间的关联性和时序逻辑的可达性间建立联系 ,探讨了一种基于时序逻辑的密钥分配协议的描述办法 .该途径从形式上规定密码设备的构成成分以及有关的密码操作 ,使用了时序逻辑的常量和状态不变量来表达这些构成成分 .有关的密码操作表达为状态转换 ,加密协议应保留的必要特性表达为临界不变性表达式 ,然后验证这些不变性表达式 .本方法的优点在于可以隐式地刻画攻击者的行为 ,具有形式化程度高等特点 .我们希望能为研究规范化、简洁化的形式化分析工具提供一些借鉴 . 相似文献
5.
马福军 《计算机应用与软件》2010,27(8)
为了提高电梯系统性能,提出针对电梯应用的CANopen高层应用层协议--CiA DSP 417电梯设备子协议的研究.针对该研究,采用含CAN接口的ARM7核微处理器LPC2292为核心的新型电梯控制系统及其通信模型为研究基础,对新型电梯控制系统和外召控制器之间进行基于CiA DSP 417协议的通信仿真研究.仿真运行显示,基于CiA DSP 417协议的外召通信能有效实现电梯外召控制功能.研究表明,基于CAN总线技术和CiA DSP 417协议的电梯通信能极大提升电梯的控制性能、通信自我管理能力,克服了传统RS485总线在电梯应用中的缺点;并且CiA DSP 417协议具有标准化、应用性好的特点,具有推广价值. 相似文献
6.
提出一种分析和设计认证协议的新逻辑,可以用来分析认证协议和设计认证协议。通过运用该逻辑,使认证协议的设计和分析可以在同一种逻辑中进行,也消除了用不同的方法来设计和分析认证协议的不一致性。在分析协议时,先用逻辑对协议进行形式化,再用推理规则对协议进行推理。如果不能推理出协议的最终目标,说明协议存在缺陷或者漏洞。在设计协议时,通过运用合成规则使协议设计者可用一种系统化的方法来构造满足需要的协议。用该逻辑对Needham-Schroeder私钥协议进行了分析,指出该协议不能满足协议目标,并重新设计了该协议。 相似文献
7.
8.
为了满足现有的工业控制领域对变压器的需求.人们通过改进绕线机控制系统性能来提高变压器的生产率.主要介绍一种基于Modbus协议异步通信下,绕线机控制系统中单片机STC89C516RD+和易泰507触摸屏之间的通信方法.实际使用证明该方法的数据传输稳定可靠,变压器生产量大大提高,深受人们的青昧. 相似文献
9.
10.
ARP协议的描述与TLA验证 总被引:1,自引:0,他引:1
随着计算机网络的发展,网络的安全性日益受到人们的关注.ARP攻击是一种非常专业化的网络攻击方式,它会给网络管理员增加很大的负担,破坏主机数据,窃取主机信息.Lesilie Lamport提出了一种新的逻辑,即行为时序逻辑(TLA)理论体系,运用这种逻辑对软件或协议系统进行建模,在一定程度上减少了由于状态空间爆炸带来的压力,它能在一种语言中同时表达程序与属性.文中介绍了ARP协议,用基于行为时序逻辑TLA的建模语言TLA+对ARP协议进行建模分析.构造了一个ARP欺骗的攻击者模型,用基于TLA的模型检测工具TLC对其进行验证并找出一条攻击者路径. 相似文献
11.
12.
为了获得高可靠和高带宽的通讯平台,设计了CompactPCI高可靠平台。该平台可以对包括主系统板的所有插件提供冗余备份,实现故障自动隔离,备件自动连接,可在不停机的情况下拔插系统板及其它插件。具有99.999%的高可靠性能,在现代通讯、航天、军事等领域具有广阔的应用前景。文中介绍了基于VxWorks实时操作系统下应用CPCI双机热备系统实现串口的高可用性的串口通信。 相似文献
13.
针对某炼铁厂高炉渣粒化监控系统在改造过程中存在新、老设备之间通信协议不兼容、现场设备分散性强的问题,设计了一种基于多种通信协议的高炉渣粒化监控系统。该系统采用多级网络、多协议的数据集成方式:具有ModBus通信接口的现场设备采用Profibus-ModBus协议总线桥完成ModBus RTU到Profibus的数据转换,具有Profibus-DP通信接口的现场设备通过各自的Profibus-DP通信板直接接入DP网络,具有AS-i通信接口的现场设备通过通信处理器将LOGO中的数据集成到Profibus-DP主站中,非智能通信设备通过由ET200M及I/O扩展模块组成的若干个远程I/O从站交换数据;在高炉渣粒化车间建立能够独立运行的过程监控PC站,对整个系统的重要工艺参数进行实时监控;将过程监控PC站的相关数据通过协议转换的方式集成到企业管理层的监控中心PC中。实际应用表明,该系统运行稳定可靠,达到了改造要求。 相似文献
14.
IP可视电话视频会议系统设计与实现 总被引:3,自引:0,他引:3
从H.323协议族和MCU系统的软硬件结构设计出发,讨论了一种基于H.323协议的IP可视电话视频会议系统。它是一个针对特殊需求而设计的嵌入式系统,在网络层采用分组交换技术,以提高网络资源的利用率;硬件采用双板结构,将音/视频编/解码、数据封装等支撑硬件放在母板上,将网络通信等功能放在子板上;板间通信采用了流机制,软件系统采取了数据驱动的方式。上述方案能够为视频会议系统提供高可靠性、低廉的成本以及较好的可移植性,对类似的小型视频会议系统的研究和开发提供了一定的参考价值。 相似文献
15.
一种适用于煤矿安全监控系统的CAN总线应用层通讯协议 总被引:3,自引:1,他引:3
针对煤矿安全监控系统中的CAN总线通讯,提出了一种适用于该系统的应用层通讯协议。通过对CAN2.0B帧结构的分析,根据监控系统的通讯要求对扩展帧的报文标识符的各位进行了定义,用来存放通讯中的控制信息,而8字节长度的数据场可以全部用来存放通讯数据,进而提高了通讯效率。基于管道技术设计了支持多线程通讯的应用层通讯协议,实现了监控系统中的命令和数据并行传输。基于帧号和位图进行数据包的拆分与重组,解决了由于CAN总线本身的短帧结构所造成的大数据量传输困难的问题。最后对通讯过程中的控制协议及其帧格式的构成进行了简要的阐述。 相似文献
16.
主控CPU的功能单板的BSP开发以M PC 860为基础,通讯控制平台中BSP主要用来为各功能单板提供初始化程序,并为板上芯片等硬件设备和通讯口提供设备驱动程序。探讨了通讯接口驱动程序的结构,同时详细讨论了各个子模块的编程和设置,由此实现了BSP。 相似文献
17.
作为一个高性能的外设接口,PCI总线非常适于各类高速外设板卡的开发.为完成实验室中指控计算机与各分系统之间的高速串行通信,设计并实现了基于PCI总线的高速串行通信模拟系统.它主要由高速串行通信板和相应的驱动软件组成,利用通信板上固化的汇编程序初始化设备和实现HDLC协议的通信控制,借助设备驱动开发软件WinDriver,在VC的编程环境下编写了通信模拟系统的驱动控制程序,给出了基于PCI总线的高速串行通信模拟系统的设计与实现. 相似文献
18.
19.
自动化系统中的串行通信协议的设计 总被引:3,自引:0,他引:3
文章提出一种基于开放系统互联模型的串行通信协议结构,讨论了各层协议的功能和实现方法。采用该协议可以设计出简单可靠的串行通信程序,能够满足自动化系统中设备之间的数据通信要求。 相似文献
20.
王博文 《计算机测量与控制》2019,27(8):212-216
RS485通信协议在工业数据通信领域中被广泛采用,它具有组网简单、抗干扰能力强、传输距离远等诸多优势。但RS485通信协议在传输层的实现没有统一标准,需要各个工业厂商自己定义,而大部分厂家采用的是单数据包的询问应答模式,导致信道利用效率低。当数据传输量小的时候,时间成本的浪费并不突出,然而但随着数字智能设备的不断发展,通信数据量的不断增大,RS485协议在实际的应用中也凸现一些弊端,如传输效率低,信道利用率不高等问题。TCP协议是一种面向连接的、可靠的、基于字节流的传输层通信协议。TCP滑动窗口技术是一种成熟可靠的传输层通信协议,它具有差错控制、流量控制、较高的数据传输效率等优势,将TCP滑动窗口技术应用于RS485通信协议必将极大的改善目前工业领域数据通信的现状。 相似文献