Towards a Fault-tolerant, Scheduling Methodology for Safety-critical Certified Information Systems

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 n...

Full description

Saved in:
Bibliographic Details
Published inJournal of international technology and information management Vol. 27; no. 3; pp. 84 - 99
Main Author Lin, Jian (Denny
Format Journal Article
LanguageEnglish
Published San Bernadino International Information Management Association 01.07.2018
Subjects
Aircraft
Algorithms
Aviation
Budgets
Certification
Charged particles
Checkpointing
Deadlines
Design
Designers
Fault tolerance
Information systems
Safety critical
Scheduling
Surveillance
Task scheduling
Online AccessGet full text

Cover

More Information
Summary: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 when errors are 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.
ISSN:1543-5962
1941-6679