Architecting a Bare-Metal Separation Kernel: Enforcing ARINC 653 on Cortex-M4

By Youssef ATTIA 1.0 The Safety Case: Why Isolation Matters In the world of avionics, "blue screens of death" are not an option. If the In-Flight Entertainment (IFE) system crashes, it cannot be allowed to take down the Landing Gear controller. To so...