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

摘要：

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

关键词： GSM系统 形式化描述语言S SDL描述 MSC仿真

作者: 张晓霞 李冬霞

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

会议类型: 国内会议

会议名称: 第三届中国系统建模与仿真技术高层论坛

会议地点: 北京

会议语种:中文

页码: 12-16

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