发明名称 |
一种具有故障预测能力的时序属性监控方法 |
摘要 |
本发明公开了一种具有故障预测能力的时序属性监控方法,其步骤为:(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号中国人民解放军国防科学技术大学计算机学院 |