POS

分區操作

POS(partitionoperationsystem),在傳統的嵌入式實時操作系統中,內核和應用都運行在同一特權級,應用程序可以無限制的訪問整個系統地址空間。

目錄

正文


因此在某些情況下,應用的潛在危險動作會影響其他應用和內核的正常運行,甚至導致系統崩潰或者誤操作。
為了滿足航空電子對高可靠性、高可用性以及高服務性的要求,1997年1月ARINC發布了ARINC653(航空電子應用軟體標準介面),並於2003年7月發布ARINC653 Supplement 1,對區間管理、區間通信及健康監測部分進行了補充說明,用以規範航空電子設備和系統的開發。
分區(Partitioning)是ARINC653中一個核心概念。在IMA(Integrated Modular Avionics)系統中,一個核心模塊會包含一個或多個航空電子應用,並且這些應用要能夠獨立運行。分區就是航空電子應用中的一個功能劃分。分區的單位稱為區間,區間內的每一個執行單元稱為進程。每一個區間具有自己獨立的數據、上下文和運行環境,這樣做的好處是能夠防止一個區間的錯誤影響到其他區間。另外,它能使得整個系統容易驗證、確認和認證。
採用arinc標準的操作系統設計原理將傳統操作系統分為兩級,一個是CoreOS,任務是區間化以及區間的管理和調度,CoreOS的上層就是POS,即分區操作系統,在POS的上層才是應用程序的執行。