Программный продукт Deos (рус. Деос) от компании-разработчика DDC-I предназначен для создания надёжных и безопасных авионических систем, отвечающих критическим требованиям к безопасности. Обеспечивает сертификацию по стандарту DO-178C уровня Design Assurance Level A, поддерживает многоядерные технологии, разделение ресурсов, API ARINC653 и FACE Safety Base, а также гарантирует выполнение задач в жёстких временных рамках.