期刊文献+
共找到101篇文章
< 1 2 6 >
每页显示 20 50 100
RASL:嵌入式自动化测试语言 预览
1
作者 刘继华 白凤凤 强彦 《计算机工程与设计》 北大核心 2019年第6期1642-1647,共6页
针对面向信号的测试语言ATLAS2000和面向协议的测试语言TTCN-3的缺陷,设计一种可应用于嵌入式系统软件测试的测试描述语言RASL。详细阐述RASL语言的运行模式、设计思想、模型和程序结构,通过实例验证了该语言在支持嵌入式系统的自动化... 针对面向信号的测试语言ATLAS2000和面向协议的测试语言TTCN-3的缺陷,设计一种可应用于嵌入式系统软件测试的测试描述语言RASL。详细阐述RASL语言的运行模式、设计思想、模型和程序结构,通过实例验证了该语言在支持嵌入式系统的自动化测试的有效性。 展开更多
关键词 嵌入式系统 自动化测试 测试语言 协议描述 实时仿真
在线阅读 下载PDF
基于IEC 60870-5-104规约扩展的配电终端自描述功能实现方法研究 预览 被引量:6
2
作者 徐迅 梅军 +4 位作者 钱超 郑建勇 王勇 稽文路 张明 《电力系统保护与控制》 CSCD 北大核心 2016年第7期128-133,共6页
将IEC 61850标准运用到配电终端的建模中,使原本缺乏描述的数据具备描述信息。为了解决IEC 60870-5-104协议不能传输终端描述信息的问题,分析了几种模型文件映射方法的优缺点,提出了利用104扩展协议传输描述信息的实现方法。参考IEC 608... 将IEC 61850标准运用到配电终端的建模中,使原本缺乏描述的数据具备描述信息。为了解决IEC 60870-5-104协议不能传输终端描述信息的问题,分析了几种模型文件映射方法的优缺点,提出了利用104扩展协议传输描述信息的实现方法。参考IEC 60870-5-104规约的报文格式,设计用于传输装置自描述信息的报文,实现配电终端的自描述功能,并提出基于扩展104协议的终端描述信息更新机制。最终通过国电南瑞配电自动化系统试验论证了该方案的可行性。 展开更多
关键词 IEC61850 IEC60870-5-104 配电终端 信息模型 协议扩展 自描述
在线阅读 下载PDF
一种能耗数据采集协议描述及生成解析方法 预览 被引量:1
3
作者 俞晓华 于凤芹 钦道理 《计算机技术与发展》 2015年第4期130-133,138共5页
针对能耗计量仪表通信协议多标准并存的问题,分析了常用协议的特征,依据程序与数据分离的原则,提出应用三层树形结构来表示协议。采用XML文档作为协议描述文件,通过对描述文件中元素和属性的定义完成了协议描述文件的设计,并应用协议帧... 针对能耗计量仪表通信协议多标准并存的问题,分析了常用协议的特征,依据程序与数据分离的原则,提出应用三层树形结构来表示协议。采用XML文档作为协议描述文件,通过对描述文件中元素和属性的定义完成了协议描述文件的设计,并应用协议帧某些字段的属性建立协议特征库,最后给出了通用协议帧生成与解析的实现方法。测试结果表明,该方法能很好地应用于能耗监管领域DL/T645-1997、DL/T645-2007、CJ/T188协议的描述以及数据采集协议帧的生成与能耗数据的初步解析,具有一定的通用性,避免了重复开发。 展开更多
关键词 能耗数据采集 协议帧 协议描述 协议解析
在线阅读 下载PDF
基于特征关键字的多协议数据流转换方法 预览 被引量:5
4
作者 林霞 蔡声镇 +4 位作者 吴允平 卢宇 关健 吴燕 陈锦凯 《计算机工程》 CAS CSCD 北大核心 2011年第5期 282-284,287,共4页
提出一种基于特征关键字的多协议数据流转换方法,分析基于特征关键字的数据帧格式描述方法,通过将通信协议数据帧格式的描述与数据流的解析转换代码相分离,实现与协议无关的数据流解析和转换。该方法用稳定的程序处理不稳定的数据流,避... 提出一种基于特征关键字的多协议数据流转换方法,分析基于特征关键字的数据帧格式描述方法,通过将通信协议数据帧格式的描述与数据流的解析转换代码相分离,实现与协议无关的数据流解析和转换。该方法用稳定的程序处理不稳定的数据流,避免不同通信协议之间的数据流转换均要编写专用解析转换程序的缺陷,具有较好的灵活性和普适性。 展开更多
关键词 特征关键字 通信协议 数据帧格式 协议描述 数据流转换
在线阅读 下载PDF
基于TCPN的TCP协议形式化描述 预览 被引量:1
5
作者 何中阳 李鸥 +1 位作者 杨白薇 刘洋 《计算机工程》 CAS CSCD 北大核心 2011年第18期 77-80,共4页
提出一种基于赋时着色Petri网模型的TCP协议形式化描述方法。采用序号、确认号和数据3个参数对TCP报文进行更准确的描述,引入时间参数以便进行协议的性能评估,加入超时重传、流量控制和确认信息捎带传输等机制,使模型更符合协议的实际... 提出一种基于赋时着色Petri网模型的TCP协议形式化描述方法。采用序号、确认号和数据3个参数对TCP报文进行更准确的描述,引入时间参数以便进行协议的性能评估,加入超时重传、流量控制和确认信息捎带传输等机制,使模型更符合协议的实际运行规程。通过CPN Tools对模型进行动态模拟,仿真结果证明了该模型的正确性。 展开更多
关键词 TCP协议 赋时着色PETRI网 形式化描述 有界性 活性
在线阅读 下载PDF
EPA互操作测试软件的研究与实现 预览 被引量:1
6
作者 刘娟 关学进 梁孟芹 《电子测试》 2011年第2期 5-10,共6页
EPA互操作测试软件基于EPA通信规范与EPA互操作测试规范,为了确保各厂家所开发的EPA设备能够实现互操作而开发的测试软件。研究了EPA设备进行互操作测试的方法,阐述了EPA互操作测试软件的实现技术,着重介绍了主要模块的实现方案以及... EPA互操作测试软件基于EPA通信规范与EPA互操作测试规范,为了确保各厂家所开发的EPA设备能够实现互操作而开发的测试软件。研究了EPA设备进行互操作测试的方法,阐述了EPA互操作测试软件的实现技术,着重介绍了主要模块的实现方案以及详细设计。实验证明,开发的EPA互操作测试软件能够有效并可靠地测试不同厂家的网络设备,从而使得各厂家开发的EPA设备能够满足实际应用中的互操作需求,具备现场总线的互操作特点。 展开更多
关键词 互操作测试 EPA协议 现场总线 设备描述
在线阅读 下载PDF
基于RSL的协议形式化描述与验证方法 预览 被引量:3
7
作者 顾翔 邱建林 邵浩然 《计算机工程》 CAS CSCD 北大核心 2009年第23期 41-43,共3页
讨论使用RAISE规范语言(RSL)描述6种协议元素的方法。在RSL描述的基础上,借助操作符的运算规则、并行扩展规则和同步会合事件隐藏规则,对协议的相关性质进行验证,以一个简化的停止等待协议规范的描述和验证实例证明,与其他形式化... 讨论使用RAISE规范语言(RSL)描述6种协议元素的方法。在RSL描述的基础上,借助操作符的运算规则、并行扩展规则和同步会合事件隐藏规则,对协议的相关性质进行验证,以一个简化的停止等待协议规范的描述和验证实例证明,与其他形式化方法相比,RSL表现出较强的描述能力。 展开更多
关键词 协议工程 形式化描述 RAISE规范语言 协议验证
在线阅读 下载PDF
改进身份认证协议的形式化描述与验证 预览
8
作者 梁爽 吴晓艳 王怀江 《计算机工程与设计》 CSCD 北大核心 2009年第13期 3075-3077,共3页
以前用着色Petri网验证协议,大多只验证了其正确性,采用着色Petri网对自行设计的基于PKI的动态身份认证系统的安全性进行了描述和验证;一般在使用传统1-可达性分析方法分析复杂身份认证协议时,会存在状态空间爆炸的问题。为了有效地解... 以前用着色Petri网验证协议,大多只验证了其正确性,采用着色Petri网对自行设计的基于PKI的动态身份认证系统的安全性进行了描述和验证;一般在使用传统1-可达性分析方法分析复杂身份认证协议时,会存在状态空间爆炸的问题。为了有效地解决该问题,提出了一种用1-可达性分析方法和向回分析方法相结合的策略,对该身份认证协议进行了分析,从而验证了该身份认证协议是安全的。 展开更多
关键词 身份认证协议 PETRI网 可达树 可达性分析 安全性 形式化描述
在线阅读 下载PDF
基于着色Petri网的TCP协议的形式化描述及验证 预览
9
作者 李菲 《现代计算机:下半月版》 2009年第6期 49-52,共4页
根据着色Petri网的建模的方法和工具CPNT001.对TCP协议的连接建立模块建立了着色Petri网模型。得到了可达树,通过可达树的方法对协议模型的正确性进行验证。
关键词 TCP协议 着色PETRI网 形式化描述 可达树
在线阅读 免费下载
基于输入/输出动作的协议形式化描述和测试用例生成方法 预览 被引量:1
10
作者 顾翔 邱建林 严燕 《计算机应用》 CSCD 北大核心 2008年第6期 1471-1474,共4页
通信协议的形式化描述及在其基础之上的协议测试用例生成,一直是协议工程的重要研究内容。为此尝试将RSL引入协议形式化描述:首先探讨了一种基于输入/输出动作模型的协议形式化描述方法;随后对基于RSL描述的协议测试技术展开了讨论,提... 通信协议的形式化描述及在其基础之上的协议测试用例生成,一直是协议工程的重要研究内容。为此尝试将RSL引入协议形式化描述:首先探讨了一种基于输入/输出动作模型的协议形式化描述方法;随后对基于RSL描述的协议测试技术展开了讨论,提出了一种基于输入/输出动作的协议测试序列生成法则以及基于此法则的测试用例生成方法,并对使用该方法生成的测试用例的性质进行了讨论。 展开更多
关键词 协议测试 形式化描述 RAISE规范语言
在线阅读 下载PDF
基于ESTELLE的网络协议建模方法 预览 被引量:2
11
作者 李国庆 安建平 杨杰 《电子学报》 EI CAS CSCD 北大核心 2007年第4期 743-746,共4页
协议形式化描述工具ESTELLE和网络仿真工具OPNET的建模过程都是基于有限状态机的原理,本文在此基础上,采用OPNET进程树机制实现LSTELLE模块嵌套结构,采用OPNET的进程建模方法实现LSTELLE中EFSM的建模,并利用这种方法对MILSTD188—2... 协议形式化描述工具ESTELLE和网络仿真工具OPNET的建模过程都是基于有限状态机的原理,本文在此基础上,采用OPNET进程树机制实现LSTELLE模块嵌套结构,采用OPNET的进程建模方法实现LSTELLE中EFSM的建模,并利用这种方法对MILSTD188—220C协议进行建模. 展开更多
关键词 协议建模 形式描述 有限状态机
在线阅读 下载PDF
RSL在协议形式化描述中的应用研究 预览 被引量:3
12
作者 顾翔 邱建林 蒋峥峥 《计算机应用》 CSCD 北大核心 2007年第9期 2236-2238,共3页
将RSL引入协议工程,探讨了对协议进行形式化描述的一条新途径。为RSL扩充了时间描述机制,讨论了基于两类基本模型(状态模型和进程模型)的协议描述方法及一般描述步骤。以示例方式给出了RIP路由简化算法的RSL形式化描述。与其他方法相... 将RSL引入协议工程,探讨了对协议进行形式化描述的一条新途径。为RSL扩充了时间描述机制,讨论了基于两类基本模型(状态模型和进程模型)的协议描述方法及一般描述步骤。以示例方式给出了RIP路由简化算法的RSL形式化描述。与其他方法相比,扩充后的RSL描述能力强,描述手段灵活,能更有效地支持验证、测试等后续阶段的工作。 展开更多
关键词 协议工程 形式化描述 RSL
在线阅读 下载PDF
继电保护及故障信息系统的分级体系 预览 被引量:1
13
作者 刘之尧 刘正超 杜杨华 《广东电力》 2006年第12期 44-46,55,共4页
从继电保护及故障信息系统的建设和维护需要出发,提出了一种系统分级的体系结构,结合已经完成一期建设的广东省继电保护及故障信息系统,对谊分级体系的技术结构进行了介绍,并就分级体系对通信协议、信息描述以及产品功能的特性要求... 从继电保护及故障信息系统的建设和维护需要出发,提出了一种系统分级的体系结构,结合已经完成一期建设的广东省继电保护及故障信息系统,对谊分级体系的技术结构进行了介绍,并就分级体系对通信协议、信息描述以及产品功能的特性要求进行了具体分析。 展开更多
关键词 继电保护及故障信息系统 分级体系 通信协议 信息描述 免维护
在线阅读 下载PDF
网络协议形式化模型的分析与应用 预览 被引量:1
14
作者 张广泉 黄正宝 戎玫 《计算机工程与应用》 CSCD 北大核心 2005年第23期 121-124,共4页
网络协议的形式化模型是协议分析和设计的核心技术之一。论文在简要分析当前的几种常用网络协议形式化模型之后。指出时序逻辑作为网络协议形式化模型的独特优越性,然后给出用一种线性时序逻辑MPTL描述IGMP协议的具体实例。
关键词 网络协议 形式化模型 时序逻辑 协议描述 IGMP协议
在线阅读 下载PDF
网络协议描述和验证技术的分析与比较 预览 被引量:2
15
作者 冷淑霞 徐涛 《山东理工大学学报:自然科学版》 CAS 2004年第2期 8-11,共4页
随着计算机网络与分布式系统的发展,通信协议的设计和实现的复杂性的增加导致了协议程技术的出现.讨论协议形式描述与验证技术的目的与方法,重点介绍了基于FMS、通信演算系统以及Petri网协议验证技术的特点及其优点.
关键词 网络协议描述 协议工程 协议形式描述 协议验证 PETRI网 通信协议
在线阅读 免费下载
面向对象的嵌入式电力通信规约适配器的设计与实现 预览
16
作者 李洪波 崔建国 翟金刚 《沈阳工程学院学报:自然科学版》 2004年第2期 24-26,共3页
论述了嵌入式电力通信规约适配器设计的必要性与可行性.运用面向对象的开发方法提出了设计与实现该规约适配器的核心思想--由统一格式的规约说明书生成通信规约控制块来控制不同规约的运行.
关键词 适配器 规约说明书 动态描述 静态描述 逻辑描述
在线阅读 下载PDF
使用构造类别代数描述和验证密码协议 预览
17
作者 刘政 赵保华 屈玉贵 《通信学报》 EI CSCD 北大核心 2004年第3期 91-96,共6页
密码协议必须满足安全属性的需求,对密码协议进行形式化规范需要证明其满足该属性.传统的方法或者不利于验证,或者不利于描述.本文在构造类别代数中引入时序算子,对密码协议以及协议的入侵者进行建模,在此基础上利用时序逻辑推导协议应... 密码协议必须满足安全属性的需求,对密码协议进行形式化规范需要证明其满足该属性.传统的方法或者不利于验证,或者不利于描述.本文在构造类别代数中引入时序算子,对密码协议以及协议的入侵者进行建模,在此基础上利用时序逻辑推导协议应该满足的安全属性.通过在Equicrpt协议上的应用,说明了这是一种解决密码协议描述和验证的行之有效的方法. 展开更多
关键词 密码协议 构造类别代数 形式化描述 协议验证
在线阅读 下载PDF
变电站设备主从式通信规约分析及其实现方案 预览 被引量:3
18
作者 李洪波 《电力系统通信》 2004年第5期 31-33,共3页
对变电站设备的主从式通信规约进行了分析.在此基础上,提出了其通用规约模板的实现方案--由规约说明书生成通信规约控制块CPCB,来控制不同规约的运行.
关键词 变电站 监控系统 主从式通信规约 电力系统 自动化系统
在线阅读 下载PDF
移动IPv6测试中的层次化协议描述和测试生成方法 预览 被引量:4
19
作者 张玉军 李忠诚 《电子学报》 EI CAS CSCD 北大核心 2004年第F12期 30-34,共5页
移动IPv6协议是一种庞大的分布式协议,这为协议描述和测试生成带来了困难.提出分层次描述协议的思想,定义了描述协议的有限状态机和多节点有限状态机模型,分四个层次分别对协议运行流程、协议节点类型、内部数据结构处理、离散功能... 移动IPv6协议是一种庞大的分布式协议,这为协议描述和测试生成带来了困难.提出分层次描述协议的思想,定义了描述协议的有限状态机和多节点有限状态机模型,分四个层次分别对协议运行流程、协议节点类型、内部数据结构处理、离散功能进行了形式化描述.把描述协议的状态机模型转化为有向图,设计了针对有向图的测试序列集产生算法,最终生成了覆盖整个移动IPv6协议的测试序列集. 展开更多
关键词 移动IPV6 一致性测试 协议描述 测试生成
在线阅读 下载PDF
串空间方法分析协议公平性的研究 预览 被引量:3
20
作者 王涛 郭荷清 姚松涛 《计算机工程与应用》 CSCD 北大核心 2004年第35期 17-21,52,共6页
探讨了将串空间模型应用于描述安全协议公平性的方法,并提出串空间模型描述公平协议的一些问题。分析了在描述公平协议时,串空间模型需要进行的几个扩展,包括:描述协议步骤在什么情况可以执行的扩展;描述协议执行过程中角色动态分... 探讨了将串空间模型应用于描述安全协议公平性的方法,并提出串空间模型描述公平协议的一些问题。分析了在描述公平协议时,串空间模型需要进行的几个扩展,包括:描述协议步骤在什么情况可以执行的扩展;描述协议执行过程中角色动态分配的扩展;描述协议步骤同步执行的扩展。应用扩展后的串空间模型对KM协议进行了形式化描述。 展开更多
关键词 安全协议 公平性 串空间 形式化描述
在线阅读 下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部 意见反馈