基于模型的系统工程在民机领域的应用 (2012年)

介绍了在民用飞机系统顶层设计中基于模型的系统工程方法的应用。该流程由需求分析、功能分析和设计综合阶段构成。对每一个用例的功能分析中得到活动图、顺序图和可执行的状态机。执行状态机可验证需求的符合性,同时形成系统功能和非功能性需求。储存在数据库中的需求逐条与模型元素建立链接关系,保证可追溯性。黑盒模型完成之后,将功能与流程分配系统架构中,形成子系统白盒模型和子系统接口。相比传统设计方法,该流程更好地保证了系统可测试性、可追溯性和功能的完整性。