【摘 要】
：
嵌入式实时系统在安全关键领域变得越来越重要,其广泛应用于航空航天、汽车电子等具有严格时间约束的实时系统中.随着嵌入式系统的复杂度越来越高,在系统开发的早期设计阶段
【机 构】
：
西北工业大学计算机学院,西北工业大学软件学院
【基金项目】
：
国家自然科学基金(61772423)。
论文部分内容阅读
嵌入式实时系统在安全关键领域变得越来越重要,其广泛应用于航空航天、汽车电子等具有严格时间约束的实时系统中.随着嵌入式系统的复杂度越来越高,在系统开发的早期设计阶段就需要对其可调度性进行分析评估.系统中的存储资源会对可调度性产生一定影响,在抢占式实时嵌入式系统引入缓存后,任务的最坏执行时间可能发生变化.因此,分析缓存相关抢占延迟对实时嵌入式系统的可调度性影响,一直以来是困扰大规模复杂系统架构设计的一个技术难题.提出一种面向软件架构级别、基于抢占调度序列的缓存相关抢占延迟计算方法,用来分析缓存相关抢占延迟约束
其他文献
【目的】探讨土壤增温对冬小麦生长发育、耗水特性及产量的影响。【方法】采用埋设于地表以下1.2 m的供热管道给土壤增温,在土壤增温期间,距供热管道0、0.5、1.0 m和1.5 m的
姚广孝是明初的杰出人物,在政治史、军事史、思想史、宗教史、文化史、科技史上的任何一项成就,都足以让他傲视千古,不愧于“千古第一全才”的赞誉。然而,自明中期以后姚广孝
【目的】探索滴灌施肥在香蕉集约化种植模式下的应用效果,为香蕉科学合理施肥提供技术支持。【方法】采用田间试验方法,设置不施肥(CK)、A处理(N 309.7 kg/hm2,N、P2O5、K2O
篇目是志书编写的蓝图、编纂的大纲,成书时作为志书卷首的目录和内容分类检索的主要渠道。篇目是否科学合理可行,是志书编纂能否成功的基础。方志学者梅森说“方志编纂学研究
在GitHub平台中,许多项目贡献者在提交Pull Request(PR)时往往会忽略提交PR描述,这使得提交的PR容易被评审者忽略或者拒绝.因此,自动生成PR描述以帮助项目贡献者提高PR通过率
【目的】明确多种光谱特征值与滴灌马铃薯叶片氮累积量的定量关系。【方法】在大田滴灌模式下,选用不同马铃薯品种为试验材料,设置5个氮肥水平,分别为0、150、300、450、600
形式化方法为安全协议分析提供了理论工具,但经过形式化验证过的协议标准在转换为具体程序实现时,可能无法满足相应的安全属性.为此,提出了一种检测安全协议代码语义逻辑错误
近代研究学者张垚说“真实才是历史的灵魂”[1]。《地方综合年鉴编纂出版规定》第三章第十八条强调“年鉴资料应真实”“未经核实的资料不得收录”[2]。真实性验证是年鉴编纂
【目的】探明施磷量和灌溉方式对水稻分蘖期、拔节孕穗期磷素吸收利用的影响。【方法】以杂交稻C两优608为材料进行盆栽试验,分别设置P1(0 g/kg)、P2(0.18 g/kg)、P3(0.36 g/
航天器等安全关键系统是典型的嵌入式系统,具有多任务并发、中断频发等特点.操作系统是其最基础的软件,构建一个正确的操作系统是保障航天器系统高可信运行的关键.异常管理作