论文部分内容阅读
结构分析设计语言（AADL）可以描述嵌入式系统的实时性、可靠性等关键性能特性，是嵌入式领域的体系结构建模、分析和验证的重要手段。针对嵌入式系统能耗无法预知的问题，提出了一种基于AADL和11PN（时间Petri网）的系统能耗建模与分析方法。该方法利用AADL基本语言建立了系统级架构模型，通过系统能耗相关性能分析，利用AADL属性集定义了能耗相关属性。由于AADL只是一种半形式化的语言，对系统的执行不够精确，而Petri网能较好地描述和模拟离散事件系统的动态行为及过程，为此，定义了AADL到TPN的模型转换