公共文化服务平台

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

航电系统计算平台多核处理器的DAG可调度性分析优化: 2025年; 随着高性能的多核处理器在客机航空电子系统中被应用,并且有向无环图(Directed Acyclic Graph,DAG)被用于模型功能依赖,本文研究运行在同构多处理器平台上的单周期非抢占式DAG,致力于减少DAG的完成时间并提供一个紧密而安全的界限,充分利用DAG拓扑节点的两个关键因素:并行性和依赖性.首先,引入了一个并发父子模型(Concurrent Parent and Children Model,CPCM),它精确地捕捉了上述两个因素,并且可以在解析DAG时递归地应用.在CPCM基础上,提出了一种新的调度方法减少最大完工时间,节点按以下顺序排列:1)关键路径;2)关键路径的早期前驱路径;3)更长的路径.其次,提出了一种新的响应时间分析,它为非关键节点的任何执行顺序提供了一个通用的界限,并为固定的执行顺序提供了一个特定的界限.实验表明该可调度性分析方法优于其他方法.; 杨欢王晓东何佩何佩姚红静刘尊; 关键词：多核

基于AADL的DIMA系统建模与可调度性分析方法: 2024年; 随着航空电子系统功能的复杂性不断增加,航空电子架构由综合化向分布式综合化(DIMA)发展.考虑网络延迟的DIMA系统可调度性分析成为一个重要挑战.本文提出基于AADL(Architecture Analysis and Design Language)的DIMA系统架构建模和可调度性分析方法.首先,提出光纤通道(Fibre Channel,FC)网络属性集扩展和自定义调度算法属性集扩展,构建DIMA系统架构模型;其次,提出一种支持复杂自定义调度算法的DIMA系统可调度分析框架,其中包括OPNET网络延迟分析、自定义调度算法建模与验证及AADL模型到Cheddar模型的转换;最后,基于工业界实际案例分析所提方法的有效性.; 胡乔乔杨志斌黄志球黄志球; 关键词：AADL 光纤通道网络可调度性分析

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

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

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

一种基于需求上界函数的任务自动机可调度性分析方法: 本发明属于实时系统的实时调度和模型检测领域，具体涉及一种基于需求上界函数的任务自动机可调度性分析方法。该方法为：建立任务自动机系统模型；对任务自动机系统的每个任务自动机生成其对应的状态迁移系统；通过建立线性规划模型I和线...; 史荣晓薛业凯孙景昊

多处理器环境下核能系统的建模与可调度性分析: 韩秀丽

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

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

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

加载更多 ∨

相关作者

用户反馈

相关作者

用户登录

用户反馈