韦彩色 曹云峰

（南京航空航天大学航天学院 南京 210016）

1 引言

随着计算机技术和航空航天技术的快速发展，新一代飞行器任务日益增加，促进了其各系统规模不断庞大，组成结构不断复杂，对系统的设计要求不断提高。有关研究表明，大量系统研制项目的失败是由于不合格的需求信息导致的［1～2］。因此，在系统设计开发的早期，有必要先对系统的需求进行详细分析。

传统的需求工程方法由于基于文档形式而不能进行需求跟踪以及检查各种错误和冲突；而且文档偏向于自然语言的表达方式，容易造成需求表达不充分性和二义性；甚至文档的不可执行性，使得系统需求缺乏必要的验证手段，降低了系统开发效率和质量［3～4］。为解决这些不足，国际系统工程学会（INCOSE）联合对象管理组织（OMG）提出了“基于模型的系统工程”的思想［4］。该思想通过模型从不同角度全面展示系统需求的内容，消除信息表达的二义性，可视性强，修改方便，具有可执行性。

传感器系统是一种涉及电子、机械等多学科领域的复杂系统。它相当于飞行器的感应器官，负责采集飞行器的姿态、高度等信息，是飞控系统等系统做出控制的判断依据。随着新一代飞行器高安全性和高可靠性的要求，使传感器系统变得种类繁多、功能复杂、需求多变［5］。在传感器系统需求分析和验证上，目前的研究大多采用有限元分析、Simulink仿真等方法［6，9］对单个传感器进行分析，无法对系统的需求进行整体分析与集成验证。……