基于Multi-agent的实时系统运行故障监控研究

软件密集型装备中常常包含着许多担负监测和控制作用的嵌入式实时系统,它们常常属于安全关键或者任务关键系统(safety-critical/mission-critical system)。为了能够有效解决该类系统中的软件故障检测、诊断与修复任务,本文提出了基于Multi-agent的实时系统运行故障监控框架,旨在利用在多agent的协作构建运行故障监控系统来在系统运行当中验证系统是否满足时序逻辑描述的性质规约,并采用具体的算法进行故障定位和修复。

Multi-agent based runtime fault monitoring for real-time systems

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.