GNAT Pro Safety Critical для микропроцессоров ARM Cortex

Комплекс средств разработки на языке Ada GNAT Pro Safety Critical компании AdaCore теперь поддерживает микропроцессоры ARM Corteх — в дополнение к уже поддерживаемым PowerPC и LEON. Применение какой-либо встраиваемой операционной системы на ARM Cortex не требуется, что позволяет использовать язык Ada для разработки ПО систем с ограниченными ресурсами (bare board). GNAT Pro Safety Critical предназначен для разработки ПО систем, подлежащих сертификации по стандартам DO-178B/DO-178C (авиация), DO-278/DO-278A (системы УВД), EN 50128 (ж/д транспорт) и ECSS-E-ST-40C/ ECSS-Q-ST-80C (космос).