【摘 要】
：
针对现有嵌入式系统最坏执行时间（WCET）的静态分析方法效率低下问题,利用最小传播算法对程序流进行分析,获得程序中每一个基本块的最小树约束,通过象征性循环上界约束对所求函
【机 构】
：
湖南大学信息科学与工程学院,湖南省嵌入式与网络计算重点实验室
【基金项目】
：
广东省产学研合作重大专项基金资助项目（2012-391）
论文部分内容阅读
针对现有嵌入式系统最坏执行时间（WCET）的静态分析方法效率低下问题,利用最小传播算法对程序流进行分析,获得程序中每一个基本块的最小树约束,通过象征性循环上界约束对所求函数中的内部循环变量进行再次约束,并结合最小树约束获得程序的WCET表达式。使用静态预估分析方法对每一个基本块的底层指令周期进行绝对估值,将底层指令周期代入WCET表达式计算出程序最终的WCET值。实验结果表明,与基于程序控制流程图的程序执行时间静态分析方法相比,该方法在保证程序分析精度的同时,大幅提高了分析效率。
其他文献
近年来,由于日益广泛的应用领域对地理信息系统(GIS)的要求不断提高,使得GIS技术迅速发展,许多计算机领域的新技术如WebGIS技术、面向对象的数据库技术、三维技术、图像处理、人工智能技术和GPU计算技术都融合应用到GIS中,为GIS提供了先进的发展工具和手段。本文针对其发展趋势提出组建GIS图形工作站,图形工作站技术将在未来GIS的发展中发挥着越来越重要的作用。
利用地基GPS气象学技术,对南极地区的气象进行研究,比较了GPS/PWV和用探空方式得到的Radio/PWV,画出了两者的PWV时间序列图,显示具有较好的一致性,验证了GPS遥感大气的精度和准确性,为以后南极气象研究提供参考。
针对位置服务应用中，基于道路网络的移动对象连续K最近邻（ CKNN ）查询实时响应速度慢的问题，提出基于方向关系约束的移动对象CKNN查询算法CDR-CKNN。采用锥形模型建立方向关系表