基于模型的安全关键型航空电子系统设计

约翰·拉塞尔，BAE系统公司

BAE系统电子系统公司是航空航天和国防部门航空电子系统的主要供应商。飞行控制计算机、主动感受器、任务计算机、头盔显示器和头视显示器都需要比以往更高水平的功能和复杂性。从诸如DO-178C和DO-254等标准来看，不断增加的复杂性和认证需求的结合，需要健壮的和高度自动化的开发过程。

本报告介绍了BAE系统公司电子系统公司的一些挑战，以及如何通过基于模型的开发流程来克服这些挑战。