一种可重构定时网络条件事件系统的建模与验证方法及系统技术方案

本发明专利技术提供了一种可重构定时网络条件事件系统的建模与验证方法及系统，方法包括：步骤110，利用结构修改指令进行R‑TNCES重构建模；步骤120，判断相互验证是否有效，如果是，则进入步骤130，否则进入步骤140；步骤130，进行R‑TNCES配置建模，进入步骤150；步骤140，系统不正确，返回步骤110；步骤150，利用μ方法进行内部验证，如果内部验证有效，则进入步骤160，否则进入步骤170；步骤160，R‑TNCES建模与验证成功，结束；步骤170，系统不正确，返回步骤130。本发明专利技术能够充实全部的可重构形式，计算量小，计算速度快。

A Modeling and Verification Method and System for Reconfigurable Timing Network Conditional Event System

The invention provides a method and system for modeling and validating reconfigurable timing network conditional event system. The method includes: step 110, using structure modification instructions to reconstruct R TNCES; step 120, judging whether mutual validation is effective; if so, step 130, or step 140; step 130, R TNCES configuration modeling, step 150; 40, the system is incorrect, return to step 110; step 150, use the Mu method for internal verification, if the internal verification is valid, proceed to step 160, otherwise proceed to step 170; step 160, R_TNCES modeling and verification is successful, end; step 170, the system is incorrect, return to step 130. The invention can enrich all reconfigurable forms, has small calculation amount and fast calculation speed.

【技术实现步骤摘要】
一种可重构定时网络条件事件系统的建模与验证方法及系统
本专利技术涉及可重构控制系统领域，更具体地，涉及一种可重构定时网络条件事件系统的建模与验证方法及系统。
技术介绍
动态可重构系统是未来复杂技术系统的趋势，这种系统可根据系统内、外执行环境的变化，主动地修改当前重构形式的部分组件、组件间的连接关系和数据等,使当前重构形式在线地转变为另一种重构形式，从而保证系统能够持续地满足控制需求。基于模型的设计方法能够较早发现复杂技术系统的设计缺陷、提高系统的可靠性、缩短开发系统所耗费的时间，因此被广泛地关注和应用。本专利技术解决R-TNCESs(ReconfigurableTimedNetConditionEventSystems，可重构定时网络条件事件系统)的形式化体系的两个主要问题：可重构方案的建模和验证任务的高复杂度。前者基于建模RDECSs(ReconfigurableDiscreteEventControlSystems，可重构离散事件控制系统)的一些可重构形式缺乏R-TNCESs形式化体系这一事实，后者基于R-TNCESs验证需要最优化和复杂性控制，使得R-TNCESs验证由于计算时本文档来自技高网...

【技术保护点】
1.一种可重构定时网络条件事件系统的建模与验证方法，其特征在于所述方法包括如下步骤：步骤110，利用结构修改指令进行R‑TNCES重构建模；步骤120，判断相互验证是否有效，如果是，则进入步骤130，否则进入步骤140；步骤130，进行R‑TNCES配置建模，进入步骤150；步骤140，系统不正确，返回步骤110；步骤150，利用μ方法进行内部验证，如果内部验证有效，则进入步骤160，否则进入步骤170；步骤160，R‑TNCES建模与验证成功，结束；步骤170，系统不正确，返回步骤130。

【技术特征摘要】
1.一种可重构定时网络条件事件系统的建模与验证方法，其特征在于所述方法包括如下步骤：步骤110，利用结构修改指令进行R-TNCES重构建模；步骤120，判断相互验证是否有效，如果是，则进入步骤130，否则进入步骤140；步骤130，进行R-TNCES配置建模，进入步骤150；步骤140，系统不正确，返回步骤110；步骤150，利用μ方法进行内部验证，如果内部验证有效，则进入步骤160，否则进入步骤170；步骤160，R-TNCES建模与验证成功，结束；步骤170，系统不正确，返回步骤130。2.根据权利要求1所述的可重构定时网络条件事件系统的建模与验证方法，其特征在于所述μ方法为：利用一组与系统可重构相关的结构修改指令，根据这些指令在可达图上应用对应的重写规则，从而获得新的可达图，具体包括如下步骤：步骤210，将第一个结构的可达图拷贝到第二个结构的可达图上，并对所述第二个结构的可达图进行修改；步骤220，对于每一个结构修改指令，向所述第二个结构的可达图应用相应的重写规则；步骤230，删除所述第二个结构的可达图中的所有非可达状态，从而获得第二个结构的可达图。3.根据权利要求2所述的可重构定时网络条件事件系统的建模与...

【专利技术属性】
技术研发人员：穆罕默德·卡拉杰，尤斯拉·哈夫迪，里德·卡拉洛，李志武，屈挺，
申请(专利权)人：暨南大学，
类型：发明
国别省市：广东,44