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

摘要

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