首页 | 本学科首页   官方微博 | 高级检索  
     

SDL在空间通信协议开发中的应用
作者姓名:胡凯  刘成  刘锴
作者单位:北京航空航天大学计算机学院
基金项目:国家航空科学基金资助项目(No.2010ZA04001);国家自然科学基金资助项目(No.61073013)
摘    要:针对空间通信协议开发难度大、代价大的问题,提出了基于协议工程思想利用SDL(规范与描述语言)对SCPS-TP(空间通信协议规范-传输协议)进行开发的方法,包括SDL建模、仿真和验证。首先对SCPS-TP进行了功能分析,确定功能点和状态机,并据此利用SDL建模;接着对模型进行实时仿真,测试其正确性,通过调试保证所有功能通过仿真;最后对模型进行了验证。验证结果表明,SCPS-TP不存在死锁、活锁等逻辑错误,为其在空间通信中的应用提供了有力支持,同时也说明了SDL在空间通信协议开发中的重要应用。

关 键 词:规范与描述语言(SDL)  空间通信  空间通信协议规范-传输协议(SCPS-TP)  形式化协议开发
本文献已被 CNKI 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号