%0 Journal Article %A 黎忠文 %A 陈亮 %A 熊光泽 %T 基于防危核(壳)的安全关键硬实时系统响应时间的分析 %D 2006 %R %J 电子学报 %P 647-652 %V 34 %N 4 %X 基于响应时间的可调度分析是设计硬实时系统的基础.防危核(壳)是安全关键硬实时系统的一种新防危措施,现有的普适响应时间分析方法不能适用于这类系统.本文的贡献在于采用检测点时间冗余容错和优先级提升思想,通过分析内/外错误、隐/显错误,提出了一种合适的响应时间分析方法,从而为这类系统提供有效的离线可调度分析工具,同时也为这类系统设计了一种基于检测点的容错方案.本方法稍作修改也可为其它安全关键系统服务.最后通过仿真实验验证了本方法的有效性和优越性. %U https://www.ejournal.org.cn/CN/abstract/article_550.shtml