一种具有故障预测能力的时序属性监控方法

摘要

本发明公开了一种具有故障预测能力的时序属性监控方法，其步骤为：(1)插装；在编译目标程序时实现，根据修改的编译规则向受控程序中插入代码，并生成相应的信息处理单元；插装的任务是基于相应的编译机制，通过编写的监控脚本自动产生插装数据和事件识别器，并根据实现系统控制的模型，在代码实现的适当位置自动插入额外的事件执行条件代码，生成相应的调节器；(2)预测监控器的产生；采用LTL到Büchi自动机的构造方法，生成监控器；(3)运行时部分模型产生；(4)调控动作产生；(5)调控动作的执行。本发明具有原理简单、适用范围广、易实现和推广、可靠性好等优点。

主权项

一种具有故障预测能力的时序属性监控方法，其特征在于，步骤为：(1)插装：在编译目标程序时实现，根据修改的编译规则向受控程序中插入代码，并生成相应的信息处理单元；插装的任务是基于相应的编译机制，通过编写的监控脚本自动产生插装数据和事件识别器，并根据实现系统控制的模型，在代码实现的适当位置自动插入额外的事件执行条件代码，生成相应的调节器；(2)预测监控器的产生：采用LTL到Büchi自动机的构造方法，生成监控器；(3)运行时部分模型产生；(4)调控动作产生；(5)调控动作的执行；所述步骤(1)的具体执行步骤为：1.1、编写监测插装所需的监控脚本，采用PEDL和MEDL语言定义属性规约，前者主要描述原子事件和条件是如何由目标程序中的方法和变量抽象而成，后者则主要是描述原子事件和条件如何组成复合事件和条件；1.2、编译得到一个事件识别器和一个.out文件，该文件包含了关于系统插装所需要的信息，它以Jtrek工具包可识别的方式被存储；Jtrek是一种开源的基于java字节码的比较成熟的插装工具包；1.3、把模型中的与迁移事件相关的插装信息以Jtrek可识别的方式手工定义在另一个.out文件中；1.4、插装组件以受控程序为目标，以.out文件为输入，完成代码插装，调节器的生成需要用到事件识别器。