摘要
软件密集型装备中常常包含着许多担负监测和控制作用的嵌入式实时系统,它们常常属于安全关键或者任务关键系统(safety-critical/mission-critical system)。为了能够有效解决该类系统中的软件故障检测、诊断与修复任务,本文提出了基于Multi-agent的实时系统运行故障监控框架,旨在利用在多agent的协作构建运行故障监控系统来在系统运行当中验证系统是否满足时序逻辑描述的性质规约,并采用具体的算法进行故障定位和修复。
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 detec- tion, 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.
出处
《微计算机信息》
北大核心
2006年第10S期224-226,共3页
Control & Automation
基金
国防预研项目(编号不公开)
关键词
多智体
监控器
运行验证
性质规约
软件保障
实时系统
multi-agent,monitor,runtime verification, property specification,software support, real-time system
