某大型航空公司需要开发一个飞行安全关键系统，该系统必须符合严格的航空安全认证标准，需求变更需经过多方审批，每个开发阶段都需要留存详细文档以备审计。最适合采用的软件开发模型是：（ ）。
敏捷方法
瀑布模型
迭代增量模型
原型法
瀑布模型强调严格的阶段顺序性和每阶段的质量保证与文档评审，特别适合安全关键型系统，如航空软件。此类系统需求必须前期明确，过程需严格控制，每阶段完成后进行正式评审，符合瀑布模型的特点。
敏捷方法强调快速响应变化，不适合需要严格认证的安全系统；
迭代模型虽有阶段性，但允许部分功能先实现，安全关键系统通常需要整体验证；
原型法强调快速展示，不符合完整的质量保证需求。