基于防危核(壳)的安全关键硬实时系统响应时间的分析

• 作者: 熊光泽 陈亮 黎忠文
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 防危核(壳) 安全关键系统 容错 检测点 响应时间分析
• 年，卷（期）: 2006,（4）
• 所属期刊栏目: 学术论文
• 页码范围: 647-652
• 页数: 6页
• 分类号: TN915.01
• 字数: 6179字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2006.04.015

摘要

基于响应时间的可调度分析是设计硬实时系统的基础.防危核(壳)是安全关键硬实时系统的一种新防危措施,现有的普适响应时间分析方法不能适用于这类系统.本文的贡献在于采用检测点时间冗余容错和优先级提升思想,通过分析内/外错误、隐/显错误,提出了一种合适的响应时间分析方法,从而为这类系统提供有效的离线可调度分析工具,同时也为这类系统设计了一种基于检测点的容错方案.本方法稍作修改也可为其它安全关键系统服务.最后通过仿真实验验证了本方法的有效性和优越性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈亮	厦门大学信息科学与技术学院	99	718	14.0	22.0
2	黎忠文	厦门大学信息科学与技术学院	14	79	6.0	8.0
4	熊光泽	电子科技大学计算机科学与工程学院	148	2069	24.0	38.0