公共文化服务平台

搜索到1167篇“ 可调度性分析“的相关文章

资源限制性并行任务固定优先级可调度性分析: 2024年; 异构多核平台的发展,导致并行任务需要执行在具有多样性资源的多核平台上.虽然,并行任务的某个程序片段只能在规定的资源上执行,但是这样操作可以充分利用各类不同资源的特性,达到更加快速节能处理任务的目的.同时,具有资源限制任务的可调度性研究在实时嵌入式系统领域已有一定的研究成果,但是采用的任务模型相对简单,分析方法不够精确.鉴于此,本文对具有资源限制性的并行任务在全局固定优先级调度策略下的可调度性问题进行了研究,基于单并行任务的分析方法提出了基于全局固定优先级调度策略的分析方法.首先,基于分解策略提出了高优先级任务干涉的分析方法.然后,将高优先级任务干涉分析方法和单并行任务提出的路径抽象技术相结合,推导出并行任务的最差响应时间算法.最后,通过仿真实验进行验证所提出的算法在可调度性、精确度层面的性能.实验结果表明,提出的算法在各个参数下的接受率实验符合实验预期,分析时间相对降低,但平均分析时间仍然在离线分析的可接受范围内,提出的算法能够对实时系统并行软件设计提供一定的指导价值.; 韩美灵孙施宁金曦邓庆绪郑彬双夏长清宋波; 关键词：异构多核嵌入式实时系统可调度性分析

一种实时任务可调度性分析方法及装置: 本发明提供了一种实时任务可调度性分析方法及装置，该方法包括：获取包括多个实时任务的任务集；根据实时任务的相对截止时间，从任务集中确定最大截止期；根据最大截止期，确定处理器时间轴的初始化二进制序列和实时任务的任务二进制序列...; 刘洪标王婷煜陈熙张锦坤宋程昊徐建彭飞乔磊刘波

一种多处理器系统AADL模型可调度性分析方法: 本发明涉及一种多处理器系统的AADL模型可调度性分析与验证方法，属于嵌入式软件可信属性验证领域。该方法综合考虑了节点内线程的并发关系、节点间线程的同步关系以及通信时消息的响应时间对线程调度的影响，通过分析AADL模型线程...; 张明超陆寅刘凤愿

一种实时系统可调度性分析工具设计: 2023年; 面对航空电子系统高度综合化、模块化的要求,在系统设计中广泛采用符合ARINC653规范的分区系统模型。规范中要求系统采用分区间、分区内的两层调度结构,而在多分区、多任务、强实时性的复杂系统中,系统设计者难以在运行前判定系统的可调度性,从而带来系统不确定性。针对上述问题,通过分析ARINC653调度结构,提出影响系统可调度性的关键指标,基于某国产集成开发环境,设计了一种可调度性分析工具,通过解析配置文件、判断调度表合理性、计算调度表、输出调度表结果的方法得到系统可调度性分析结果,为判定系统可调度性提供了有效的支撑。; 孙景昌高雅濛张磊; 关键词：实时系统 ARINC653 可调度性分析

机载多分区系统可调度性分析算法研究: 2023年; 机载领域普遍采用符合ARINC653标准的分区操作系统支撑应用软件综合化。在分区操作系统的两级调度模型下,机载软件苛刻的实时性要求通常难以得到有效的确定性保证,因此对系统进行可调度性分析显得至关重要。通过可调度性分析算法判断调度表是否能满足分区内进程的实时性要求,是保障系统中所有的进程在规定的时间内完成运算任务的有效手段。基于运筹学方法,通过引入虚拟进程,设计了一种多分区系统可调度性分析算法,并进行了数值验证。验证结果表明,该算法能够准确判断调度表与进程时间属性是否匹配,给出系统是否可调度的定性分析结论,帮助系统集成人员在系统实际运行前对调度表的合理性进行先期验证,降低试验和试飞风险。; 张旻张旻武君胜崔西宁; 关键词：ARINC653 可调度性分析

基于网络演算的多窗口分区可调度性分析被引量：2: 2023年; ARINC653-2规范定义综合模块化航空电子(IMA)实时操作系统采用分区和任务两层调度方案,在该框架下的任务可调度性分析是保证航空电子系统实时性、可靠性的关键。目前的可调度性分析无法计算多窗口分区下任务最大响应时间(WCRT)。为此,基于网络演算模型对服务能力的封装,定义处理平台服务曲线为平台所能提供计算资源的服务函数,定义分区任务到达曲线为分区任务对平台计算资源的需求函数。分析处理平台的服务曲线和分区任务的到达曲线,计算得到任务的最大响应时间,继而进行可调度性判断,由此从服务能力和服务需求角度诠释分区系统任务最大响应时间分析的物理意义。设计了主时间框架下分区包含多个激活窗口的验证案例,结果表明:本方法可以得到与传统WCRT分析同等的精度,并且能够准确计算分区包含多激活窗口条件下的任务最大响应时间,实现了网络演算视角下分区系统可调度性的解释。; 何锋张立于思凡周璇; 关键词：ARINC653 网络演算可调度性分析

面向民机姿态控制软件的并行化和可调度性分析: 飞行器姿态控制系统是关系飞行器飞行成败的关键航电系统之一，飞行器姿态控制系统需要实时地解算出飞行器的俯仰角、滚转角等飞行参数，飞行器姿态控制系统为硬实时系统，硬实时系统不允许任何不满足时间特性的情况出现，一旦出现将会导致...; 杨国栋; 关键词：并行化可调度性

面向综合化航空电子系统的组合可调度性分析方法: 本发明公开了一种面向综合化航空电子系统的组合可调度性分析方法，包括：利用AADL，扩展分区属性集和资源属性集，得到面向综合模块化航空电子系统的架构模型；对架构模型进行实例化，生成实例化文件aaxl2；通过解析并遍历实例化...; 杨志斌胡乔乔郭鹏周勇黄志球

基于最差响应时间的混合关键系统任务可调度性分析方法: 本发明提供了一种基于最差响应时间的混合关键系统任务可调度性分析方法，本发明首先给出混合双安全关键(DM)任务模型，并对系统行为重新定义；结合系统安全关键级转换时任务周期、优先级的变化，给出混合关键任务最差响应时间推导过程...; 朱怡安张志靖李联赵瑞娇

一种基于时间折叠的周期任务可调度性分析方法: 本发明涉及一种基于时间折叠的周期任务可调度性分析方法，属于计算机应用技术领域。通过定义区间点、时间轴的概念，对于问题窗口内任务产生的作业进行响应时间分析，从而得到任务的可调度性分析结果。时间折叠算法根据作业的优先级的高低...; 朱怡安史先琛李联

相关作者