基于缓存抢占延迟约束下AADL模型的可调度性分析方法

摘要

本发明公开了一种基于缓存抢占延迟约束下AADL模型的可调度性分析方法，用于解决现有可调度性分析方法实时性差的技术问题。技术方案是根据可执行构件分配的存储资源大小初始化构件缓存利用率，并在特定调度算法下获取任务集在一次调度过程中的抢占序列，结合可执行构件的缓存利用率提出了基于抢占序列的CRPD计算方法。由于本发明方法是通过AADL线程构件存储资源预估值计算CRPD，因此在没有具体程序也可以对构件的缓存抢占延迟进行计算，故而可以普适地应用在AADL模型可调度性验证。特定调度策略下抢占序列刻画了调度过程中任务之间抢占行为，基于抢占序列的CRPD计算方法较UCB‑Union方法更为准确。