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 It is supported by our Integrated Development Environment (IDE) which includes a structural coverage analysis tool for identifying dead and deactivated code.
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 compatible with our H1.0 and H2.0 computing platforms.
- Configuration of partitions and processes
- Lightweight < 200 KB
- Performance monitoring/ timing analysis (worst and best case execution time)
- Assembly, C and C++ debugger
- Structural coverage analysis
- ARINC 615A and ARINC 653 Part 1
- Minimal context switch latency (< 2.5 µs)
- A proprietary boot mechanism provides a secure and safe start-up