[发明专利]一种具有故障预测能力的时序属性监控方法有效
| 申请号： | 201310092085.6 | 申请日： | 2013-03-21 |
| 公开（公告）号： | CN103186451A | 公开（公告）日： | 2013-07-03 |
| 发明（设计）人： | 董威;王戟;赵常智;文艳军;陈振邦;陈立前;刘万伟 | 申请（专利权）人： | 中国人民解放军国防科学技术大学 |
| 主分类号： | G06F11/30 | 分类号： | G06F11/30 |
| 代理公司： | 湖南兆弘专利事务所 43008 | 代理人： | 赵洪;周长清 |
| 地址： | 410073 湖南省长沙市砚瓦池正*** | 国省代码： | 湖南;43 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种具有故障预测能力的时序属性监控方法，其步骤为：(1)插装；在编译目标程序时实现，根据修改的编译规则向受控程序中插入代码，并生成相应的信息处理单元；插装的任务是基于相应的编译机制，通过编写的监控脚本自动产生插装数据和事件识别器，并根据实现系统控制的模型，在代码实现的适当位置自动插入额外的事件执行条件代码，生成相应的调节器；(2)预测监控器的产生；采用LTL到Büchi自动机的构造方法，生成监控器；(3)运行时部分模型产生；(4)调控动作产生；(5)调控动作的执行。本发明具有原理简单、适用范围广、易实现和推广、可靠性好等优点。 | ||
| 搜索关键词： | 一种 具有 故障 预测 能力 时序 属性 监控 方法 | ||
【主权项】：
一种具有故障预测能力的时序属性监控方法，其特征在于，步骤为：（1）插装；在编译目标程序时实现，根据修改的编译规则向受控程序中插入代码，并生成相应的信息处理单元；插装的任务是基于相应的编译机制，通过编写的监控脚本自动产生插装数据和事件识别器，并根据实现系统控制的模型，在代码实现的适当位置自动插入额外的事件执行条件代码，生成相应的调节器；（2）预测监控器的产生；采用LTL到Büchi自动机的构造方法，生成监控器；（3）运行时部分模型产生；（4）调控动作产生；（5）调控动作的执行。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国人民解放军国防科学技术大学，未经中国人民解放军国防科学技术大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201310092085.6/，转载请声明来源钻瓜专利网。
