ARINC 653
Авиационный стандарт, позволяющий нескольким программам с разным уровнем критичности работать на одном компьютере, не мешая друг другу.
Стандарт опубликован в 1996 году и неразрывно связан с интегрированной модульной авионикой (IMA), где несколько мощных компьютеров заменили сотни узкоспециализированных блоков. На этой идее построены и Boeing 787, и Airbus A380. Работает она лишь при условии, что сбой в журналировании развлекательной системы салона не потянет за собой ничего важного.
ARINC 653 требует изоляции двух видов. Пространственной: у каждого раздела своя память, границы которой обеспечивает MMU. И временной: фиксированное расписание, главный кадр (major frame), заранее определяет, сколько миллисекунд получит каждый раздел, что бы ни делали остальные. С системой приложения общаются через API APEX. Стандарт реализуют VxWorks 653, INTEGRITY-178 и PikeOS.