共查询到15条相似文献,搜索用时 265 毫秒
1.
2.
3.
列车自动防护(ATP)系统是基于通信列车控制(CBTC)系统的重要组成部分.车载ATP在列车运行过程中担负列车安全运行的重要任务,是与安全直接相关的系统,需要高的安全性和可靠性.为了满足车载ATP软件对安全的需求,提出了基于模型的软件开发方法对ATP进行建模.应用SCADE作为开发工具,建立了ATP系统部分功能的模型,说明了SCADE在ATP软件建模上的可行性. 相似文献
4.
5.
CBTC的计算机联锁(CBI)系统是一个复杂且安全性要求非常高的系统,若按照传统的方法进行开发,很难达到其所需要的安全性和可靠性.本文提出基于高安全性应用程序开发环境(SCADE)开发城轨联锁系统软件的方法,能有效解决上述问题.文章主要介绍基于SCADE开发CBI软件的流程,建模方法,形式化验证和代码自动生成的方法. 相似文献
6.
《铁路通信信号工程技术》2017,(3)
对采用SCADE设计既有联锁系统单个模块的方法进行了研究,从数据交互方式、数据结构兼容性、静态数据使用方式和典型结构等方面进行说明和分析,SCADE不仅适用于开发完整系统,在开发既有联锁系统中单个模块的实践中也具备很好的兼容性和适用性。 相似文献
7.
建立一套基于高安全性应用开发环境(SCADE)的梯形图模型库,并基于该模型库提出一种基于SCADE和梯形图的可视化联锁逻辑实现方法。该方法一方面可以使软件开发人员在开发联锁逻辑功能时,以绘制梯形图的方式代替既有的编写代码的方式进行图形化开发。工程技术人员和业主可以直接通过梯形图了解软件实现的联锁逻辑功能,减少人为转换的环节。另一方面在程序开发过程中,还可以直接利用成熟的继电电路设计经验指导程序开发,进一步提高系统功能的正确性和安全性。 相似文献
8.
9.
计算机联锁软件安全性要求高,功能不断扩展,其开发与维护面临的压力日益增大。文章研究高安全性应用程序开发环境(SCADE)及其支持的软件开发过程,依据计算机联锁系统相关技术规范定义的需求规约,尝试利用SCADE进行计算机联锁软件开发。研究实践表明,SCADE是一套较为实用的基于模型的软件工程开发工具,可支持V模型软件开发流程,能够帮助开发人员有效管控软件开发风险,为联锁软件的进一步开发提供参考。 相似文献
10.
陈文赛 《城市轨道交通研究》2018,(4)
测速测距系统是保证列车安全可靠运行的关键设备。通过理论分析与仿真,对测速测距系统的高安全、高可靠性进行了设计和验证,并在此基础上引入SCADE(基于模型驱动的安全开发验证平台)开发方式,完成了系统的实现。该测速测距系统具有高安全性和可靠性,随着车载列车自动防护系统一起通过了SIL4级安全评估,且能实现高精度测速测距功能。该系统已成功应用于哈尔滨地铁3号线一期工程。 相似文献
11.
列车调度软件是ATS系统的核心,以往的ATS系统列车调度软件,按照传统的"V"型软件开发流程进行。由于采用手工编码方式,编码工作量大,实现完整测试非常困难,开发出来的软件安全性和可靠性难以保障。提出了以SCADE作为应用开发环境平台,既能够开发出高质量和高可用的软件,又能缩短开发周期降低开发成本,通过对ATS系统中列车调度软件的分析和设计,说明了基于SCADE的列车调度软件设计方法的可行性,同时,在未来ATS系统软件开发中具备广阔的应用前景。 相似文献
12.
针对列车运行控制(简称:列控)车载设备测试缺乏高效的测试案例辅助管理工具,带来测试需求与测试案例管理不便、测试案例编制效率不高、测试案例统计分析困难等问题,设计了一款列控车载设备测试案例辅助管理工具。以提高测试案例管理效率为目标,建立了工具的总体功能框架,设计与实现了测试需求管理、测试案例辅助编制及管理、测试案例统计分析3大功能模块,构建了测试需求提取、测试案例辅助编制与测试案例分析的一体化测试案例管理流程。以CTCS-2级列控车载设备测试案例管理为例,对工具进行了功能验证。结果表明,采用该工具可以更加方便地管理测试需求和测试案例,提高测试案例编制以及测试统计分析的效率,降低测试过程中人工管理的复杂度。 相似文献
13.
14.
15.
乌鲁木齐城市轨道交通1号线穿越活动断层区域采用的宽枕板是一种新型轨道结构,为验证宽枕板的制造、吊运及其力学特性满足工程需求,对宽枕板进行试制及试验研究。按照先张法预应力结构设计宽枕板,并制定宽枕板试制工艺及型式尺寸检验要求,基于有限元分析方法确定静载试验的检验荷载并进行宽枕板静载抗裂试验。结果表明:按照设计生产工艺制造的宽枕板,其制造误差可以控制在设计允许的范围内,吊运方便且稳定,可以满足工程需求,其静载抗裂特性可以满足工程需求。 相似文献