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