-
题名面向AADL模型的存储资源约束可调度性分析
被引量：1
- 1
-
-
作者
陆寅
秦树东
习乐琪
董云卫
-
机构
西北工业大学计算机学院
西北工业大学软件学院
-
出处
《软件学报》
EI
CSCD
北大核心
2021年第6期1663-1681,共19页
-
基金
国家自然科学基金(61772423)。
-
文摘
嵌入式实时系统在安全关键领域变得越来越重要,其广泛应用于航空航天、汽车电子等具有严格时间约束的实时系统中.随着嵌入式系统的复杂度越来越高,在系统开发的早期设计阶段就需要对其可调度性进行分析评估.系统中的存储资源会对可调度性产生一定影响,在抢占式实时嵌入式系统引入缓存后,任务的最坏执行时间可能发生变化.因此,分析缓存相关抢占延迟对实时嵌入式系统的可调度性影响,一直以来是困扰大规模复杂系统架构设计的一个技术难题.提出一种面向软件架构级别、基于抢占调度序列的缓存相关抢占延迟计算方法,用来分析缓存相关抢占延迟约束下AADL(架构分析和设计语言)模型的可调度性.扩展了AADL关于存储资源架构设计的模型元素,来支持对缓存属性进行建模,提出一种基于模型构件进行抢占序列排序、缓存相关抢占延迟时间计算和被抢占任务最坏执行时间的估算方法,来对系统架构各功能构件在共享系统存储资源下系统的可调度性进行分析.还实现了分析缓存相关抢占延迟约束下的系统任务可调度性分析工具原型,并以某型飞机机载开放式智能信息系统为例,在航空电子系统架构设计中进行尝试,验证了该方法的在复杂系统设计中的对实时性分析的可行性.
-
关键词
软件架构分析与设计语言AADL
复杂嵌入式系统
缓存相关抢占延迟
资源约束的可调度性
-
Keywords
AADL
complex embedded system
cache related preemption delay
resource constraint schedulability
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
