□ 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


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    MPSoC hypervisor: The safe & secure future of avionics


    Beteiligte:


    Erscheinungsdatum :

    2015-09-01


    Format / Umfang :

    4721364 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    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