基于SCADE的计算机联锁软件开发研究

计算机联锁软件安全性要求高,功能不断扩展,其开发与维护面临的压力日益增大。文章研究高安全性应用程序开发环境（SCADE）及其支持的软件开发过程,依据计算机联锁系统相关技术规范定义的需求规约,尝试利用SCADE进行计算机联锁软件开发。研究实践表明,SCADE是一套较为实用的基于模型的软件工程开发工具,可支持V模型软件开发流程,能够帮助开发人员有效管控软件开发风险,为联锁软件的进一步开发提供参考。     

软件开发费用的计算方法

软件开发费用预测是近20年来非常活跃的一个计算机科学和管理科学的分支,本文详细地论述了目前常用的软件开发费用估算的方法——摸拟法,代码行(LOC)技术、任务分解技术和Halstead方法估算模型,并指出了实际估算举例及应注意的问题。     

软件配置管理在软件开发中的应用

软件配置管理作为软件开发过程的必要环节和软件开发管理的基础,支持和控制着整个软件生命周期.介绍了实施软件配置管理在软件开发活动中的重要性,如何选取软件配置管理工具和在软件配置管理活动中采取的策略、以及实施中要注意的问题.     

铁路信号IFC国际标准的研究与制定

介绍IFC国际标准的制定过程,论述铁路信号IFC国际标准的研究内容和研究方法,包括铁路信号IFC国际标准工作范围确定、IFC分解方式研究、共享构件和通用模式研究、用例确定、数据需求分析,以及IDM、MVD等IFC相关内容研究;针对各项研究内容,提出铁路信号IFC国际标准的实现方法和流程,分析研究过程中容易出现的问题和解决办法,从根本上解决了目前IFC标准在铁路信号领域的缺失问题。研究表明,本文论述的IFC标准研究内容和方法不仅适用于铁路信号领域,同时也适用于其他铁路工程领域,可以为今后铁路工程BIM实施标准的制定、铁路BIM软件的研发以及铁路BIM应用研究等提供参考。此外,本文研究制定的IFC国际标准将中国铁路相关标准与国际标准接轨,研究成果将成为国际BIM应用最重要的标准之一,为中国铁路"走出去"战略打下基础。     

城市轨道交通供电系统仿真软件开发研究

讨论了城市轨道交通供电系统仿真软件开发的原则,对软件所涉及的主要元件如整流器、机车、接触网等分别建模.采用交直流混和潮流计算,能动态反映交流系统、直流系统、机车系统的相互影响.改进了地网络模型,考虑了地质结构对轨道电位、杂散电流的影响.     

目前常用的软件开发方法及应用

软件工程是研究软件的开发方法和技术，目的在于提高软件的生产效率，改善软件的质件，研制计算机应用系统。知识性地介绍了软件开发的方法面向数据流、面向数据结构和面向对象设计方法的基本观点，模块结构及其在铁路物资系统的应用范例。     

网络控制应用开发软件合格性测试浅析

按照网络应用开发软件的高可靠性要求,阐述了软件测试流程与软件测试用例设计方法等方面的内容,并对测试实践经验加以总结。通过网络控制应用开发软件合格性测试,软件可靠性得到有效保证。     

基于SCADE需求分析和用例设计在新型列控系统RMU子系统的应用

针对新型列控系统(C4D-I)的地面核心设备(Resource Manage Unit,RMU)是没有明确技术规范的创新产品,提出基于SCADE需求分析和用例设计方法,该方法以SCADE architect模块为依托,对需求和用例进行建模.该方法避免传统人工进行需求分析带来的需求不完整、模糊和缺失等问题;同时为用例设计...     

基于领域驱动设计的软件开发方法和实例分析

研究了企业级应用系统开发的现状,明确采用基于Web的多层架构体系(如ASP.NET)来进行企业级应用开发,分析数据库驱动设计方法在Web应用开发中存在的缺点,引入领域驱动设计方法,介绍了领域驱动设计方法的开发模式,并结合动态表单的设计中实例,完成系统的分层架构和领域建模,解决基于数据库驱动设计方法的Web应用开发存在的诸多问题,使系统获得很好的扩展性和可维护性.     

基于统一过程原则的软件自动化测试研究

软件自动化测试以较高的效率,广泛的覆盖率,成为测试行业的主流.介绍统一过程(RUP)和自动化测试及手工测试,总结目前自动化测试过程中存在的主要问题.重点分析在RUP原则的指导下,如何解决这些问题,实现测试自动化,从而高效率地进行软件测试,促进软件自动化测试的发展.     

软件开发部门实施软件能力成熟度模型的研究

软件是未来铁路综合信息系统的核心,而铁路软件开发部门的规范化则是铁路软件质量的保证.CMM是目前国内外软件开发流程的规范化模型,结合铁路目前软件开发的现状,给出了将CMM模型运用到铁路软件开发过程的一系列方法.     

