ARINC 653
Farklı güvenlik seviyelerindeki birçok programın, birbirini bozamadan tek bir bilgisayarı paylaşmasını sağlayan havacılık standardı.
1996’da yayımlanan standart, yüzlerce özel kutunun yerini birkaç güçlü bilgisayarın aldığı bütünleşik modüler aviyoniğin (IMA) ayrılmaz parçasıdır. Hem Boeing 787 hem de Airbus A380 bu fikre dayanır. Ancak bu yalnızca kabindeki eğlence sistemi günlükçüsünün çökmesi daha önemli hiçbir şeyi beraberinde sürüklemiyorsa işe yarar.
ARINC 653 iki tür yalıtım ister. Alan olarak: her bölüm kendi belleğini alır ve bunu MMU zorlar. Zaman olarak: büyük çerçeve (major frame) denen sabit bir çizelge, diğerleri ne yaparsa yapsın her bölüme kaç milisaniye düşeceğini önceden belirler. Uygulamalar sistemle APEX API’si üzerinden konuşur. VxWorks 653, INTEGRITY-178 ve PikeOS bunu uygular.