Integrated Modular Avionics (IMA) is driving computer systems to manage and protect increasingly high value and complex information and applications across the aircraft. Virtualization is a promising emerging technology in avionics systems as a mechanism for consolidating disparate operating environments and functions onto a single computer. However, from a security perspective, commercial virtualization solutions add to the already fertile attack surface of general-purpose operating systems. This paper will provide an overview of embedded hypervisor technology and propose a MILS- and IMA-compliant virtualization architecture that assures the safety and security of critical applications while incorporating highly functional general purpose virtualized environments. A practical avionics application of this architecture will be presented.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    MILS virtualization for Integrated Modular Avionics


    Contributors:


    Publication date :

    2008-10-01


    Size :

    878557 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Integrated modular avionics

    Prisaznuk, P.J. | IEEE | 1992


    Cost Effective Integrated Modular Avionics

    Grove, J. R. / Coker, R. J. / IEEE; Dayton Section et al. | British Library Conference Proceedings | 1996


    Modular Integrated Avionics Group (MIAG)

    Dialameh, O. / Association for Unmanned Vehicle Systems | British Library Conference Proceedings | 1994


    Cost effective integrated modular avionics

    Grove, J.R. / Coker, R.J. | IEEE | 1996


    SEcuring Integrated Modular Avionics Computers

    Dessiatnikoff, Anthony / Nicomette, Vincent / Alata, Eric et al. | IEEE | 2013