构件化嵌入式软件设计的能耗性质分析与验证

• 作者: 徐丙凤 曹东 胡军
• 来源期刊: 南京理工大学学报(自然科学版)
• 学科: 工学
• 关键词: 嵌入式软件 构件式设计 能耗分析 软件验证 接口自动机
• 年，卷（期）: 2009,（1）
• 页码范围: 26-31
• 页数: 6页
• 分类号: TP302.7
• 字数: 4627字
• 语种: 中文
• DOI: 10.3969/j.issn.1005-9830.2009.01.006

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	胡军	南京航空航天大学信息科学与技术学院	41	358	10.0	18.0
5	徐丙凤	南京航空航天大学信息科学与技术学院	16	297	9.0	16.0
6	曹东	南京航空航天大学自动化学院	22	96	6.0	9.0