作者：王继刚; 顾国昌; 徐立峰; 李翌容错检查点间隔非精确计算实时系统
摘要：实时系统要求每个任务必须在其截止时间内产生逻辑正确的结果，然而，由于故障的存在使得系统无法保证所有任务都能满足这一条件，因此，适当降低实时任务的精确度以及提供优化有效的容错方法变得至关重要．文章基于非精确计算理论提出了一种检查点设置策略IC—CPS，该策略面向多任务的实时系统，可以提供容错能力和确定性实时保证．数值测试证明IC—CPS不仅提高了系统的容错能力，扩大了检查点策略的应用范围，使得实时任务能够在按时完成的前提下容忍更多的错误，而且还降低了系统因为设置检查点所产生的开销．
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
