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