SDL语言

作品数：39被引量：28H指数：3
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：杨放春艾波刘玉璋倪朝陈俊亮更多>>
相关机构：北京邮电大学电子科技大学重庆邮电学院电子部更多>>
相关期刊：《通信学报》《计算机应用与软件》《通信技术》《计算机研究与发展》更多>>
相关基金：国家自然科学基金浙江省自然科学基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
通信软件可重用部件库研究
《电子设计工程》2012年第22期126-129,共4页廖梦怡 何伟娜 李中华 
文中对通信软件的可重用部件库进行研究,结合通信软件部件的特征,提出通信软件部件开发应考虑的附加因素,围绕部件开发的代价和效益目标,提出一种新的部件库设计规范,并建立部件库。
关键词：通信软件 可重用部件库 形式化设计 SDL语言 
基于SDL语言的通信协议软件开发方法
《中国水运（下半月）》2010年第4期73-74,76,共3页潘芸 
分析了SDL语言及SDL系统的基本结构,描述了基于SDL语言的通信协议软件开发模式,提出了SDL与Vxworks系统的集成方法。
关键词：SDL VXWORKS 通信协议 
基于SDL语言的SIP协议的形式化设计
《信息通信》2008年第2期24-26,共3页陈媛媛 梅杓春 
目前SIP协议做为VoIP的应用协议已经变得越来越重要,3GPP R5版本已经选择SIP协议作为3G移动通信多媒体的信令协议。本文利用SDL语言描述了该协议的核心功能,并对系统进行了仿真和验证。
关键词：SIP协议 SDL 形式化 仿真 验证 
基于SDL语言的SIP协议的形式化研究被引量：1
《计算机与数字工程》2006年第7期4-6,10,共4页赵静峰 张力军 
863计划课题(2003AA115420)
会话初始协议SIP作为推荐的Internet会议和VoIP应用层信令控制协议,在RFC中没有严格地给出其行为的形式化模型。介绍了SIP协议,简要阐述了SDL(specification and description language)的基本概念及使用它描述网络协议的优点,并利用SDL...
关键词：SIP协议 SDL 形式化 
基于SDL语言的VxWorks嵌入式操作系统的具体实现被引量：1
《计算机应用与软件》2006年第3期100-102,共3页杨凯 王群生 
随着嵌入式系统通信协议的复杂性急剧提高,迫使工程师们去寻找一种效率更高的设计工具来完成工作,而SDL作为一种图形化的设计满足了这种需要,因此RTOS—SDL相结合的思路应运而生。主要说明了把SDL应用在VxW orks中的步骤和具体实现中遇...
关键词：SDL VXWORKS 
基于SDL的PPP协议软件形式化开发
《浙江理工大学学报（自然科学版）》2005年第3期250-253,共4页宋瑾钰 魏仰苏 
浙江省自然科学基金(M603145)
介绍了形式化描述技术及其SDL语言,并以PPP协议为例,研究了协议的形式化开发的整个过程。重点研究了如何利用SDL语言抽象出PPP协议的系统、块、进程和过程并对其进行形式化描述。
关键词：形式描述技术 SDL语言 PPP协议 
SDL语言动态语义模型的研究被引量：1
《计算机应用》2004年第11期50-51,共2页宋瑾钰 魏仰苏 
浙江省自然科学基金资助项目 (M6 0 3 1 45)
介绍了SDL系统规范,基于通信扩展有限状态机CEFSM的SDL进程。系统最重要的属性是行为,动态语义模型用元进程描述系统可观察的行为。研究了ITUZ.100建议附件F中元进程的划分,提出一种新的元进程定义,并举例描述了SDL系统的动态语义模型。
关键词：SDL 系统规范 通信扩展有限状态机 元进程 
基于SDL语言的移动Ad-hoc网路由协议的设计和验证被引量：1
《计算机科学》2004年第3期31-33,共3页潘红艳 于全 
论文简要阐述了SDL的基本概念及使用它开发通信协议软件的优点,并给出在移动Ad-hoc网路由协议开发中采用SDL语言对路由协议软件进行设计和验证的实例,为通信协议的设计和验证提供了一种有效的方法。
关键词：移动Ad-hoc网路 路由协议 设计 验证 通信协议软件 SDL语言 计算机网络 
如何利用SDL开发TD-SCDMA高层信令被引量：2
《电子技术应用》2004年第2期51-53,共3页罗一静 段红光 
介绍TD-SCDMA系统的UE结构以及根据实际工作经验提出利用SDL开发TD-SCDMA高层信令系统的方法。
关键词：SDL语言 TD-SCDMA系统 高层信令 UE结构 MSC 实时操作系统 系统结构 
SDL语言及其在TD-PRS终端开发中的应用被引量：1
《重庆邮电学院学报（自然科学版）》2003年第2期22-24,共3页贾凤君 宋怀波 郑建宏 
SDL语言是 CCITT推荐的规范与描述性语言 ,由 ITU - T发展和标准化 ,被定义在兰皮书 Z.10 0建议中 ,采用 FSM的概念来描述对象。作为国际标准化的正式语言 ,它被用来规范描述实时系统 ,因此主要论述了规范描述语言 SDL 及其在 TD-
关键词：SDL语言 规范描述语言 有限状态机 TD-SCDMA 通用无线分组业务 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部