论文部分内容阅读
从嵌入式软件设计模型层对构件化实时嵌入式软件系统中能耗相关性质进行研究，包括：扩展了实时接口自动机在能耗语义方面的描述能力，通过引入状态能量消耗率，建立了能耗接口自动机形式化模型以及自动机网络，用以建模嵌入式软件设计阶段系统构件及其构件组合的能耗行为特征；对能耗接口自动机网络的状态空间进行了形式化分析，构造了相应的可兼容整型空间的可达图，并在此基础上给出了最小能耗计算和最大能耗验证的算法。