基于SDL的GSM系统设计与实现

摘要：

本文采用形式化描述语言SDL对目前仍占主流地位的GSM系统进行了系统、块、进程和过程等分层抽象并对其进行形式化描述。以其中的呼叫过程为例，研究了如何对GSM系统的SDL描述进行仿真、验证与实现，并结合MSC仿真跟踪图，证实设计的正确性。另外，论文还对利用SDL进行实时软件开发的特点进行了总结。

关键词： 形式化描述语言 分层抽象 跟踪图 软件开发 全球通系统

作者: 李冬霞 张晓霞

作者单位: 中国民航大学,电子信息工程学院,天津,300300

会议类型: 国内会议

会议名称: 第十三届全国青年通信学术会议

会议地点: 山东烟台

会议语种:中文

页码: 1385-1389

在线出版日期: 2008-10-31（万方平台首次上网日期，不代表论文的发表时间）