Real-time virtual machines for avionics software migration

Lui Sha, Chang Gun Lee

Research output: Contribution to journalArticlepeer-review


Generalised Rate Monotonic Scheduling (GRMS) theory has now been widely adopted in practice and supported by open standards. In recent years, Ada runtime and COTS RTOSs supporting GRMS have met the DO 178B flight control standard (;–0213.pdf). This creates strong incentives for the avionics industry to migrate from a traditional cyclical executive based system called a federated architecture to a GRMS based system to take advantage of GRMS’s flexibility, and theoretical schedulability analysis. However, the industry is reluctant to migrate due to enormous potential re-certification cost. This paper presents a novel software architecture called a Logical Federated Architecture (LFA) that greatly reduces re-certification cost due to the change of scheduling methods.

Original languageEnglish (US)
Pages (from-to)156-165
Number of pages10
JournalInternational Journal of Embedded Systems
Issue number3-4
StatePublished - 2006


  • GRMS
  • avionics software migration
  • generalised rate monotonic scheduling
  • logical federation architecture
  • schedulability

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture


Dive into the research topics of 'Real-time virtual machines for avionics software migration'. Together they form a unique fingerprint.

Cite this