Hover, Inc, has created a RTCA DO-178C Design Assurance Level (DAL) A hard Real Time Operating System (RTOS) with a dataloader. The RTOS is ARINC 653 Part 1 required services compliant and the dataloader is ARINC 615A compliant.
The RTOS is unique in that it is optimized for multi-core ARM architectures with complex built-in safety and security features. It provides the spatial and temporal partitioning features necessary to integrate software applications at all levels of safety criticality.
It is supported by our Integrated Development Environment (IDE) with a structural coverage analysis tool.
