期刊文献+

分布式软件系统运行时监测框架研究 被引量:1

Research on framework for distributed software runtime monitoring
下载PDF
导出
摘要 软件监测是评价大规模分布式系统行为是否符合预期的重要手段,也是进一步实施在线调整和演化活动的前提和基础。给出了一个名为Mega的分布式软件系统运行时监测框架,可以支持具备监测能力的分布式软件系统的开发和运行。一方面,该框架通过引入一种专门的监测需求描述语言,在分布式系统中实现了监测逻辑和功能逻辑的分离,使得监测逻辑可以高效开发和独立维护。另一方面,该框架通过引入为监测数据处理而设计的事件模型,使得大规模系统的监测具备可伸缩和可扩展性。在阐述Mega框架特点的基础上,进一步给出了基于这一框架的若干监测设计模式,可以有效支持具备监测能力的大规模系统开发。 Software monitoring is an important means to check whether a large-scale distributed sys- tem complies with its intended behavior, which is the foundation of further online adjustment and evolu- tion activities. This paper proposes a framework named Mega that supports the development and run ning of monitoring-enabled distributed software systems. On the one hand, a dedicated language is in- troduced into the framework to describe where and what should be monitored at runtime, which sepa- rates the monitoring logic and the functional logic and enables the former to be developed efficiently and maintained independently. On the other hand, an event-based model for monitoring data processing is introduced, which is scalable and extensible in large-scale distributed systems. Based on the description of the feature of the Mega framework, this paper presents a set of monitoring design patterns as well, which can support the development of large-scale distributed systems with monitoring capability.
作者 刘东红 邹鹏
出处 《计算机工程与科学》 CSCD 北大核心 2013年第6期24-29,共6页 Computer Engineering & Science
基金 国家自然科学基金资助项目(90818028 61202117)
关键词 运行时监测 框架 分布式软件 runtime monitoring software framework ~ distributed software
  • 相关文献

参考文献13

  • 1Bertolino A. Software testing research: Achievements, chal- lenges, dreams[C]//Proc of Future of Software Engineer- ing, 2007:85-103.
  • 2Clarke E M, Wing J M. Formal methods: State of the art and future directions [J ]. ACM Computing Surveys (CSUR), 1996, 28(4) :626-643.
  • 3王怀民,唐扬斌,尹刚,李磊.互联网软件的可信机理[J].中国科学(E辑),2006,36(10):1156-1169. 被引量:59
  • 4Baresi L, Nitto E D, Ghezzi C. Toward open-world software: Issue and ehallenges[J]. Computer, 2006, 39(10):36-43.
  • 5Mens T, Demeyer S. Software evolution[M]. New York: Springer Verlag, 2008.
  • 6Delgado N, Gates A Q, Roach S. A taxonomy and catalog of runtime software fault monitoring tools[J]. IEEE Transac tions on Software Engineering, 2005, 30(12):859-872.
  • 7Chen F, Rosu G. Mop: An efficient and generic runtime veri- fication framework[J]. ACM SIGPLAN Notices, 2007, 42 (10) :569-588.
  • 8Kim M, Viswanathan M, Kannan S, et al. Java-MaC: A run- time assurance approach for Java programs[J]. Formal Methods in System Design, 2004, 24(1) : 129-155.
  • 9Johnson R E. Frameworks : (components+ patterns) [J]. Communications of the ACM, 1997,40(10):39-42.
  • 10Birrer I, Chevalley P, Pasetti A, et aI. An aspect weaver for qualifiable applications[C]//Proc of Data System in Aerospace Conference, 2004 : 1.

二级参考文献35

  • 1林闯,彭雪海.可信网络研究[J].计算机学报,2005,28(5):751-758. 被引量:253
  • 2闵应骅.容错计算二十五年[J].计算机学报,1995,18(12):930-943. 被引量:16
  • 3Anderson J P.Computer Security Technology Planning Study.ESD-TR-73-51,Vol.I,AD-758 206,ESD/AFSC,Hanscom AFB,Bedford MA,October 1972
  • 4ISO/IEC,Information technology-security Techniques-Evaluation Criteria for IT Security.Part 1:Introduction and General Model.2nd ed.2005.(Available at URL:http://standards.iso.org/ittf/PubliclyAvailableStandards/c040612_ISO_IEC_15408-1_2005(E).zip,accessed on April 14,2006)
  • 5Trusted Computing Group,TCG Architecture Overview,v1.2,28 April 2004.(Available at URL:https://www.trustedcomputinggroup.org/specs/IWG/TCG 1 0 Architecture_Overview.pdf,accessed on April 14,2006)
  • 6Gates B.Trustworthy Computing.Wired News,Jan.17,2002.(Available at URL:http://www.wired.com/news/business/0,1367,49826,00.html,accessed on April 14,2006)
  • 7Algirdas A,Jean-Claude L,Brian R,et al.Basic concepts and taxonomy of dependable and secure computting.IEEE Trans Dependable Secure,2004,1(1):11-33
  • 8Friedman B,Kahn P H Jr,Howe D C.Trust online.Comm of the ACM,2000,43(12):34-40
  • 9Lazowska E D,Patterson D A.Distributed computing.Science,2005,308(6),May (Available at URL:http://www.sciencemag.org/sciext/computers/,accessed on April 14,2006)
  • 10Beruardo E A,Huberman A,Free Riding on Gnutella.Tech Rept:SSL-00-63,XeroxPARC,2000.8

共引文献58

同被引文献8

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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