ARINC 653
Entegre modüler aviyonikte uygulamaların zaman ve bellek bakımından bölümlenmesini ve işletim sistemi hizmet arayüzlerini tanımlayan aviyonik yazılım standardı.
ARINC 653'ün merkezinde aynı işlemciyi kullanan aviyonik uygulamaların birbirinin zaman bütçesini ve bellek alanını denetimsiz biçimde etkileyememesi vardır. Partition yaklaşımı bu izolasyonu yalnız süreç adıyla değil, planlanmış zaman pencereleri ve ayrılmış kaynak sınırlarıyla kurar.
Standart, uygulama yazılımının işletim sistemiyle hangi hizmetler üzerinden konuşacağını da tanımlar. Partition içindeki process planlaması ile partition'ların modül düzeyindeki zamanlaması aynı katman değildir; bu ayrım worst-case davranışı incelerken önem kazanır.
ARINC 653 ile Zamansal ve Mekansal Bölümlendirme yazısında partition schedule, health monitoring ve kritik sistem izolasyonunu daha geniş bağlamda ele alıyorum.