程序最坏执行时间(Worst Case Execution Time,WCET)是嵌入式实时系统时间属性验证的基础,在采用静态分析技术的WCET估算中需要分阶段对不同的执行环境约束条件进行分析,并整合所有约束信息、结合程序控制流结构估算全局最坏路径,因此...程序最坏执行时间(Worst Case Execution Time,WCET)是嵌入式实时系统时间属性验证的基础,在采用静态分析技术的WCET估算中需要分阶段对不同的执行环境约束条件进行分析,并整合所有约束信息、结合程序控制流结构估算全局最坏路径,因此各阶段分析的中间结果对最终的WCET估算性能具有较大影响.在现代嵌入式系统中,硬件平台中的Cache机制成为对执行时间影响较大的硬件体系结构,对其进行精确的行为分析在WCET估算中具有重要的现实意义.采用抽象解释理论对Cache行为进行分析已有较为成熟的技术成果和相关工具,但由于静态分析技术具有较难理解和使用的特点,对于技术没有覆盖、工具没有支持的硬件架构,针对这类硬件架构进行相关研究和验证工具开发都具有较大难度和挑战.该文以抽象解释为理论基础,以复用Cache分析过程为目标,提出了基于抽象解释的模块化Cache行为分析框架,对Cache行为分析过程进行了层次划分,提出了易于复用的Cache行为分析方法设计,能够针对不同架构的Cache机制分析方法进行建模,并以统一的分析框架对分析过程进行复用.案例实验表明,该框架可支持采用抽象解释对使用LRU策略的Cache行为进行建模分析,并能够得到Cache命中情况标记信息以支持后续WCET的估算过程.展开更多
The sixth generation(6G)of wireless cellular networks is expected to incorporate the latest developments in network infrastructure and emerging advances in technology.In the age of 6G,edge caching technology will evol...The sixth generation(6G)of wireless cellular networks is expected to incorporate the latest developments in network infrastructure and emerging advances in technology.In the age of 6G,edge caching technology will evolve towards intelligence,dynamics,and security.However,the security problems of edge caching,including data tampering and eavesdropping,are seldomly considered in most literatures.In this paper,we consider the two-hop edge caching where the blockchain and physical layer security technologies are adopted to prevent data from being tampered with and eavesdropped.We design blockchain-based framework to guarantee the reliability of important data such as the frequency of contents and jointly optimize content caching probability and redundancy rate to maximize the secure transmission probability.Extensive simulation shows that our optimization scheme can significantly improve the secure transmission probability of edge cache network,whether facing the threat of independent eavesdropping or joint eavesdropping.展开更多
针对城市场景的蜂窝车联网(cellular vehicle to everything,C-V2X)中车辆缓存节点高效选择和合理的缓存文件分配问题,提出了基于跨层信息的C-V2X缓存分配算法(Cross-layer Caching Allocation for C-V2X,CLCA)。该算法在LTE-V2X mode3...针对城市场景的蜂窝车联网(cellular vehicle to everything,C-V2X)中车辆缓存节点高效选择和合理的缓存文件分配问题,提出了基于跨层信息的C-V2X缓存分配算法(Cross-layer Caching Allocation for C-V2X,CLCA)。该算法在LTE-V2X mode3模式下,由基站周期地收集覆盖范围内节点的连接度、信噪比和信道接入时延信息,并重新划分邻居归属,构建跨层信息邻接矩阵,再采用贪婪分配的方法筛选缓存节点,以减少缓存节点数量,节约通信资源并降低开销。进而,以服从Zipf分布的文件流行度分布为基础,采用文件流行度预测概率与历史周期实际流行度概率加权叠加的方式,提高文件流行度预测的准确性,再根据缓存容量合理配置缓存文件。仿真分析表明,该算法可以有效提高节点的文件获取效率,降低文件传输时延,减少基站负载。展开更多
文摘程序最坏执行时间(Worst Case Execution Time,WCET)是嵌入式实时系统时间属性验证的基础,在采用静态分析技术的WCET估算中需要分阶段对不同的执行环境约束条件进行分析,并整合所有约束信息、结合程序控制流结构估算全局最坏路径,因此各阶段分析的中间结果对最终的WCET估算性能具有较大影响.在现代嵌入式系统中,硬件平台中的Cache机制成为对执行时间影响较大的硬件体系结构,对其进行精确的行为分析在WCET估算中具有重要的现实意义.采用抽象解释理论对Cache行为进行分析已有较为成熟的技术成果和相关工具,但由于静态分析技术具有较难理解和使用的特点,对于技术没有覆盖、工具没有支持的硬件架构,针对这类硬件架构进行相关研究和验证工具开发都具有较大难度和挑战.该文以抽象解释为理论基础,以复用Cache分析过程为目标,提出了基于抽象解释的模块化Cache行为分析框架,对Cache行为分析过程进行了层次划分,提出了易于复用的Cache行为分析方法设计,能够针对不同架构的Cache机制分析方法进行建模,并以统一的分析框架对分析过程进行复用.案例实验表明,该框架可支持采用抽象解释对使用LRU策略的Cache行为进行建模分析,并能够得到Cache命中情况标记信息以支持后续WCET的估算过程.
基金This work was supported by the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 824019in part by Special Funds for Central Universities Construction of World-Class Universities(Disciplines)in part by China 111 Project(B16037).
文摘The sixth generation(6G)of wireless cellular networks is expected to incorporate the latest developments in network infrastructure and emerging advances in technology.In the age of 6G,edge caching technology will evolve towards intelligence,dynamics,and security.However,the security problems of edge caching,including data tampering and eavesdropping,are seldomly considered in most literatures.In this paper,we consider the two-hop edge caching where the blockchain and physical layer security technologies are adopted to prevent data from being tampered with and eavesdropped.We design blockchain-based framework to guarantee the reliability of important data such as the frequency of contents and jointly optimize content caching probability and redundancy rate to maximize the secure transmission probability.Extensive simulation shows that our optimization scheme can significantly improve the secure transmission probability of edge cache network,whether facing the threat of independent eavesdropping or joint eavesdropping.
文摘针对城市场景的蜂窝车联网(cellular vehicle to everything,C-V2X)中车辆缓存节点高效选择和合理的缓存文件分配问题,提出了基于跨层信息的C-V2X缓存分配算法(Cross-layer Caching Allocation for C-V2X,CLCA)。该算法在LTE-V2X mode3模式下,由基站周期地收集覆盖范围内节点的连接度、信噪比和信道接入时延信息,并重新划分邻居归属,构建跨层信息邻接矩阵,再采用贪婪分配的方法筛选缓存节点,以减少缓存节点数量,节约通信资源并降低开销。进而,以服从Zipf分布的文件流行度分布为基础,采用文件流行度预测概率与历史周期实际流行度概率加权叠加的方式,提高文件流行度预测的准确性,再根据缓存容量合理配置缓存文件。仿真分析表明,该算法可以有效提高节点的文件获取效率,降低文件传输时延,减少基站负载。
