公开(公告)号：CN109508288A

公开(公告)日：2019-03-22

申请号：CN201811230399.7

申请日：2018-10-22

Applicant: 暨南大学

Inventor： 穆罕默德·卡拉杰 ,  穆罕默德·拉姆丹尼 ,  里德·卡拉洛 ,  李志武 ,  屈挺

IPC: G06F11/36

Abstract: 本发明提供一种模型检测方法，包括获取可重构系统的属性，确定所述属性之间的关系，基于所述属性之间的关系，执行所述可重构系统的模型检测。本发明实施例提供的模型检测方法，在模型检测之前，对属性进行预处理，与已有方法相比，在验证前对属性集进行分析，提取属性间的关系，从而最小化要验证的属性的数量，并且最小化了属性的验证时间。

公开(公告)号：CN109508288B

公开(公告)日：2022-04-01

申请号：CN201811230399.7

申请日：2018-10-22

Applicant: 暨南大学

Inventor： 穆罕默德·卡拉杰 ,  穆罕默德·拉姆丹尼 ,  里德·卡拉洛 ,  李志武 ,  屈挺

IPC: G06F11/36

Abstract: 本发明提供一种模型检测方法，包括获取可重构系统的属性，确定所述属性之间的关系，基于所述属性之间的关系，执行所述可重构系统的模型检测。本发明实施例提供的模型检测方法，在模型检测之前，对属性进行预处理，与已有方法相比，在验证前对属性集进行分析，提取属性间的关系，从而最小化要验证的属性的数量，并且最小化了属性的验证时间。

公开(公告)号：CN109492272A

公开(公告)日：2019-03-19

申请号：CN201811230098.4

申请日：2018-10-22

Applicant: 暨南大学

Inventor： 穆罕默德·卡拉杰 ,  尤斯拉·哈夫迪 ,  里德·卡拉洛 ,  李志武 ,  屈挺

IPC: G06F17/50

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