Please use this identifier to cite or link to this item: http://hdl.handle.net/1822/36907

TitleA customizable and ARINC 653 quasi-compliant hypervisor
Author(s)Tavares, Adriano
Carvalho, Adriano
Rodrigues, Pedro
Garcia, Paulo
Gomes, Tiago Manuel Ribeiro
Cabral, Jorge
Cardoso, Paulo
Montenegro, Sérgio
Ekpanyapong, M.
KeywordsHypervisor
Virtual machine monitor
Virtualization
Real-time
IMA architecture
ARINC 653
Safety-critical
Partitioned software architecture
Ring compression
Issue date2012
PublisherIEEE
Abstract(s)This paper presents a novel hypervisor, developed for aerospace applications using an object oriented approach that embodies time and space partitioning (TSP) on a PowerPC (PPC) core embedded in a FPGA, for the NetworkCentric core avionics [1] - an architecture of cooperating components and managed by a real-time operating system, to implement dependable computing and targeting simplicity. To support Integrated Modular Architecture (IMA) [2] partitioned software architectures, the proposed hypervisor adapted to the aerospace application domain the Popek and Goldberg's [3] fidelity, efficiency and resource control virtualization requirements, and extends them with additional ones like timing determinism, reactivity and improved dependability. A distinctive feature of this hypervisor is its I/O device virtualization approach that guarantees real-time performance and small trusted computing base. The object oriented approach will be particularly useful to customize key components of the hypervisor (with different granularity levels) such as partition scheduling and the communications manager using generative programming techniques (Aspect Oriented Programming (AOP) and template meta-programming).
TypeConference paper
URIhttp://hdl.handle.net/1822/36907
ISBN978-1-4673-0340-8
DOI10.1109/ICIT.2012.6209928
ISSN978-1-4673-0342-2
Peer-Reviewedyes
AccessRestricted access (UMinho)
Appears in Collections:CAlg - Artigos em livros de atas/Papers in proceedings

Files in This Item:
File Description SizeFormat 
06209928.pdf
  Restricted access
1,45 MBAdobe PDFView/Open

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu ORCID