摘要

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