|
|||||
|
|
| 构件化嵌入式软件设计的能耗性质分析与验证 | |
| 引用本文： | 曹东,胡军,徐丙凤. 构件化嵌入式软件设计的能耗性质分析与验证[J]. 南京理工大学学报(自然科学版), 2009, 33(1) |
| 作者姓名： | 曹东 胡军 徐丙凤 |
| 作者单位： | 1. 南京航空航天大学,自动化学院,江苏,南京,210016 2. 南京航空航天大学,信息科学与技术学院,江苏,南京,210016;南京大学,计算机软件新技术国家重点实验室,江苏,南京,210093 3. 南京航空航天大学,信息科学与技术学院,江苏,南京,210016 |
| 基金项目： | 航空基金，教育部高等学校博士学科点专项科研基金 |
| 摘 要： | 从嵌入式软件设计模型层对构件化实时嵌入式软件系统中能耗相关性质进行研究,包括:扩展了实时接口自动机在能耗语义方面的描述能力,通过引入状态能量消耗率,建立了能耗接口自动机形式化模型以及自动机网络,用以建模嵌入式软件设计阶段系统构件及其构件组合的能耗行为特征;对能耗接口自动机网络的状态空间进行了形式化分析,构造了相应的可兼容整型空间的可达图,并在此基础上给出了最小能耗计算和最大能耗验证的算法. |
| 关 键 词： | 嵌入式软件 构件式设计 能耗分析 软件验证 接口自动机 |
Formal Analysis and Verification of Energy Properties for Component-based Embedded Software Designs |
|
| CAO Dong,HU Jun,XU Bing-feng. Formal Analysis and Verification of Energy Properties for Component-based Embedded Software Designs[J]. Journal of Nanjing University of Science and Technology(Nature Science), 2009, 33(1) | |
| Authors: | CAO Dong HU Jun XU Bing-feng |
| Affiliation: | 1.College of Automation;Nanjing University of Aeronautics and Astronautics;Nanjing 210016;China;2.College of Information Science and Technology;3.State Key Laboratory for Novel Software Technology;Nanjing University;Nanjing 210093;China |
| Abstract: | The effective analysis and verification of system energy consumption properties of component-based embedded software in the stage of system design are studied.The real-time interface automata are extended with power semantics by assigning energy consumption rates in each system state,which is called energy interface automaton.The system compositional behaviors can be represented by an energy interface automaton network which consists of a set of energy interface automata synchronized by some shared actions.... |
| Keywords: | embedded softwares component-based designs energy comsumption analysis software verification interface automata |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |