EB401-10分區(qū)和區(qū)間管理
分區(qū)(Partitioning)是ARINC653中一個(gè)核心概念。在IMA(Integrated Modular Avionics)系統(tǒng)中,一個(gè)核心模塊會(huì)包含一個(gè)或多個(gè)航空電子應(yīng)用,并且這些應(yīng)用要能夠獨(dú)立運(yùn)行。分區(qū)就是航空電子應(yīng)用中的一個(gè)功能劃分。分區(qū)的單位稱為區(qū)間,區(qū)間內(nèi)的每一個(gè)執(zhí)行單元稱為進(jìn)程。
EB401-10每一個(gè)區(qū)間具有自己獨(dú)立的數(shù)據(jù)、上下文和運(yùn)行環(huán)境,這樣做的好處是能夠防止一個(gè)區(qū)間的錯(cuò)誤影響到其他區(qū)間。另外,它能使得整個(gè)系統(tǒng)容易驗(yàn)證、確認(rèn)和認(rèn)證。 區(qū)間化以及區(qū)間的管理和調(diào)度是由OS來實(shí)現(xiàn)的。ARINC653為區(qū)間的調(diào)度規(guī)定了一種基于時(shí)間窗的循環(huán)調(diào)度算法。這種調(diào)度算法的原理如圖2所示。 [align=center
]
圖2 EB401-10基于時(shí)間窗的循環(huán)調(diào)度算法原理 [/align] 為了完成各區(qū)間的周期性調(diào)度,由OS維護(hù)一個(gè)固定時(shí)間長(zhǎng)度的主時(shí)間框架,該時(shí)間框架在模塊的運(yùn)行期內(nèi)周期性的重復(fù)。每個(gè)時(shí)間框架可以劃分為若干個(gè)時(shí)間窗口。系統(tǒng)利用一個(gè)事先確定的配置表,在規(guī)定的時(shí)間窗口內(nèi)激活對(duì)應(yīng)區(qū)間的運(yùn)行。這樣就能夠保證每個(gè)應(yīng)用在分配給它的時(shí)間周期內(nèi)訪問公共資源不被打斷。 ARINC supplement 1對(duì)主時(shí)間框架的時(shí)間定義原則進(jìn)行了補(bǔ)充。
它規(guī)定主時(shí)間框架的大小應(yīng)該是核心模塊中所有區(qū)間周期的zui小公倍數(shù)的正整數(shù)倍,并應(yīng)考慮到每個(gè)區(qū)間每次執(zhí)行的時(shí)間長(zhǎng)度和執(zhí)行頻率。 在ARINC653 Supplement 1發(fā)布時(shí)又增加了系統(tǒng)區(qū)間屬性和啟動(dòng)條件屬性。區(qū)間的工作模式包括空閑,冷啟動(dòng),熱啟動(dòng)和正常四種,如圖3所示。
EB401-10每個(gè)區(qū)間所需資源在系統(tǒng)構(gòu)建時(shí),在區(qū)間初始化完成時(shí)區(qū)間對(duì)象創(chuàng)建。OS在進(jìn)入運(yùn)行模式時(shí)啟動(dòng)應(yīng)用區(qū)間,然后區(qū)間進(jìn)入正常運(yùn)行模式。監(jiān)測(cè)管理功能在響應(yīng)致命錯(cuò)誤時(shí)將重啟區(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)中,各個(gè)應(yīng)用工作在所屬區(qū)間的環(huán)境中,并且應(yīng)用和內(nèi)核及各個(gè)應(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)
?