Resource scheduling in dependable integrated modular avionics

Yann Hang Lee, Daeyoung Kim, Mohamed Younis, Jeff Zhou, James McElroy

Research output: Chapter in Book/Report/Conference proceedingConference contribution

37 Scopus citations

Abstract

In the recent development of avionics systems, Integrated Modular Avionics (IMA) is advocated for next generation architecture that needs integration of mixed-criticality real-time applications. These integrated applications meet their own timing constraints while sharing avionics computer resources. To guarantee timing constraints and dependability of each application, an IMA-based system is equipped with the schemes for spatial and temporal partitioning. We refer the model as SP-RTS (Strongly Partitioned Real-Time System), which deals with processor partitions and communication channels as its basic scheduling entities. This paper presents a partition and channel-scheduling algorithm for the SP-RTS. The basic idea of the algorithm is to use a two-level hierarchical schedule that activates partitions (or channels) following a distance-constraints guaranteed cyclic schedule and then dispatches tasks (or messages) according to a fixed priority schedule. To enhance schedulability, we devised heuristic algorithms for deadline decomposition and channel combining. The simulation results show the schedulability analysis of the two-level scheduling algorithm and the beneficial characteristics of the proposed deadline decomposition and channel combining algorithms.

Original languageEnglish (US)
Title of host publicationProceedings of the 2002 International Conference on Dependable Systems and Networks
Pages14-23
Number of pages10
StatePublished - Dec 1 2000
Externally publishedYes
EventProceedings of the International Conference on Dependable Systems and Networks - New York, NY, United States
Duration: Jul 1 2001Jul 4 2001

Publication series

NameProceedings of the 2002 International Conference on Dependable Systems and Networks

Other

OtherProceedings of the International Conference on Dependable Systems and Networks
CountryUnited States
CityNew York, NY
Period7/1/017/4/01

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'Resource scheduling in dependable integrated modular avionics'. Together they form a unique fingerprint.

  • Cite this

    Lee, Y. H., Kim, D., Younis, M., Zhou, J., & McElroy, J. (2000). Resource scheduling in dependable integrated modular avionics. In Proceedings of the 2002 International Conference on Dependable Systems and Networks (pp. 14-23). (Proceedings of the 2002 International Conference on Dependable Systems and Networks).