1.一种嵌入式软件SysML模型状态空间约简方法，其特征在于，所述方法包括以下步骤：步骤1000，获取嵌入式软件的SysML状态图模型SDM＝(S,S0,R,T,P)，其中S是状态的有限集合，S0是初始状态并且 R是一个有限事件集，T是系统迁移关系的集合，P是原子命题集合；

步骤2000，将嵌入式软件的SysML状态图模型SDM转换为用二维数组表示的邻接矩阵A；

步骤3000，进行基于邻接矩阵状态空间约简，得到约简后的邻接矩阵A'；

步骤4000，将约简后的邻接矩阵A'，转换为新SysML状态图SDM'。

2.根据权利要求1所述的嵌入式软件SysML模型状态空间约简方法，其特征在于，所述步骤2000的过程如下：步骤2100，使用广度优先搜索遍历SysML状态图模型SDM，统计SDM中状态的个数n，即为邻接矩阵A的阶数；

步骤2200，使用深度优先搜索遍历SysML状态图模型SDM，通过步骤2210与步骤2220，确定邻接矩阵A中元素的值；

步骤2210，若SDM中，si与sj不连通，则将邻接矩阵A中的aij赋值为零；

步骤2220，若SDM中，si与sj连通，则将邻接矩阵A中的aij赋值为状态si、sj之间转移的原子命题pij。

3.根据权利要求1或2所述的嵌入式软件SysML模型状态空间约简方法，其特征在于，所述步骤3000的过程如下：步骤3100，取矩阵A中所有行相同、列相邻、值相等的两个原子命题pij与pi(j+1)，组成二元组pairij＝(pij,pi(j+1))，得到集合S＝{pairij}；

步骤3200，遍历集合S，依据S中每个二元组pairij，对矩阵进行行方向约简与列方向约简。

4.根据权利要求3所述的嵌入式软件SysML模型状态空间约简方法，其特征在于，所述的行方向约简的过程如下：步骤3210，对于取到的S中二元组pairij，若矩阵A中第j+1行的所有元素的值全部等于零，则删除第j+1行的所有元素；.

步骤3220，若矩阵A的第j+1行中存在不为零的元素，则找到与不为零元素列坐标相等、行坐标减一的位置的元素ajk，进一步判断；

步骤3321，若ajk的值等于零，将a(j+1)k的值赋给ajk，并删除矩阵A中第j+1行的所有元素；

步骤3322，若ajk的值不等于零，则删除矩阵A中第j+1行的所有元素。

5.根据权利要求3所述的嵌入式软件SysML模型状态空间约简方法，其特征在于，所述的列方向约简的过程如下：步骤3410，对于取到的S中二元组pairij，若矩阵A中第j+1列的所有元素的值全部等于零，则删除第j+1列的所有元素；.

步骤3420，若矩阵A的第j+1列中存在不为零的元素，则找到与不为零元素所对应的行坐标相等、列坐标减一的位置的元素akj，进一步判断；

步骤3421，若akj的值等于零，将ak(j+1)的值赋给akj，并删除矩阵A中第j+1列的所有元素；

步骤3422，若akj的值不等于零，则删除矩阵A中第j+1列的所有元素。

6.根据权利要求1或2所述的嵌入式软件SysML模型状态空间约简方法，其特征在于，所述步骤4000的过程如下：步骤4100，遍历邻接矩阵A'，确定矩阵A'的阶数m，即为新SysML状态图SDM'的状态个数m；

步骤4200，遍历邻接矩阵A'，通过步骤4210，填充新SysML状态图SDM'中状态之间的迁移关系；

步骤4210，若邻接矩阵A'中，a'ij的值不为零，则令SDM'中状态si、sj之间转移的原子命题pij为a'ij的值。