检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]北京航空航天大学电子信息工程学院,北京100191
出 处:《北京航空航天大学学报》2011年第10期1282-1287,共6页Journal of Beijing University of Aeronautics and Astronautics
基 金:国家自然科学基金资助项目(60879024)
摘 要:在分区管理模型应用于航空电子核心处理系统的研究中,合理的分区参数设计是保障航空电子系统任务关键和安全关键的一个重要因素.在标准模型的基础上,建立了上层调度器采用动态优先级调度策略的分区管理模型;通过对处理器忙周期进行考察,提出了给定请求时间长度下分区最大抢占影响的计算算法,能从微观的角度解释动态优先级下原子时间抢占行为的影响;通过对分区内任务集的计算负载进行计算,并考虑到计算负载在分区最后一次执行时间内的请求执行时间长度带来的抢占影响,得到了下层调度器采用固定优先级和动态优先级策略下的分区安全设计方法;通过计算仿真评估,结果表明提出的安全分区设计方法比基于虚拟处理资源方法具有更优的设计结果.During the research on the application of partition management model into avionic integrated core processor (ICP) , the reasonable partition parameters design is an important factor to ensure the missioncritical and safety-critical guarantee for the whole system. Based on the standard model, the extended model that the upper scheduler adopts the dynamical priority scheduling strategy was proposed. Through observing partition behavior during the processing busy period, the worst-case preemptive effect calculating algorithm for any given requested time length was obtained, which explains the atomic preemption behavior under the dy- namical priority in detail from a more microscopic aspect. By calculating the task load for task set and considering the preemptive influence caused by the requested time length which extends to the last partition execution window for the task load, the safe partition parameters design solutions were also established for the priority based scheduling strategy in the lower scheduler. The simulation experiment shows that the safe partition parameters design algorithms have a higher efficiency than the virtual processing resource method.
关 键 词:航空系统工程 核心处理 安全关键 分区设计 动态优先级
分 类 号:V247[航空宇航科学与技术—飞行器设计] TP316[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:18.118.173.146