民用飞机机载软件分区保证方法研究

随着民用航空机载系统的复杂程度不断增加,综合模块化航电(IMA)架构在机载系统中得到了越来越多地应用。IMA对机载软件架构提出了新的要求,因此软件分区技术在IMA架构中得到了充分应用。本文将通过对机载软件开发过程中分区方法的研究,浅析机载软件分区、分区实现机制以及分区验证方法。