□ Multicore only feasible path forward to improve processor performance □ Separation ◻ Provides safety and security by isolating independent functions and providing well-defined and characterized channels for interaction between those functions ◻ Reduces likelihood of covert side channels (security breach) as well as reducing chances of unanticipated consequences or failures (safety violation). □ To realize benefits of IMA, separation must be clearly demonstrated. ◻ Validation spans hardware and software, thus vendors of subsystems must cooperate with system integrator (and perhaps each other) to provide coordinated evidence of safety and security properties ◻ IMA security and safety properties of hardware and software cannot be considered in isolation - the whole system must be certified


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    MPSoC hypervisor: The safe & secure future of avionics




    Publication date :

    2015-09-01


    Size :

    4721364 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    MPSoC hypervisor: The safe & secure future of avionics

    VanderLeest, Steven H. / White, Dagan | IEEE | 2015


    A safe & secure arinc 653 hypervisor

    VanderLeest, Steven H. / Greve, David / Skentzos, Paul | IEEE | 2013


    LiveView and P2serialcmds Co-Verification Software for NGIS and Embedded MPSoC Instrument Avionics

    Shao, Eugene / Anderson, Joshua / Mechem, Vanessa et al. | IEEE | 2020


    LiveView and P2serialcmds Co-Verification Software for NGIS and Embedded MPSoC Instrument Avionics

    Dolman, David / Shin, Simon / Klimesh, Matthew et al. | NTRS | 2020


    RUST FOR SAFE AND SECURE AVIONICS AND MISSION SYSTEM SOFTWARE

    Taylor, M. / Ehlinger, J. / Imig, J. et al. | TIBKAT | 2021