基于模型的直升机系统定量需求分解验证

针对直升机系统使用和设计定量需求,提出了一种基于模型的分析、分解、分配和校验方法,有效解决传统基于模型的系统工程仅适用于功能逻辑类需求分析,难以开展量化需求分析的问题。同时,提出了一种逻辑视图模型的实时性仿真方法,攻克“定性-定量”需求模型集成仿真中模型循环运行时间不匹配,造成逻辑和定量分析出错的难题。在多个系统专业上开展了需求建模与仿真实例应用,验证了所提方法的有效性,为直升机系统需求工程提供了新的技术途径。