期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

构件化嵌入式软件设计的能耗性质分析与验证 被引量：4

Formal Analysis and Verification of Energy Properties for Component-based Embedded Software Designs
下载PDF
导出
摘要 从嵌入式软件设计模型层对构件化实时嵌入式软件系统中能耗相关性质进行研究,包括:扩展了实时接口自动机在能耗语义方面的描述能力,通过引入状态能量消耗率,建立了能耗接口自动机形式化模型以及自动机网络,用以建模嵌入式软件设计阶段系统构件及其构件组合的能耗行为特征;对能耗接口自动机网络的状态空间进行了形式化分析,构造了相应的可兼容整型空间的可达图,并在此基础上给出了最小能耗计算和最大能耗验证的算法。 The effective analysis and verification of system energy consumption properties of compo- nent-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 synchro- nized by some shared actions. For the problems of minimal energy consumption calculation and maxi- mal energy consumption verification, two algorithms are developed respectively based on analyzing the integral state space of the energy interface automaton network and its compatible reachability graph.
作者 曹东 胡军 徐丙凤
机构地区 南京航空航天大学自动化学院 南京航空航天大学信息科学与技术学院 南京大学计算机软件新技术国家重点实验室
出处 《南京理工大学学报》 EI CAS CSCD 北大核心 2009年第1期26-31,共6页 Journal of Nanjing University of Science and Technology
基金 航空基金(2007ZD52043) 教育部博士点基金(20070287052)
关键词 嵌入式软件 构件式设计 能耗分析 软件验证 接口自动机 embedded softwares component-based designs energy comsumption analysis software verification interface automata
分类号 TP302.7 [自动化与计算机技术—计算机系统结构]
  • 相关文献

参考文献8

  • 1Hom J, Kremer U. Inter-program compilation for disk energy reduction [ A ]. Power-Aware Computer Systems, Third International Workshop PACS 2003 [ C ]. CA: San Diego, Springer-Verlag, 2003. 13-25.
  • 2Guo Y, Chheda S, Moritz A C. Runtime biased pointer reuse analysis and its application to energy efficiency[ A]. Power-Aware Computer Systems, Third International Workshop PACS2003 [ C ]. CA : San Diego, Springer-Verlag, 2003. 1 - 12.
  • 3游静,徐建,赵学龙,刘凤玉.一种嵌套的软件抗衰策略及其模型[J].南京理工大学学报,2006,30(1):43-47. 被引量：2
  • 4Hu J, Yu X F, Zhang Y, et al. Checking componentbased embedded software designs for scenario-based timing specifications[A]. The proceedings of the 2005 IFIP International Conference on Embedded and Obiquitous computing [ C ]. Nagasaki, Japan: SpringerVerlag, 2005. 395-404.
  • 5Alfaro L, Henzinger T A. Interface automata[J]. ESEC/SIGSOFT FSE, 2001, 26(5) : 109 -120.
  • 6Hu J, Yu X F, Zhang Y, et al. Scenario based verification for component-based embedded software designs [ A ]. Proc of 34th International Conference on Parallel Processing Workshops [ C ]. Washington D C, USA : IEEE CS, 2005. 240 - 247.
  • 7Farkas I K, Flinn J, Back G, et al. Quantifying the energy consumption of a pocket computer and a java virtual machine [ A ]. Proceedings of International Conference on Measurements and Modeling of Computer Systems[C]. New York, USA: ACM, 2000. 252-263.
  • 8Tan T K, Raghunathan A, Jha N K. Energy macro modeling of embedded operating systems [ J ]. ACM Transactions on Embedded Computing Systems, 2005, 4(1): 231 -254.

二级参考文献9

  • 1Huang Y,Kintala C,Kolettis N,et al.Software rejuvenation:Analysis,module and applications[A].Proceedings of the 25th Symposium on Fault Tolerant Computer System[C].Pasadena,CA:IEEE Computer Society,1995.381-390.
  • 2Castelli V,Harper R E,Heidelberger P,et al.Proactive management of software aging[J].IBM JRD,2001,45(2):311-332.
  • 3Liu Y,Ma Y,Han J J,et al.Modeling and analysis of software rejuvenation in cable modem termination system[A].Proceedings 13th International Symposium on Software Reliability Engineering 2002[C].Annapolis,MD:IEEE Computer Society,2002.159-170.
  • 4Pfening A,Garg S,Puliafito A,et al.Optimal software rejuvenation for tolerating soft failures[J].Performance Evaluation,1996,27/28(4):491-506.
  • 5Garg S,Puliafito A,Telek M,et al.Analysis of preventive maintenance in transactions based software systems[J].IEEE Transactions on Computers,1998,47(1):96-107.
  • 6Garg S,Puliafito A,Trivedi KS.Analysis of software rejuvenation using Markov regenerative stochastic Petri net[A].Proceedings of ISSRE 1995[C].Toulouse,France:IEEE Computer Society,1995.180-187.
  • 7Trivedi K S,Vaidyanathan K,Goseva-Popstojanova K.Modeling and analysis of software aging and rejuvenation[A].Proceedings of the IEEE Annual Simulation Symposium [C].Washington,DC:IEEE Computer Society,2000.
  • 8Dohi T,Goseva-Popstojanova K,Trivedi K S.Analysis of software cost models with rejuvenation[A].Proceedings of 5th IEEE International Symposium on High Assurance Systems Engineering[C].Albuquerque,New Mexico:IEEE Computer Society,2000.
  • 9Garg S,Puliafito A,Telek M,et al.On the analysis of software rejuvenation policies[A].Proceedings of the 12th Annual Conference on Computer Assurance[C].Gaithersburg,MD:IEEE Computer Society,1997.88-96.

共引文献1

同被引文献24

引证文献4

二级引证文献13

南京理工大学学报
2009年 第1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部