发明名称 一种具有故障预测能力的时序属性监控方法
摘要 本发明公开了一种具有故障预测能力的时序属性监控方法,其步骤为:(1)插装;在编译目标程序时实现,根据修改的编译规则向受控程序中插入代码,并生成相应的信息处理单元;插装的任务是基于相应的编译机制,通过编写的监控脚本自动产生插装数据和事件识别器,并根据实现系统控制的模型,在代码实现的适当位置自动插入额外的事件执行条件代码,生成相应的调节器;(2)预测监控器的产生;采用LTL到Büchi自动机的构造方法,生成监控器;(3)运行时部分模型产生;(4)调控动作产生;(5)调控动作的执行。本发明具有原理简单、适用范围广、易实现和推广、可靠性好等优点。
申请公布号 CN103186451A 申请公布日期 2013.07.03
申请号 CN201310092085.6 申请日期 2013.03.21
申请人 中国人民解放军国防科学技术大学 发明人 董威;王戟;赵常智;文艳军;陈振邦;陈立前;刘万伟
分类号 G06F11/30(2006.01)I 主分类号 G06F11/30(2006.01)I
代理机构 湖南兆弘专利事务所 43008 代理人 赵洪;周长清
主权项 一种具有故障预测能力的时序属性监控方法,其特征在于,步骤为:(1)插装;在编译目标程序时实现,根据修改的编译规则向受控程序中插入代码,并生成相应的信息处理单元;插装的任务是基于相应的编译机制,通过编写的监控脚本自动产生插装数据和事件识别器,并根据实现系统控制的模型,在代码实现的适当位置自动插入额外的事件执行条件代码,生成相应的调节器;(2)预测监控器的产生;采用LTL到Büchi自动机的构造方法,生成监控器;(3)运行时部分模型产生;(4)调控动作产生;(5)调控动作的执行。
地址 410073 湖南省长沙市砚瓦池正街47号中国人民解放军国防科学技术大学计算机学院