模型建立方法和装置

• 国民经济行业：制造业／计算机、通信和其他电子设备制造业
• 权利人：华为技术有限公司

知识产权简介

本申请实施例提供了一种模型建立方法和装置，所述方法包括：确定多个子系统之间的同步关系或互斥关系；确定建立每一子系统的时间自动机的状态节点以及所述状态节点之间的状态转移条件；根据子系统之间的同步关系以及互斥关系，将各个子系统中的状态节点进行组合，获得组合状态节点；根据任意两个组合状态节点中的状态节点的状态转移条件以及所属子系统之间由互斥关系以及同步关系确定的执行顺序，获得任意两个组合状态节点之间的组合状态转移条件；利用所述组合状态节点以及所述组合状态转移条件，建立全局时间自动机，所述全局时间自动机用于作为模型检测的状态迁移模型，本申请实施例有效快速的建立了嵌入式系统的状态迁移模型。