物理耦合软件时间行为建模和分析方法研究

项目名称： 物理耦合软件时间行为建模和分析方法研究

项目编号： No.61173179

项目类型： 面上项目

立项/批准年度： 2012

项目学科： 计算机科学学科

项目作者： 吴国伟

作者单位： 大连理工大学

项目金额： 52万元

中文摘要： 物理耦合软件时间行为是系统时间操作方面的可信基础，物理耦合软件的计算进程和物理进程紧密耦合增加了时间分析的难度和复杂度，对物理耦合软件的时间行为建模和分析研究工作才开始开展，还处于探索研究阶段。 本项目尝试利用博弈预测理论进行物理耦合软件时间行为建模与分析，通过博弈理论与程序执行时间分析相结合的理论框架的建立，准确反映物理耦合软件运行的复杂环境对执行时间的影响，为物理耦合软件的时间行为提供新的分析方法：（1）建立软件时间行为分析的博弈模型，给出基于博弈建模的时间分析的一般策略和步骤、模型求解方法、模型的限定条件和复杂性分析、实验方法；（2）给出程序路径选择和学习模型，正确反映环境对软件时间行为的影响；（3）建立用于物理耦合软件时间行为分析工具平台及应用示范。 预期成果将为物理耦合软件的时间行为建模和分析提供科学基础，设计的分析工具将为对物理耦合软件的时间行为建模和分析提供完整有效的支撑。

中文关键词： 信息物理系统；最坏执行时间；多核调度；；

英文摘要：

英文关键词： Cyber Physical system；worst case execution time；multi core schedule；；