论文部分内容阅读
同步数据流图被广泛用于多媒体和数字信号处理程序等流应用程序的建模。流应用程序须达到一定吞吐量才能流畅运行，利用异构多核处理器来进一步提高流应用程序的吞吐量已经成为当今嵌入式系统的发展趋势，但是提高吞吐量往往伴随着能耗的增加。为了解决这个问题，基于异构多核平台的同步数据流图系统模型，给出了求解所有能耗和吞吐量的帕累托优化点及其相应静态调度的方法。首先将系统模型转换为时间自动机网络，并将分析目标转换为时序逻辑公式；再使用实时模型检测工具UPPAAL寻找解决方案；最后对UPPAAL返回的结果进行分析，找出满足要