Optimal Static Partition Configuration in ARINC653 System

来源 :Journal of Electronic Science and Technology | 被引量 : 0次 | 上传用户:huahuaaixue
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
ARINC653 systems, which have been widely used in avionics industry, are an important class of safety-critical applications. Partitions are the core concept in the Arinc653 system architecture. Due to the existence of partitions, the system designer must allocate adequate time slots statically to each partition in the design phase. Although some time slot allocation policies could be borrowed from task scheduling policies, no existing literatures give an optimal allocation policy. In this paper, we present a partition configuration policy and prove that this policy is optimal in the sense that if this policy fails to configure adequate time slots to each partition, nor do other policies. Then, by simulation, we show the effects of different partition configuration policies on time slot allocation of partitions and task response time, respectively. ARINC653 systems, which have been widely used in avionics industry, are an important class of safety-critical applications. Partitions are the core concept in the Arinc653 system architecture. Due to the existence of partitions, the system designer must allocate adequate time slots statically to each partition in the design phase. Although some time slot allocation policies could be borrowed from task scheduling policies, no existing literatures give an optimal allocation policy. In this paper, we present a partition configuration policy and prove that this policy is optimal in the sense that if this policy fails to configure adequate time slots to each partition, nor do other policies. Then, by simulation, we show the effects of different partition configuration policies on time slot allocation of partitions and task response time, respectively.
其他文献
由国家发改委、工信部、中国纺织工业协会共同起草完成的《纺织工业振兴三年规划》(2009年~2011年)2月4日通过了国务院审议,规划提出了统筹国际国内两个市场、加强技术改造和
Regional aviation was a common topic of discussion inside the industry inrecent years. This is, above all, because regional aviation is still at a primary stage
3月4日,波音宣布与EsterlineCMC电子公司签订协议,后者将为选定机型提供2类电子飞行包(EFB)硬件,这些硬件将在飞机生产或改装过程中进行安装,新一代737是首批进行安装的机型
一、概述DME(distance measuring equipment)是非自主式脉冲近程测距导航系统,起源于二次大战时期的美国。用于提供距离信息以结合全向信标给出的方位信息,确定飞机的位置,构
12月14日,风电技术中心研发的国内首个具有实时测风功能的甘肃电网风电功率预测系统正式上线,根据风电场预测的出力曲线优化常规机组的出力,为风电的运行调度提供技术支撑,保
中国民用航空(No.17) 2002.5Ronald Ashford 先生离开英国民航局后,在欧洲JAA曾担任主席、秘书长多年,负责编制和监控航空安全标准,至今仍在领导着一个小组正在忙于JAA关于允许
直升机作为一种便利的交通工具,自诞生之日起就在各个领域得以广泛应用。在西方发达国家,直升机已被广泛用于医疗急救、治安执法、消防、 As a convenient means of transpo
“以市场换技术”是改革开放以来我国在各行业普遍采用的一种技术引进方式,但是从实施效果来看,大部分行业通过出让市场并没有换来本土企业技术水平的 “Market-for-techno
卢龙县人武部近3年来,全部上下呈现出风气顺事业兴的良好局面。2005年,被北京军区评为国防工程维护先进单位,部党委连续两年被省军区评为先进人武部党委。谈起这些变化和成绩
亚太地区港口国监控(PSC)的协商组织东京MOU,最近公布了优先进行监控的船旗国(地区)的黑名单,进入黑名单的16个船旗国(地区)为朝鲜、印尼、柬埔寨、伯利兹、越南、洪都拉斯