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

摘要

本发明涉及一种用于从基于块的仿真模型(SM)中的被仿真的技术组件(CO)以计算机实施的方式生成状态机的方法，其中，被仿真的技术组件(CO)包括多个变量(SP、TR、CU、VO、HF、TE)，每个变量(SP、TR、CU、VO、HF、TE)都具有可变值的值范围，可变值能够被分配给相应的变量(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)；c)为每个选定的变量(SP，VO，TR)生成自动机(A1，A2，A3)；d)从所有选定的变量(SP，TR，VO)的自动机(A1，A2，A3)中生成第一产品自动机(PA)；e)基于应用于仿真模型(SM)的预限定规则(RU)，从第一产品自动机(PA)中移除多余的向量转换(VT')，其中，不包含被移除的多余的向量转换(VT')的第一产品自动机(PA)是第二产品自动机(PA')，该第二产品自动机是生成的状态机。