列车TCMS一体化软件开发及验证平台研究

文中研究了列车TCMS一体化软件开发及验证平台。首先研究了TCMS一体化软件开发及验证平台实现策略,选取一款仿真软件作为基础软件进行研究;然后在此软件基础上研究并实现了其作为TCMS软件开发平台所需的功能;同时研究并实现了此软件作为TCMS软件验证平台所需的功能;随后对上述研究的软件开发平台及验证平台的一体化实现进行了研究;最后以某型动车组TCMS在本平台的应用开发和测试验证为例,验证了本平台的可用性和先进性。

数字化核安全级仪控系统软件验证和确认平台的设计与实践

在针对数字化核安全级仪控系统中的软件进行验证和确认(V&V)过程中,为了确保V&V工作可信、有效、高效地开展,构建一个软件V&V平台,支持包括准备、执行和管理等全过程的V&V活动。该V&V平台基于通用数据库,通过集成定制工具与商用工具,来提供V&V工作所需的方法和手段。通过多个核级软件的V&V项目的应用实践,证明该平台对于开展V&V活动发挥了重要作用,使得数字化核安全级仪控系统具有清晰证据支持的高安全性与高可靠性。

基于ARINC661规范的座舱显示软件的测试工具研究和实现

随着航空制造业和电子信息产业的发展与进步,航空电子技术越来越成熟和完善,相应的电子设备也被越来越多的应用到飞机座舱中,座舱显示系统(Cockpit Display System,简称CDS)的设计是否合理已经成为了衡量飞机性能是否完善的重要指标。对基于ARINC661规范的座舱显示软件,现有的验证技术包括验证工具和验证方法,逐渐无法满足其复杂的设计要求。因此,开发一套ARINC661规范的软件验证平台非常重要,本文主要针对该实际需求,研究讨论了基于ARINC661规范的软件验证平台,阐述了平台的架构和实现细节。