1.一种基于目标的信息物理融合系统软件需求分析方法，其特征在于，包括以下步骤：明确用户需求：分析用户需求所引用的可观测现象以及期望实现的可控现象，建立现象间的因果关系式来表达用户的需求；

推理软件需求：从用户的需求出发，以目标分解为策略，推理分析构成信息物理融合系统所需的软件实体、物理实体以及软件实体和物理实体应具有的性质；

验证用户需求的可满足性：验证基于所识别的软件实体和物理实体的性质用户的需求能否得到满足。

2.根据权利要求1所述的基于目标的信息物理融合系统软件需求分析方法，其特征在于，在明确用户需求步骤中，建立可观测现象到可控现象之间的因果关系式进一步包括：基于用户对信息物理融合系统的需求表达的是当可观测现象发生时使得可控现象发生，将用户需求表达为现象之间的因果表达式。

3.根据权利要求1所述的基于目标的信息物理融合系统软件需求分析方法，其特征在于，推理软件需求的步骤具体为：从用户对信息物理融合系统的需求出发，采取面向目标的策略，对用户需求进行推理分析，并在此过程中分析构成信息物理融合系统的物理实体和软件实体，建立信息物理融合系统的结构模型以及反映物理实体性质、软件实体需求以及它们与用户需求之间关系的目标模型

4.根据权利要求3所述的基于目标的信息物理融合系统软件需求分析方法，其特征在于，推理软件需求的步骤进一步包括：首先，采用目标模型的相关概念和符号，利用模型中的目标概念来表达用户需求，利用任务概念来表达软件实体的需求，利用领域假设概念来表达物理实体的性质；

其次，利用现象因果关系式这一方式来表达目标、任务以及领域假设；

第三，从用户需求的每个因果关系式出发，采用问题转换和问题分解、由可观测现象和可控现象向中间逼近的策略来对用户需求进行目标分解。

5.根据权利要求4所述的基于目标的信息物理融合系统软件需求分析方法，其特征在于，问题转换是指通过引入部分解决方案来将一个问题转换为另外一个问题，使得原始问题更小、更容易解决；

问题分解是指将一个问题分解为一组子问题。

6.根据权利要求1所述的基于目标的信息物理融合系统软件需求分析方法，其特征在于，在验证用户需求的可满足性步骤中，利用Alloy来描述所识别的物理实体的性质和软件实体的需求，进而验证基于所描述的软件实体和物理实体的性质，用户需求是否能够得到满足。