Relex Studio软件在计算机联锁系统安全认证中的应用

介绍了Relex Studio软件的基本结构和主要功能,阐述了Relex Studio软件在计算机联锁系统安全认证中的作用,并对其优缺点进行了分析。     

城市轨道交通联调联试总体技术方案设计

在总结麦加轻轨铁路联调联试实践经验的基础上,根据城市轨道交通整体系统功能实现情况,给出城市轨道交通联调联试总体方案.该总体方案为指导城市轨道交通联调联试、优化联调联试测试项目,通过联调联试实现城市轨道交通整体系统性能和功能的优化匹配提供技术支持.     

基于CAN总线的安全智能型I/O模块的设计与应用

分析开发智能化I／O模块的必要性和可行性，并介绍智能化I／O模块的设计思想、实现方法及实际应用。     

AT96DDMR二乘二取二硬件安全冗余平台软件的验证确认

介绍准照SIL4级国际安全认证的要求对AT96DDMR二乘二取二硬件安全冗余平台软件进行的验证确认。验证和确认人员必须要有足够的独立性，验证和确认工作是系统通过国际安全认证的重要环节并且贯穿于软件的整个开发生命周期。在整个软件生命周期的不同阶段所做的验证确认工作侧重点不同，其中主要工作包括文档审查、静态测试、动态测试、软件错误影响分析以及系统最终确认。软件质量的评估作为验证和确认的重要内容，提出对其实施度量的数学模型与判定方法。     

EN50128在铁路信号安全软件测试中的应用研究

随着列车的不断提速,铁路信号系统作为保障机车车辆安全有序作业的重要安全设备,其软件的可靠性和安全性直接影响列车的运行安全,对铁路信号安全软件的测试就显得至关重要。通过借鉴欧洲铁路的安全相关技术,以铁路控制和防护系统软件标准EN50128为指导,重点论述了标准中软件测试各阶段的活动情况及独立性的体现,并对此标准在铁路信号安全软件测试过程中的应用进行了分析和研究。     

浅谈财会人员在公路工程招标工作中的作用

论述了财会人员对公路工程项目投标方进行财务资格审查的方法，并提出了确认承包企业财务资格的标准。