Efficient schedulability analysis for mixed-criticality systems under deadline-based scheduling

来源 :Chinese Journal of Aeronautics | 被引量 : 0次 | 上传用户:hzsbf
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Safety-critical avionics systems which become more complex and tend to integrate multiple functionalities with different levels of criticality for better cost and power efficiency are subject to certifications at various levels of rigorousness. In order to simultaneously guarantee temporal constraints at all different levels of assurance mandated by different criticalities, novel scheduling techniques are in need. In this paper, a mixed-criticality sporadic task model with multiple virtual deadlines is built and a certification-cognizant dynamic scheduling approach referred as earliest virtual-deadline first with mixed-criticality(EVDF-MC) is considered, which exploits different relative deadlines of tasks in different criticality modes. As for the corresponding schedulability analysis problem, a sufficient and efficient schedulability test is proposed on the basis of demand-bound functions derived in the mixed-criticality scenario. In addition, a modified simulated annealing(MSA)-based heuristic approach is established for virtual deadlines assignment. Experiments performing simulations with randomly generated tasks indicate that the proposed approach is computationally efficient and competes well against the existing approaches. Safety-critical avionics systems which become more complex and tend to integrate multiple functionalities with different levels of criticality for better cost and power efficiency are subject to certifications at various levels of rigorousness. In order to simultaneously guarantee temporal constraints at all different levels of assurance mandated by different criticalities, novel scheduling techniques are in need. In this paper, a mixed-criticality sporadic task model with multiple virtual deadlines is built and a certification-cognizant dynamic scheduling approach referred as earliest virtual-deadline first with mixed-criticality (EVDF- MC) is considered, which exploits different relative deadlines of tasks in different criticality modes. As for the corresponding schedulability analysis problem, a sufficient and efficient schedulability test is proposed on the basis of demand-bound functions derived in the mixed-criticality scenario. In addition, a modified simulated annealing (MSA) -base Experiments performing simulations with randomly generated tasks indicate that the proposed approach is computationally efficient and competes well against the existing approaches.
其他文献
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
当今时代是一个知识经济时代,多读书读好书对一个人的成长有着很重要的影响,如何解决县级图书馆共建共享资源建设中的问题,改善县级图书馆的藏书内容,使县级图书馆提高对居民
根据我国宏观经济运行形式中出现的投资增长过快、信贷投放过多、贸易顺差过大等问题,中央银行从2006年开始实施紧缩性货币政策来控制银行信贷,缓解流动性过剩状况。从2006年至
中央多次强调,要把组织部门建设成为高举中国特色社会主义伟大旗帜、深入贯彻落实科学发展观的模范部门,把组工干部队伍建设成为讲党性、重品行、作表率的过硬队伍。我们要从
现如今,我国农业种植结构有所调整,这进一步促进了绿豆的生产发展,其作为我国富有特色的农副产品,具有很大的经济价值,对于提高农民收入有很大的帮助。下文主要分析了我国东
本文概述国内外橡胶颗粒沥青混合料研究现状,以及其性能特点,提出影响混合料推广的主要原因是耐久性问题.结合相关研究,认为将高黏沥青应用在橡胶颗粒混合料中是解决其耐久性
介绍了易热宝(R)纤维的吸湿发热原理和主要的功能特点,并与EKS纤维进行对比.介绍了易热宝(R)纤维在针织上的应用,包括易热宝(R)纤维纱线的技术设计、纱线的组分和配比设计、
电网企业作为关系国计民生、服务人民群众的责任主体,承担着服务地方经济发展、服务百姓民生的重任。在党的群众路线教育实践活动开展过程中,国网吉安供电公司把履行社会责任
期刊
在新的历史条件下,林业的地位和作用发生了重大变化,面临新的形势和任务,林业纪检监察工作的重要性也日益突出,而加强林业纪检监察队伍建设是做好纪检监察工作的重要 Under