Scheduling tool and algorithm for Integrated Modular Avionics systems

Yann-Hang Lee, Daeyoung Kim, Mohamed Younis, Jeff Zhou

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

30 Citations (Scopus)

Abstract

As computer and software technologies have advanced, the approach of Integrated Modular Avionics (IMA) has emerged in the field of avionics systems. The IMA approach can dramatically reduce production and maintenance costs and increase reliability of these safety-critical real time systems. The IMA hardware and foundation software must be able to provide guarantees to the application software so that the real-time constraints of all applications are simultaneously satisfied. In addition, each application must be protected from interference by other applications and the operating system software must itself be protected while physically sharing resources such as processors and communication hardware and busses. In other words, an IMA implementation requires that the concepts of spatial and temporal partitioning are provided and guaranteed. This paper introduces a scheduling tool and its algorithms that can be used to solve the fundamental temporal partitioning problems together with implementation related practical constraints. Based on the two-level scheduling hierarchy architecture of ARINC IMA standards, we model an IMA system composed of multiple partition servers and channel servers. A partition server models a protected application that may be composed of multiple concurrent tasks. A channel server provides temporally and spatially protected message transmission among applications. The ultimate objective of the tool is to provide schedules for both tasks and messages that provide for robust temporal partitioning.

Original languageEnglish (US)
Title of host publicationAIAA/IEEE Digital Avionics Systems Conference - Proceedings
Place of PublicationPiscataway, NJ, United States
PublisherIEEE
Volume1
StatePublished - 2000
Externally publishedYes

Fingerprint

Avionics
Computer systems
Scheduling
Servers
Real time systems
Application programs
Computer hardware
Hardware
Communication
Costs

ASJC Scopus subject areas

  • Aerospace Engineering
  • Electrical and Electronic Engineering

Cite this

Lee, Y-H., Kim, D., Younis, M., & Zhou, J. (2000). Scheduling tool and algorithm for Integrated Modular Avionics systems. In AIAA/IEEE Digital Avionics Systems Conference - Proceedings (Vol. 1). Piscataway, NJ, United States: IEEE.

Scheduling tool and algorithm for Integrated Modular Avionics systems. / Lee, Yann-Hang; Kim, Daeyoung; Younis, Mohamed; Zhou, Jeff.

AIAA/IEEE Digital Avionics Systems Conference - Proceedings. Vol. 1 Piscataway, NJ, United States : IEEE, 2000.

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

Lee, Y-H, Kim, D, Younis, M & Zhou, J 2000, Scheduling tool and algorithm for Integrated Modular Avionics systems. in AIAA/IEEE Digital Avionics Systems Conference - Proceedings. vol. 1, IEEE, Piscataway, NJ, United States.
Lee Y-H, Kim D, Younis M, Zhou J. Scheduling tool and algorithm for Integrated Modular Avionics systems. In AIAA/IEEE Digital Avionics Systems Conference - Proceedings. Vol. 1. Piscataway, NJ, United States: IEEE. 2000
Lee, Yann-Hang ; Kim, Daeyoung ; Younis, Mohamed ; Zhou, Jeff. / Scheduling tool and algorithm for Integrated Modular Avionics systems. AIAA/IEEE Digital Avionics Systems Conference - Proceedings. Vol. 1 Piscataway, NJ, United States : IEEE, 2000.
@inproceedings{04fa5bc9c4af4c8a9c2c57cd82b90acf,
title = "Scheduling tool and algorithm for Integrated Modular Avionics systems",
abstract = "As computer and software technologies have advanced, the approach of Integrated Modular Avionics (IMA) has emerged in the field of avionics systems. The IMA approach can dramatically reduce production and maintenance costs and increase reliability of these safety-critical real time systems. The IMA hardware and foundation software must be able to provide guarantees to the application software so that the real-time constraints of all applications are simultaneously satisfied. In addition, each application must be protected from interference by other applications and the operating system software must itself be protected while physically sharing resources such as processors and communication hardware and busses. In other words, an IMA implementation requires that the concepts of spatial and temporal partitioning are provided and guaranteed. This paper introduces a scheduling tool and its algorithms that can be used to solve the fundamental temporal partitioning problems together with implementation related practical constraints. Based on the two-level scheduling hierarchy architecture of ARINC IMA standards, we model an IMA system composed of multiple partition servers and channel servers. A partition server models a protected application that may be composed of multiple concurrent tasks. A channel server provides temporally and spatially protected message transmission among applications. The ultimate objective of the tool is to provide schedules for both tasks and messages that provide for robust temporal partitioning.",
author = "Yann-Hang Lee and Daeyoung Kim and Mohamed Younis and Jeff Zhou",
year = "2000",
language = "English (US)",
volume = "1",
booktitle = "AIAA/IEEE Digital Avionics Systems Conference - Proceedings",
publisher = "IEEE",

}

TY - GEN

T1 - Scheduling tool and algorithm for Integrated Modular Avionics systems

AU - Lee, Yann-Hang

AU - Kim, Daeyoung

AU - Younis, Mohamed

AU - Zhou, Jeff

PY - 2000

Y1 - 2000

N2 - As computer and software technologies have advanced, the approach of Integrated Modular Avionics (IMA) has emerged in the field of avionics systems. The IMA approach can dramatically reduce production and maintenance costs and increase reliability of these safety-critical real time systems. The IMA hardware and foundation software must be able to provide guarantees to the application software so that the real-time constraints of all applications are simultaneously satisfied. In addition, each application must be protected from interference by other applications and the operating system software must itself be protected while physically sharing resources such as processors and communication hardware and busses. In other words, an IMA implementation requires that the concepts of spatial and temporal partitioning are provided and guaranteed. This paper introduces a scheduling tool and its algorithms that can be used to solve the fundamental temporal partitioning problems together with implementation related practical constraints. Based on the two-level scheduling hierarchy architecture of ARINC IMA standards, we model an IMA system composed of multiple partition servers and channel servers. A partition server models a protected application that may be composed of multiple concurrent tasks. A channel server provides temporally and spatially protected message transmission among applications. The ultimate objective of the tool is to provide schedules for both tasks and messages that provide for robust temporal partitioning.

AB - As computer and software technologies have advanced, the approach of Integrated Modular Avionics (IMA) has emerged in the field of avionics systems. The IMA approach can dramatically reduce production and maintenance costs and increase reliability of these safety-critical real time systems. The IMA hardware and foundation software must be able to provide guarantees to the application software so that the real-time constraints of all applications are simultaneously satisfied. In addition, each application must be protected from interference by other applications and the operating system software must itself be protected while physically sharing resources such as processors and communication hardware and busses. In other words, an IMA implementation requires that the concepts of spatial and temporal partitioning are provided and guaranteed. This paper introduces a scheduling tool and its algorithms that can be used to solve the fundamental temporal partitioning problems together with implementation related practical constraints. Based on the two-level scheduling hierarchy architecture of ARINC IMA standards, we model an IMA system composed of multiple partition servers and channel servers. A partition server models a protected application that may be composed of multiple concurrent tasks. A channel server provides temporally and spatially protected message transmission among applications. The ultimate objective of the tool is to provide schedules for both tasks and messages that provide for robust temporal partitioning.

UR - http://www.scopus.com/inward/record.url?scp=0034483470&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0034483470&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0034483470

VL - 1

BT - AIAA/IEEE Digital Avionics Systems Conference - Proceedings

PB - IEEE

CY - Piscataway, NJ, United States

ER -