EB401-10分區(qū)和區(qū)間管理 

分區(qū)（Partitioning）是ARINC653中一個核心概念。在IMA（Integrated Modular Avionics）系統(tǒng)中，一個核心模塊會包含一個或多個航空電子應(yīng)用，并且這些應(yīng)用要能夠獨(dú)立運(yùn)行。分區(qū)就是航空電子應(yīng)用中的一個功能劃分。分區(qū)的單位稱為區(qū)間，區(qū)間內(nèi)的每一個執(zhí)行單元稱為進(jìn)程。

EB401-10每一個區(qū)間具有自己獨(dú)立的數(shù)據(jù)、上下文和運(yùn)行環(huán)境，這樣做的好處是能夠防止一個區(qū)間的錯誤影響到其他區(qū)間。另外，它能使得整個系統(tǒng)容易驗(yàn)證、確認(rèn)和認(rèn)證。 區(qū)間化以及區(qū)間的管理和調(diào)度是由OS來實(shí)現(xiàn)的。ARINC653為區(qū)間的調(diào)度規(guī)定了一種基于時間窗的循環(huán)調(diào)度算法。這種調(diào)度算法的原理如圖2所示。 [align=center

] 

圖2 EB401-10基于時間窗的循環(huán)調(diào)度算法原理 [/align] 為了完成各區(qū)間的周期性調(diào)度，由OS維護(hù)一個固定時間長度的主時間框架，該時間框架在模塊的運(yùn)行期內(nèi)周期性的重復(fù)。每個時間框架可以劃分為若干個時間窗口。系統(tǒng)利用一個事先確定的配置表,在規(guī)定的時間窗口內(nèi)激活對應(yīng)區(qū)間的運(yùn)行。這樣就能夠保證每個應(yīng)用在分配給它的時間周期內(nèi)訪問公共資源不被打斷。 ARINC supplement 1對主時間框架的時間定義原則進(jìn)行了補(bǔ)充。

它規(guī)定主時間框架的大小應(yīng)該是核心模塊中所有區(qū)間周期的zui小公倍數(shù)的正整數(shù)倍，并應(yīng)考慮到每個區(qū)間每次執(zhí)行的時間長度和執(zhí)行頻率。 在ARINC653 Supplement 1發(fā)布時又增加了系統(tǒng)區(qū)間屬性和啟動條件屬性。區(qū)間的工作模式包括空閑，冷啟動，熱啟動和正常四種，如圖3所示。

EB401-10每個區(qū)間所需資源在系統(tǒng)構(gòu)建時，在區(qū)間初始化完成時區(qū)間對象創(chuàng)建。OS在進(jìn)入運(yùn)行模式時啟動應(yīng)用區(qū)間，然后區(qū)間進(jìn)入正常運(yùn)行模式。監(jiān)測管理功能在響應(yīng)致命錯誤時將重啟區(qū)間或者停止區(qū)間的運(yùn)行。 [align=center]

圖3 區(qū)間狀態(tài)轉(zhuǎn)化模型 [/align] 

EB401-10系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn) A-RTOS的系統(tǒng)結(jié)構(gòu)如圖4所示。在此系統(tǒng)中，各個應(yīng)用工作在所屬區(qū)間的環(huán)境中,并且應(yīng)用和內(nèi)核及各個應(yīng)用之間都被保護(hù)墻隔離，無法相互破壞，從而保證了核心模塊的可靠性。 [align=center] 

圖4 EB401-10的系統(tǒng)結(jié)構(gòu)[/align] 

ABB T4200PSF1 INDUSTRIAL CONTROL TRANSFORMER USED

ABB DA75-20 CONTACTOR WITH CAL5-11 USED

IFM EFECTOR IZ5026 INDUCTIVE SENSOR NEW

Hewlett Packard 5300B Measuring System 5304A Counter Used

PARKER REBUILD KIT 06F23C2240ACFR LOT OF 3 NEW (A29)

LOT OF 2 FUJI ELECTRIC SC-N1 MAGNETIC CONTACTOR USED

ORIENTAL MOTOR VHR315CM-GV AC MAGNETIC BRAKE MOTOR WITH GV3G36 GEAR HEAD (B09)

ORIENTAL MOTOR VHR315C-GV REVERSIBLE MOTOR WITH GV3G25 GEAR HEAD USED (B09)

LOT OF 2 JOHNSON CONTROLS P-5500-1018 PRESSURE RECEIVER INDICATOR NEW (B11)

Murr Elektronik 51300 Relay Used Nice

LOT 0F 7 SIEMENS 6ES7 193-4CD20-0AA0 SIMATIC DP TERMINAL TM-P15S23-A0 USED (A12)

FUJI ELECTRIC AP30C LED COMMAND CONTROLLER APCX026-H / APCX026-M USED (A06)

LOT OF 3 SQUARE D D221N SERIES E3 ENCLOSURE 30 AMPS 240 VAC 2 P0LE USED

EUCHNER TZ2RE024MVAB SAFTEY SWITCH WITH CABLE USED (A24)

LOT OF 2 RADIAL RF-20Z BEARING ROD END NEW (A34)

SQUARE D 8536SCO3S NEMA 1 SER A MOTOR STARTER SQUARE D 8536SC03S USED (B09)

LOT OF 9 ONAN 322-0137 LIGHT & 322-0168 LIGHT INDICATOR NEW (B03)

emecanique DL1-BDB1 LED Cluster White Lamp New In Box

LOT OF 21 MURATA NSK Z809 BALL BEARING MADE IN JAPAN NEW (B11)

LOT OF 14 SMC AN200-KM10 AN SERIES SILENCERS NEW (B14)

LOT OF 2 MUELLER A 17262 BI-DIRECTIONAL BALL VALVE 5/8" NEW (A19)

LOT OF 2 MUELLER A 17261 BI-DIRECTIONAL BALL VALVE 1/2" NEW (A19)

LOT OF 2 MUELLER A 17260 BI-DIRECTIONAL BALL VALVE 3/8" NEW (A19)

?