软件快速开发平台技术研究与应用实践

为解决快速将业务逻辑固化和转换成可执行的代码、确保快速开发平台产出的代码高效的执行、保持相对的灵活性和扩展能力等问题,从该类平台的设计理念、功能组成、架构模型、应用技术等诸多方面,综合业内平台产品的具体实践,对平台应用的关键问题进行剖析,同时对商业化平台产品进行对比分析,总结该类平台应用的特点。最后基于“构件+机制”运行期模型驱动的平台产品,结合实际应用项目实践,验证其较高的开发效率和构件可复用等特点优于传统开发模式。     

企业应用软件开发安全体系的构建

针对企业应用软件设计与开发过程中所需考虑的安全性问题,构建一套企业内部适用的应用软件开发安全体系.通过剖析企业应用软件常见漏洞防护技术,依照应用软件开发生命周期流程,从设计安全、编码安全、过程管理安全等方面重新梳理、补充企业应用软件开发安全体系的框架.考虑体系框架下对应安全要求,为了方便指导应用软件设计人员、代码开发人...     

铁路软件可靠性增长模型应用研究

分析G-O、Delayed S-shaped、Ohba-Chou及P-N-Z等4个软件可靠性增长模型的特点及适用场景,研究软件失效数据集的可靠性增长趋势分析方法和评价指标,提出一种可靠性增长模型参数计算的优化算法,在理论研究的基础上设计并实现了一款软件可靠性增长模型分析工具(SRGM Tool)。以铁路联锁软件记录的失效数据集为例,研究铁路软件可靠性增长模型应用方法,借助SRGM Tool,运用4种模型对铁路联锁软件进行可靠性评估,根据实验结果,分析并确定了一种适合该软件的可靠性增长模型,验证了方法的有效性,可为铁路软件可靠性分析和故障预测提供参考。     

城轨车辆防磁板屏蔽效果研究及仿真软件开发

文章介绍了城轨车辆电抗器的电磁模型,对防磁板的屏蔽效果进行理论分析,使用虚拟仪器设计软件LabWindows/CVI,设计了一套城轨车辆滤波电抗器防磁板屏蔽计算仿真软件.并通过选取城轨车辆进行测试,得到很好的效果.     

铁路应用软件开发需要解决好的几个问题

随着信息技术应用的日益普及和深化,计算机软件的作用越来越重要,已成为整个系统的中枢,计算机软件规模越来越大,复杂程度也越来越高.传统的开发方式已不能满足软件生产的需要,软件开发过程中出现的一些问题,直接影响到软件的质量和应用效果,引起了人们的高度关注,为此,制定了一系列软件工程标准和方法.本文根据铁路应用软件开发工作实际,结合学习软件工程标准,就影响软件开发质量的几个突出问题进行探讨,以引起大家的关注,共同研究解决这些问题,提高铁路应用软件开发质量.     

高速列车电气系统布线数据处理软件研发与应用

分析总结高速列车电气系统布线数据分布规律,设计出数据文件载入算法、一次数据拣选算法、二次数据拣选算法及处理结果唯一性校验算法;开发出布线数据处理软件,可对由电气原理图导出的整车布线数据进行数据分类、整合及拣选处理,使得耗时费力的人工数据预处理工作由布线数据处理软件正确高效地完成.     

基于SCADE的城轨联锁软件开发方法的研究

CBTC的计算机联锁(CBI)系统是一个复杂且安全性要求非常高的系统,若按照传统的方法进行开发,很难达到其所需要的安全性和可靠性.本文提出基于高安全性应用程序开发环境(SCADE)开发城轨联锁系统软件的方法,能有效解决上述问题.文章主要介绍基于SCADE开发CBI软件的流程,建模方法,形式化验证和代码自动生成的方法.     

信号平面布置图参数化设计软件的研究与开发

城市轨道交通正线室外信号平面布置图是编制后续信号系统图纸的基础。为提高信号平面布置图的设计效率和质量,调查分析全国各地城市轨道交通信号工程项目中平面布置图的不同设计要求,研究开发信号平面布置图参数化设计软件。该设计软件为设计人员提供简单易用的图形化交互式操作界面,无需安装AutoCAD环境即可实现DWG文件的创建和读写;通过参数化设计,将信号平面图的不同构成要素抽象定义为各种参数化模板,既可实现对不同的图形符号、设备编码规则等差异化设计要求的兼容,也为设计人员提供了快速设计信号平面布置图的设计构件;此外,其底层数据可支持电缆径路图、工程数量统计等扩展功能的开发。该软件已在多个城市轨道交通信号工程设计项目的应用,可满足不同设计要求,显著加快设计进度,减少人为差错。