Title: Real-time virtual machines for avionics software migration

Authors: Lui Sha, Chang-Gun Lee

Addresses: Department of Computer Science, University of Illinois at Urbana Champaign, Urbana, IL 61801, USA. ' School of Computer Science and Engineering, Seoul National University, Seoul 151-744, Korea

Abstract: 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 (http://www.ddci.com/products_darts.shtml; http://ic.arc.nasa.gov/publications/pdf/2000-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.

Keywords: generalised rate monotonic scheduling; GRMS; schedulability; avionics software migration; logical federation architecture; embedded systems; virtual machines; flight control standards; re-certification.

DOI: 10.1504/IJES.2006.014852

International Journal of Embedded Systems, 2006 Vol.2 No.3/4, pp.156 - 165

Published online: 12 Aug 2007 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article