4) Protocol proof and analysis
协议证明和分析
5) protocol verification
协议验证
1.
Analysis and comparation on the protocol verification of computer network;
基于不同形式化模型的网络通信协议验证技术的分析与比较
2.
The purpose and method of protocol verification are expounded,and the protocol verification and its characteristics and strongpoint based on FMS, CCS model and Petri nets are introduced.
讨论协议形式描述与验证技术的目的与方法,重点介绍了基于FMS、通信演算系统以及Petri网协议验证技术的特点及其优点。
3.
The basic concepts of protocol specification and verification are presented briefly, and the basic ideas are given by means of examples with respect to the construction of specifications for implementation and protocol verification.
简要说明了协议描述和验证的基本概念，示例性地介绍构造实现描述和协议验证的基本思想，最后以Ｐｅｔｒｉ网形式给出了ＡＢ协议一例。
6) protocol validation
协议验证
1.
Combining CPEBSDL, Petri nets reachable marking graph, and Petri net process, this paper proposes an approach named PMA_CPEBSDL that can automatically construct a Petri nets model for communication protocol, presents some methods of protocol validation and test.
结合一个实例,给出LAPD协议完整的建模过程及协议验证和测试的方法。
补充资料：四种工业以太网协议分析
1． Ethernet IP：此种工业以太网采用有源交换器，用来实现现场总线及其设备与以太网的无缝连接。另外，以太网为星行结构，有利于方便简单的接线和维护等工作的进行。在其星行结构中，采用通信组件，使其可以兼容Rockwell的现场总线设备。而Ethernet IP的通信模型也有其自身特点：在第一层至第四层上，采用Ethernet 802.3协议，之上采用TCP/IP，而在用户层上，采用CIP规范，使Control Net, Device Net 和Ethernet 共享用户层和应用层。
2． FF HSE(High Speed Ethernet) ：这是由FF基金会推出的一种以太网构架。HSE采用星行构架，并采用交换器连接FF的现场总线装置，实现无缝操作。其中的交换机还有防火墙作用，能有效抵抗干扰。此种以太网最重要的优点是实现了各种级别的冗余功能，保证了网络的可靠性。其通信模型的低层采用Ethernet TCP/IP协议，用户层和应用层则可由现场总线和HSE共用。
3． PROFI NET ：是由西门子提出的以太网构架。由于西门子倡导保护过去投资，故其PROFINET的推出充分考虑了与PROFIBUS 的兼容性，实现了两者的无缝连接。而在通信模型中，PROFINE最大的特点是在其用户层是基于组件的，而依靠工程设计模型实现了组件的连接，从而系统中便可接入多个供应商的设备。
4． IDA 与上述3个架构不同，IDA则采用了从设备底层到高层的完全工业以太网构架，这是依靠Mod Bus实现的。
2． FF HSE(High Speed Ethernet) ：这是由FF基金会推出的一种以太网构架。HSE采用星行构架，并采用交换器连接FF的现场总线装置，实现无缝操作。其中的交换机还有防火墙作用，能有效抵抗干扰。此种以太网最重要的优点是实现了各种级别的冗余功能，保证了网络的可靠性。其通信模型的低层采用Ethernet TCP/IP协议，用户层和应用层则可由现场总线和HSE共用。
3． PROFI NET ：是由西门子提出的以太网构架。由于西门子倡导保护过去投资，故其PROFINET的推出充分考虑了与PROFIBUS 的兼容性，实现了两者的无缝连接。而在通信模型中，PROFINE最大的特点是在其用户层是基于组件的，而依靠工程设计模型实现了组件的连接，从而系统中便可接入多个供应商的设备。
4． IDA 与上述3个架构不同，IDA则采用了从设备底层到高层的完全工业以太网构架，这是依靠Mod Bus实现的。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条