目前航空发动机全权限数字电子控制(FADEC)技术正快速发展，控制系统开发过程中产生的信息大多以文档的形式来描述和记录，随着控制系统复杂性的提高，带来了控制系统开发过程中产品数据一致性、数据的可追溯性等方面的挑战。为应对这些挑战，基于模型的系统工程方法论(MBSE)已逐渐应用于数控系统的开发，该方法论利用图形化语言生成和记录与要求、设计、分析、确认和验证有关的详细信息，它为系统工程人员提供了一种以系统建模语言(Systems Modeling Language, SysML)作为系统建模规范的手段，以构建需求模型、功能模型、架构模型，实现需求、功能到物理架构的分解和分配，并通过模型的执行，实现系统需求和功能逻辑的确认和验证，并在流程执行过程中实现需求的跟踪管理。控制软件设计对发动机的控制品质、控制系统的研制周期及控制系统的可靠性都起着决定性作用，软件需求分析作为软件生命周期的第一个阶段，贯穿于整个软件生命周期，需求分析把分配到软件的系统需求开发为软件高层需求(HLR )，它包含了软件的功能要求、性能要求、执行时间和内存上的约束、软硬件之间的接口等内容，其目的是得到一个正确、一致并且无二义的需求规约，并将此规约作为后续开发、验证及系统演化的基础。DO-178C中对于高层需求的开发规定:高层需求应符合软件需求标准，且可验证，应分析分配给软件的系统功能需求和接口需求，消除需求的二义性，因此需要在需求分析阶段对需求进行详尽的测试，以节省开发成本，提高开发效率。