首页 | 本学科首页   官方微博 | 高级检索  
     

基于Multi-agent的实时系统运行故障监控研究
引用本文:刘彦斌,朱小冬. 基于Multi-agent的实时系统运行故障监控研究[J]. 微计算机信息, 2006, 22(28): 224-226
作者姓名:刘彦斌  朱小冬
作者单位:050003,石家庄,军械工程学院
摘    要:软件密集型装备中常常包含着许多担负监测和控制作用的嵌入式实时系统,它们常常属于安全关键或者任务关键系统(safety-critical/mission-critical system)。为了能够有效解决该类系统中的软件故障检测、诊断与修复任务,本文提出了基于Multi-agent的实时系统运行故障监控框架,旨在利用在多agent的协作构建运行故障监控系统来在系统运行当中验证系统是否满足时序逻辑描述的性质规约,并采用具体的算法进行故障定位和修复。

关 键 词:多智体  监控器  运行验证  性质规约  软件保障  实时系统
文章编号:1008-0570(2006)10-1-0224-03
修稿时间:2005-01-07

Multi-agent based runtime fault monitoring for real-time systems
Liu,Yanbin,Zhu,Xiaodong. Multi-agent based runtime fault monitoring for real-time systems[J]. Control & Automation, 2006, 22(28): 224-226
Authors:Liu  Yanbin  Zhu  Xiaodong
Abstract:software-intensive systems always include embedded real-time systems to monitor and control some physical devices,which are attributed to safety-critical or mission-critical systems in many conditions.In order to solve the problems of software fault detection,fault diagnosis and fault recovery among these systems effectively,a framework of multi-based agent runtime fault monitoring for real-time systems is proposed,which aims to construct runtime fault monitoring system on the basis of cooperation among multi-agents.The monitoring system verifies whether the property specification described by temporal logic is satisfied at runtime,and locates and recovers faults using special algorithms.
Keywords:multi-agent  monitor  runtime verification  property specification  software support  real-time system
本文献已被 CNKI 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号