[发明专利]模型建立方法和装置有效
| 申请号： | 201410240885.2 | 申请日： | 2014-05-30 |
| 公开（公告）号： | CN105335534B | 公开（公告）日： | 2018-12-14 |
| 发明（设计）人： | 文刘飞;李国强 | 申请（专利权）人： | 华为技术有限公司;上海交通大学 |
| 主分类号： | G06F17/50 | 分类号： | G06F17/50 |
| 代理公司： | 深圳市深佳知识产权代理事务所(普通合伙) 44285 | 代理人： | 唐华明 |
| 地址： | 518129 广东*** | 国省代码： | 广东;44 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本申请实施例提供了一种模型建立方法和装置，所述方法包括：确定多个子系统之间的同步关系或互斥关系；确定建立每一子系统的时间自动机的状态节点以及所述状态节点之间的状态转移条件；根据子系统之间的同步关系以及互斥关系，将各个子系统中的状态节点进行组合，获得组合状态节点；根据任意两个组合状态节点中的状态节点的状态转移条件以及所属子系统之间由互斥关系以及同步关系确定的执行顺序，获得任意两个组合状态节点之间的组合状态转移条件；利用所述组合状态节点以及所述组合状态转移条件，建立全局时间自动机，所述全局时间自动机用于作为模型检测的状态迁移模型，本申请实施例有效快速的建立了嵌入式系统的状态迁移模型。 | ||
| 搜索关键词： | 模型 建立 方法 装置 | ||
【主权项】：
1.一种模型建立方法，其特征在于，包括：按照嵌入式系统划分的多个子系统的中断优先级，确定所述多个子系统之间的同步关系或互斥关系，所述同步关系是指子系统之间互相独立且同时执行任务处理，所述互斥关系是指子系统之间先后执行任务处理；确定建立每一子系统的时间自动机的状态节点以及所述状态节点之间的状态转移条件；根据各个子系统之间的同步关系以及互斥关系，将各个子系统中的状态节点进行组合，获得组合状态节点；根据任意两个组合状态节点中状态节点的状态转移条件以及所属子系统之间由互斥关系以及同步关系确定的执行顺序，获得所述任意两个组合状态节点之间的组合状态转移条件；利用所述组合状态节点以及所述组合状态转移条件，建立全局时间自动机，所述全局时间自动机用于作为模型检测的状态迁移模型。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于华为技术有限公司;上海交通大学，未经华为技术有限公司;上海交通大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201410240885.2/，转载请声明来源钻瓜专利网。
