论文部分内容阅读
结合ＡＴＭ１０Ｇ交换机的网络信令的研发过程，介绍了形式化描述语言（ＳＤＬ）在嵌入式操作系统Ｖｘｗｏｒｋｓ上的软件开发，主要内容扬工具介绍（Ｏｂｊｅｃｔ Ｇｅｏｄｅ ＆ Ｖｘｗｏｒｋｓ）、ＳＤＬ用于软件的开发过程，仿真和验证，。代码生成和可执行代码下载到目标机执行几个部分。
形式化描述语言（SDL）在嵌入式操作系统Vxworks上的软件开发
【摘 要】
：
结合ＡＴＭ１０Ｇ交换机的网络信令的研发过程，介绍了形式化描述语言（ＳＤＬ）在嵌入式操作系统Ｖｘｗｏｒｋｓ上的软件开发，主要内容扬工具介绍（Ｏｂｊｅｃｔ Ｇｅｏｄｅ ＆ Ｖｘｗｏｒｋｓ）、ＳＤＬ用于软件的开发过程，仿真和验证，。代码生成和可执行代码下载到
【机 构】
：
信息产业部电子第54研究所
【出 处】
：
无线电通信技术
【发表日期】
：
2000年6期
其他文献
为了在集装箱码头完成3C（Computer，Communication and Contro1）之后，进一步提高生产效率，天津港集装箱码头有限公司利用高科技手段，制订了一系列新的工艺。介绍了诸如“双箱装卸同
安徽工业大学附属中学始建于1968年4月,前身是马鞍山市第八中学。2001年9月更名为“安敏工业大学附属中学”。2006年7月被省教育厅评定为省示范高中。
目的 探讨640层CT血管成像（CTA）在腹腔镜肾癌根治术中的应用价值。方法 收集我院65例行腹腔镜肾癌根治术的患者,随机分成640层CTA的检查组33例、未检查CTA的对照组32例,比较两
通过田间试验研究一次性施肥条件下控释尿素不同条施深度（0,5,10,15cm）对鲜食玉米产量、干物质积累变化、氮素利用率和土壤无机氮含量的影响,为控释尿素在鲜食玉米上的应用推广
利用二维亥母霍兹方程的本征值与本征函数关系的重要性质，简化了适用于解均匀柱波导内电磁场的并矢格林函数的通用式，概念简明清晰并且便于实际应用。
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
会议
主要介绍了ATM交换机控制管理系统软件的功能及结构,着重讨论了控制管理系统的外部接口和内部各功能模块的实现方法及交换机主备切换的设计实现.
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
在科技论文的发表过程中,退修是非常重要的一个环节,但目前在这一环节中还存在许多需要重视的问题。从与退修工作相关的审稿专家、编辑和作者三方面分析影响退修效率的主要因