【作者】 李冬霞； 张晓霞；

【Author】 Li Dongxia Zhang Xiaoxia College of Electronic and Information Engineering,CAUC,Tianjin 300300,China

【机构】 中国民航大学电子信息工程学院；

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

【Abstract】 The paper partition system,block,process and procedure of the current GSM system and then formally describe them using formal description language SDL.Taking example by calling procedure of GSM system,the paper researches how to simulation,vali- dation and implementation the GSM system using SDL,and how to analyze correctness of the design together with MSC.As a conclu- sion,the characteristic of software development using SDL is summarized.更多还原