论文部分内容阅读
基于SCADE高安全性的应用开发环境,对城轨联锁软件建模进行了研究,分析了SCADE的数据流图建模、状态机建模方法,利用SCADE对联锁中的主要逻辑模块建模并自动生成C代码。通过实例分析,证明了SCADE平台下的联锁软件设计方法的可行性,及其在联锁软件开发中广阔的应用前景。
SCADE软件在城市轨道交通中的应用
【摘 要】
：
基于SCADE高安全性的应用开发环境,对城轨联锁软件建模进行了研究,分析了SCADE的数据流图建模、状态机建模方法,利用SCADE对联锁中的主要逻辑模块建模并自动生成C代码。通过
【机 构】
：
西南交通大学信息科学与技术学院
【出 处】
：
铁道通信信号
【发表日期】
：
2016年5期
其他文献
新媒体是时代进步的产物,同时是宣传重要的渠道。随着社会的发展,国家顺应时代要求,对基层建设提出新的目标。但因为其进展过程中遇到的各种问题,因此,需要提出新的工作方式
班轮船期表是班轮船公司根据班轮运输业务的需要,对外向托运人等货方发布的关于班轮运输安排的公告、通知。它对于班轮公司和货方顺利完成运输、交货的任务具有重要的作用。
利用龙泉驿区四期的遥感影像数据,借助ENVI遥感软件,获得研究区四期的土地利用/覆被分类图,运用ARCGIS和Excel的运算功能,分析各土地利用类型的相互转化关系,并探讨其用地变
精确新闻报道是指采用现代社会科学研究方法来采写新闻，侧重对其进行宏观的定量描述或解释分析的新闻。这种报道方式侧重于社会调查得来的数据，讲究采用科学的方法研究数据，其一
马克思从劳动产品的异化、生产行为的异化、人与其类本质的异化、人与人的异化4个方面规定了异化劳动,并以"历史之谜"对其进行表征,即物的世界的增值同人的世界的贬值成正比
通过对某矿不同注水压力、不同煤体构造及不同注水时间等因素变化条件下的煤层进行注水试验，对比分析不同掘进工作面、同一掘进工作面不同煤质的注水效果，得出煤的裂隙和孔隙发
镁合金压铸过程中压室预结晶对压铸件最终凝固组织及使用性能具有重要的影响。针对冷室压铸工艺,论述了压铸镁合金凝固组织中压室预结晶组织的研究所取得的成果,包括压室预结
目的：探讨经皮椎体成形术围手术期护理方法。方法：对15倒经皮椎体成形术患者加强围手术期护理。结果：本组手术均成功，无骨水泥渗漏引起的并发症，顽固性疼痛缓解或消失，功能改善或恢
近年来经济环境的变化在收藏品市场造成了显著的推高与滑落现象,艺术品市场与国民经济的联系愈加紧密,艺术品收藏和信托领域出现了新的投资形式,同时也产生了很多问题,相应的
中国社会正在逐步多元冲突常态化的阶段,社会原有的共识体系面临着分化和冲击,对社会的整合作用下降,社会亟需建构新的共识体系。在社会共识建构的众多实践形式中,媒介因其强