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

关键词：安全关键系统 容错 检测点 响应时间分析 

单位：厦门大学信息科学与技术学院; 福建厦门361005; 电子科技大学计算机科学与工程学院; 四川成都610054; 电子科技大学中山学院; 广东中山528402