[发明专利]一种用于从基于块的仿真模型中的被仿真的技术组件以计算机实施的方式生成状态机的方法

权利要求书

1.一种用于从基于块的仿真模型(SM)中的被仿真的技术组件(CO)以计算机实施的方式生成状态机的方法，其中，被仿真的所述技术组件(CO)是所述仿真模型(SM)中的块，并且所述技术组件包括多个变量(SP、TR、CU、VO、HF、TE)，每个变量(SP、TR、CU、VO、HF、TE)都具有可变值的值范围，当基于所述仿真模型(SM)运行所述技术组件(CO)的仿真时，能够将所述可变值分配给相应的变量(SP、TR、CU、VO、HF、TE)，所述方法包括以下步骤：

a)从多个变量(SP，TR，CU，VO，HF，TE)中选择一个或多个变量(SP，TR，VO)；

b)为每个选定的变量(SP，TR，VO)生成多个离散状态(S0，S1，V0，V1，T0，T1)，每个状态(S0，S1，V0，V1，T0，T1)包括来自相应选定的变量(SP，TR，VO)的值范围的值的子集；

c)为每个选定的变量(SP，VO，TR)生成自动机(A1，A2，A3)，相应的自动机(A1，A2，A3)由相应选定的变量(SP，TR，VO)的状态(S0，S1，V0，V1，T0，T1)和相应选定的变量(SP，TR，VO)从一个状态到另一个状态的一个或多个转换(TS1，TS2，...，TS6)来表示，相应的转换(TS1，TS2，...，TS6)由标签(L1，L2，...，L6)引用并且与触发条件(CO1，CO2，...，CO6)相关联，所述触发条件限定了导致相应的转换(TS1，TS2，...，TS6)的相应选定的变量(SP，TR，VO)的变化；

d)从所有选定的变量(SP，TR，VO)的所述自动机(A1，A2，A3)中生成第一产品自动机(PA)，所述第一产品自动机(PA)包括多个向量状态(S0T0P0，S1T0V0，……，S1T1V1)，所述向量状态表示选定的变量(SP，VO，TR)的状态(S0，S1，V0，V1，T0，T1)的所有组合，所述第一产品自动机还包括用于在步骤c)中生成的单个变量(SP，TR，CU，VO，HF，TE)的所有转换(TS1，TS2，…，TS6)的多个向量转换(VT)，每个向量转换(VT)对应于在相应的所述向量状态(S0T0P0，S1T0V0，…，S1T1V1)中单个变量(SP，VO，TR)从一种状态到另一种状态的转换(TS1，TS2，…，TS6)，其中，在相应的所述向量状态(S0T0P0，S1T0V0，...，S1T1V1)中的其他变量(SP，VO，TR)的状态(S0，S1，V0，V1，T0，T1)保持不变，其中，相应的向量转换(VT)的标签(L1，L2，...，L6)和触发条件(CO1，CO2，...，CO6)对应于相应的向量转换(VT)对应的转换(TS1，TS2，...，TS6)的标签(LA1，LA2，...，LA6)和触发条件(CO1，CO2，...，CO6)；

e)基于应用于所述仿真模型(SM)的预限定规则(RU)，从所述第一产品自动机(PA)中移除多余的向量转换(VT')，不包含被移除的多余的向量转换(VT')的第一产品自动机(PA)是第二产品自动机(PA')，所述第二产品自动机是生成的状态机。

2.根据权利要求1所述的方法，其中，基于至少一个变量(SP，TR，VO)的预限定选择至少部分自动地执行步骤a)，和/或其中，响应于经由用户接口(UI)的一个或多个用户输入(IN)至少部分半自动地执行步骤a)，所述一个或多个用户输入(IN)指定至少一个待选择的变量(SP，TR，VO)。

3.根据权利要求1或2所述的方法，其中，基于来自一个或多个选定的变量(SP，TR，VO)的值范围的值的预限定子集至少部分自动地执行步骤b)，和/或其中，响应于经由用户接口(UI)限定来自一个或多个选定的变量(SP，TR，VO)的值范围的值的子集的用户输入(IN)至少部分半自动地执行步骤b)。