пакет, основанный на операционной системе реального времени VxWorks AE653, предназначен для разработки ПО встраиваемых систем, сертифицируемых в соответствии с требованиями стандартов надежности RTCA DO-178B и ARINC653. VxWorks AE653 управляет системой Common Core System, которая является основой бортовой авионики Boeing 7E7 Dreamliner. В течение 20 лет планируется выпустить 3,5 тыс. Dreamliner. Тот же самый набор программных средств применяется компанией Smith Aerospace в программе модернизации бортовой авионики транcпортного самолета Boeing C-130. В рамках этой программы, согласно условиям Агентства национальной безопасности США, планируется сертифицировать Platform SC ARINC653 для выполнения требований высшего уровня надежности EAL7.