Journal of International Technology and Information Management
Document Type
Article
Abstract
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.
Recommended Citation
Lin, Jian
(2019)
"Towards a Fault-tolerant, Scheduling Methodology for Safety-critical Certified Information Systems,"
Journal of International Technology and Information Management: Vol. 27:
Iss.
3, Article 5.
DOI: https://doi.org/10.58729/1941-6679.1384
Available at:
https://scholarworks.lib.csusb.edu/jitim/vol27/iss3/5