EB401-10分区和区间管理 

分区（Partitioning）是ARINC653中一个核心概念。在IMA（Integrated Modular Avionics）系统中，一个核心模块会包含一个或多个航空电子应用，并且这些应用要能够独立运行。分区就是航空电子应用中的一个功能划分。分区的单位称为区间，区间内的每一个执行单元称为进程。

EB401-10每一个区间具有自己独立的数据、上下文和运行环境，这样做的好处是能够防止一个区间的错误影响到其他区间。另外，它能使得整个系统容易验证、确认和认证。 区间化以及区间的管理和调度是由OS来实现的。ARINC653为区间的调度规定了一种基于时间窗的循环调度算法。这种调度算法的原理如图2所示。 [align=center

] 

图2 EB401-10基于时间窗的循环调度算法原理 [/align] 为了完成各区间的周期性调度，由OS维护一个固定时间长度的主时间框架，该时间框架在模块的运行期内周期性的重复。每个时间框架可以划分为若干个时间窗口。系统利用一个事先确定的配置表,在规定的时间窗口内激活对应区间的运行。这样就能够保证每个应用在分配给它的时间周期内访问公共资源不被打断。 ARINC supplement 1对主时间框架的时间定义原则进行了补充。

它规定主时间框架的大小应该是核心模块中所有区间周期的zui小公倍数的正整数倍，并应考虑到每个区间每次执行的时间长度和执行频率。 在ARINC653 Supplement 1发布时又增加了系统区间属性和启动条件属性。区间的工作模式包括空闲，冷启动，热启动和正常四种，如图3所示。

EB401-10每个区间所需资源在系统构建时，在区间初始化完成时区间对象创建。OS在进入运行模式时启动应用区间，然后区间进入正常运行模式。监测管理功能在响应致命错误时将重启区间或者停止区间的运行。 [align=center]

图3 区间状态转化模型 [/align] 

EB401-10系统设计与实现 A-RTOS的系统结构如图4所示。在此系统中，各个应用工作在所属区间的环境中,并且应用和内核及各个应用之间都被保护墙隔离，无法相互破坏，从而保证了核心模块的可靠性。 [align=center] 

图4 EB401-10的系统结构[/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)

​