Fault-Tolerant Scheduling in Hierarchical Real-Time Scheduling Framework

Hyun, Jongsoo; Kim, Kyong Hoon

doi:10.1109/rtcsa.2012.45

Cited by 9 publications

(15 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…(5, 2, 1, 2) and its resource supply modeled by R = Γ(5, 2, 1). Figure 4 compares sbf Γ(Π,Θ,Δ) (t, k) for k = 1, 2, 3, and 4 with the worstcase resource supply of Γ(5, 3) as considered by the previous work [9,11]. The new resource model provides a significant gain in terms of resource for the framework.…”

Section: Resource Modelmentioning

confidence: 96%

“…A single fault may, for example, cause an entire operational flight program to behave incorrectly or to fail, eventually forcing the mission computer itself to a cold or warm restart. A warm restart of the system takes about 5 seconds, which may then force ongoing missions such as target attack and aerial reconnaissance to abortion [9].…”

Section: Problem Statementmentioning

confidence: 99%

“…Considering the periodic resource model [17], Hyun and Kim [9] proposed a task level fault-tolerant framework and later extended it with a component level fault containment with backup partitions [10]. Although it offers task and component level fault isolation, the approach remains inefficient as the highest possible resource is always required to guarantee the feasibility of the system even in the absence of faults.…”

Section: Introductionmentioning

confidence: 99%

“…When a fault is detected inside a component, the new resource model guarantees to provide an extra resource to the faulty component only until the fault is handled and thereafter, switches back to a normal supply as the demand of the component has also decreased. Contrarily to the previous approaches [9,10,11], the new model provides a more flexible and efficient resource sharing in presence of faults. The schedulability of the framework has been analyzed considering the Rate Monotonic (RM) scheduling algorithm.…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

Supporting fault-tolerance in a compositional real-time scheduling framework

et al. 2015

Self Cite

View full text Add to dashboard Cite

Component-based analysis allows a robust time and space decomposition of a complex real-time system into components, which are then recomposed and hierarchically scheduled under potentially different scheduling policies. This mechanism is of great benefit to many critical systems as it enables fault isolation. To provide fault-tolerant scheduling in a compositional real-time scheduling framework, a few works have recently emerged, but remain inefficient in providing fault isolation or in terms of resource utilization. In this paper, we introduced a new interface model that takes into account the fault requirements of a component, and a fault-tolerant resource model that helps the component to effectively respond to each of its child components in presence of a fault. Finally, we analyzed the schedulability of the framework considering the Rate Monotonic scheduling algorithm.

show abstract

Section: Resource Modelmentioning

confidence: 96%

Section: Problem Statementmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Supporting fault-tolerance in a compositional real-time scheduling framework

et al. 2015

Self Cite

View full text Add to dashboard Cite

show abstract

“…There have been significant researches for fault-tolerant real-time scheduling [9], [10], [11], [12], [13], [14], [15] but considerations for partitioned systems have not been studied. Though Hyun and Kim [16] recently introduced a fault-tolerant hierarchical realtime scheduling, they focused on adding a recovery job into a partition.…”

Section: Introductionmentioning

confidence: 99%

Fault-tolerant hierarchical real-time scheduling with backup partitions on single processor

Jin

2013

SIGBED Rev.

View full text Add to dashboard Cite

The resource partitioning has been suggested to provide efficient composition of multi-threaded real-time applications. Partitioning can provide reliable and flexible software upgrade as partitions are strongly isolated in terms of resources. However, there are always possibility of experiencing software faults while operating on a real plant. To avoid entering a hazardous state due to a partition that is yet to be fully verified, we can deploy a backup partition that may implement inefficient algorithms or limited features but is verified with respect to reliability. The backup partition performs failover to carry out missions of the corresponding primary partition when a software fault is detected. There have been significant researches for faulttolerant real-time scheduling but considerations for partitioned systems have not been studied. In this paper, we extend the resource model for hierarchical real-time scheduling to support primary and backup partitions. Our model can support contextdependent and context-independent tasks in the backup partition efficiently. In addition, we provide the schedulability analysis for suggested model.

show abstract

A feasibility study for ARINC 653 based operational flight program development

Lim

Hyun

Shin

et al. 2012

2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC)

View full text Add to dashboard Cite

The aircraft manufacturers are constantly driving to reduce manufacturing lead times and cost at the same time as the product complexity increases and technology continues to change. As avionics systems have evolved, particularly over the past two or three decades, the level of functional integration has increased dramatically.This paper describes a study that assessed the feasibility of developing an ARINC 653 based operational flight program (OFP) prototype and will provide valuable lessons learned through OFP development. The OFP architecture consists of two distinct modules: a core that interfaces and monitors the hardware and provides a standard and common environment for software applications; and an application module that performs the avionics functions. The prototype OFP is being integrated with the FA-50 simulator at the avionics laboratory of Korea Aerospace Industries.

show abstract

Fault-Tolerant Scheduling in Hierarchical Real-Time Scheduling Framework

Cited by 9 publications

References 20 publications

Supporting fault-tolerance in a compositional real-time scheduling framework

Supporting fault-tolerance in a compositional real-time scheduling framework

Fault-tolerant hierarchical real-time scheduling with backup partitions on single processor

A feasibility study for ARINC 653 based operational flight program development

Contact Info

Product

Resources

About