文章基本信息

标题：Towards a Fault-tolerant, Scheduling Methodology for Safety-critical Certified Information Systems
本地全文：下载
作者：Lin, Jian
期刊名称：Journal of International Technology and Information Management
印刷版ISSN：1941-6679
出版年度：2018
卷号：27
期号：3
页码：84-99
出版社：California State University, San Bernardino
摘要：Today, many critical information systems have safety-critical and non-safety-critical functions executed on the same platform in order to reduce design and implementation costs. The set of safety-critical functionality is subject to certification requirements and the rest of the functionality does not need to be certified, or is certified to a lower level. The resulting mixed-criticality systems bring challenges in designing such systems, especially when the critical tasks are required to complete with a timing constraint. This paper studies a problem of scheduling a mixed-criticality system with fault tolerance. A fault-recovery technique called checkpointing is used where a program can go back to a recent checkpoint for re-execution upon errors occurred. A novel schedulability test is derived to ensure that the safety-critical tasks are completed before their deadlines and the theoretical correctness is shown.
关键词：Safety-critical certification; Mixed-criticality systems; Real-time scheduling; Fault-tolerance