基于模型的设计安全性至关重要的航空电子系统(亮点)

约翰拉塞尔,BAE系统公司

BAE系统公司电子系统是一个航电系统的领先供应商,航空航天和国防部门。飞行控制计算机、活跃的学位获得者,任务计算机,头盔显示器,平视显示所有需要更高层次的功能比以往任何时候都和复杂性。的结合增加了复杂性和认证要求,从- 178 c和等标准做- 254,需要健壮的和高度自动化的开发过程。

本报告描述其中的一些挑战和它们是如何被克服在BAE系统公司电子系统基于模型的开发过程。