Краткий обзор HeartOS
HeartOS — это встраиваемая операционная система для авионического оборудования, обеспечивающая сертификацию DO-178C, поддержку многоядерных процессоров и разделение ресурсов. Программный продукт HeartOS (рус. ХартОС) от компании-разработчика DDC-I предназначен для использования в критических системах авионики, обеспечивая выполнение требований сертификации DO-178C. Система предоставляет возможности жёсткого реального времени, модульности ПО, разделения времени и ресурсов, поддерживает API ARINC-653 и POSIX, а также включает технологии для оптимизации работы многоядерных процессоров и повышения уровня безопасности.
Подробнее: https://www.ddci.com

