POS

因此在某些情況下，應用的潛在危險動作會影響其他應用和內核的正常運行，甚至導致系統崩潰或者誤操作。

為了滿足航空電子對高可靠性、高可用性以及高服務性的要求，1997年1月ARINC發佈了ARINC653（航空電子應用軟件標準接口），並於2003年7月發佈ARINC653 Supplement 1，對區間管理、區間通信及健康監測部分進行了補充説明，用以規範航空電子設備和系統的開發。

分區（Partitioning）是ARINC653中一個核心概念。在IMA(Integrated Modular Avionics)系統中，一個核心模塊會包含一個或多個航空電子應用，並且這些應用要能夠獨立運行。分區就是航空電子應用中的一個功能劃分。分區的單位稱為區間，區間內的每一個執行單元稱為進程。每一個區間具有自己獨立的數據、上下文和運行環境，這樣做的好處是能夠防止一個區間的錯誤影響到其他區間。另外，它能使得整個系統容易驗證、確認和認證。

採用arinc標準的操作系統設計原理將傳統操作系統分為兩級，一個是CoreOS，任務是區間化以及區間的管理和調度，CoreOS的上層就是POS，即分區操作系統，在POS的上層才是應用程序的執行。