安全关键系统配置数据生成技术研究与实践

介绍一种符合EN50128-2011的安全数据生成方法,包括2个步骤:数据生成工具的开发和安全数据的生成.数据生成工具的开发采用双链工具法,由2个独立的团队开发,每链工具的开发符合EN50128-2011对SII2软件的开发要求.数据生成过程定义了生成、验证以及确认等活动,每一项活动保证人员的独立性,既避免了安全问题,又提高了配置数据生成的效率.

民机RDCU安全关键配置数据生成技术研究

在民机综合模块化航电系统(IMA)中,远程数据转换单元(RDCU)为航电平台提供I/O处理与数据整合功能。针对RDCU需满足灵活配置、可互换的需求,提出一种符合D0-297标准的RDCU安全关键配置数据生成方法,结合DO-178C工具鉴定准则设计并实现基于多线程的配置数据生成工具,为国产民机IMA系统研制提供技术支撑。