INTEGRITY-178 tuMP Multicore RTOS - DO-178C with CAST-32A
INTEGRITY-178 tuMP multicore RTOS is both safety-critical to DO-178C DAL A with CAST-32A mitigation and security-critical to EAL6+ for MILS, MLS, and CDS.
Xilinx Zynq Xilinx Zynq Ultra Green Hills Software National Cross Domain Strategy Management Office Hills Software Future Airborne Capability Environment
Source: ghs.com