Skip to main navigation Skip to search Skip to main content

A fault-tolerant temporal partitioning scheme for safety-critical mission computers

  • Jongsoo Hyun
  • , Sungshin Lim
  • , Yeodeuk Park
  • , Kun Su Yoon
  • , Jae Hyun Park
  • , Byung Moon Hwang
  • , Kyong Hoon Kim

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

4 Scopus citations

Abstract

Safety-critical real-time systems provide fault-tolerant mechanism in the presence of faults because some faults are able to give critical damages to the systems if not properly handled. As a mission computer in an aircraft is a representative mission-critical real-time system, fault-tolerant schemes are essential in both hardware and software. In this paper, we analyze temporal partitioning schemes for the fault-tolerant operational flight programs of the light fighter, FA-50 or the train jet, T-50, the products of Korea Aerospace Industries, Ltd. We provide two schemes: one in task-level and the other in partition-level. The proposed will enhance the dependability of the mission computer.

Original languageEnglish
Title of host publication31st Digital Avionics Systems Conference
Subtitle of host publicationProjecting 100 Years of Aerospace History into the Future of Avionics, DASC 2012
Pages6C31-6C38
DOIs
StatePublished - 2012
Event31st Digital Avionics Systems Conference: Projecting 100 Years of Aerospace History into the Future of Avionics, DASC 2012 - Williamsburg, VA, United States
Duration: 14 Oct 201218 Oct 2012

Publication series

NameAIAA/IEEE Digital Avionics Systems Conference - Proceedings
ISSN (Print)2155-7195
ISSN (Electronic)2155-7209

Conference

Conference31st Digital Avionics Systems Conference: Projecting 100 Years of Aerospace History into the Future of Avionics, DASC 2012
Country/TerritoryUnited States
CityWilliamsburg, VA
Period14/10/1218/10/12

Fingerprint

Dive into the research topics of 'A fault-tolerant temporal partitioning scheme for safety-critical mission computers'. Together they form a unique fingerprint.

Cite this