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

• 作者: 刘彦斌 朱小冬
• 来源期刊: 科技与创新
• 关键词: 多智体 监控器 运行验证 性质规约 软件保障 实时系统
• 年，卷（期）: 2006,（28）
• 所属期刊栏目: 故障诊断
• 页码范围: 224-226
• 页数: 3页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1008-0570.2006.28.079

摘要

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