基于模型的嵌入式系统性能分析框架
作者:
基金项目:

国家自然科学基金(61572478,61472406,61472474)


Model-Based Performance Analysis Framework for Embedded Systems
Author:
Fund Project:

National High-Tech R&D Program of China (863) (2015AA015304); National Natural Science Foundation of China (61472052); Chongqing High-Tech Research Program (cstc2014yykfB40007)

  • 摘要
  • | |
  • 访问统计
  • |
  • 参考文献 [23]
  • |
  • 相似文献
  • |
  • 引证文献
  • | |
  • 文章评论
    摘要:

    在现代嵌入式系统中,性能的重要性日益凸显.传统的基于测量的性能分析方法在运行时对性能进行测试,往往在代码实现后才考虑实施.若此时发现的问题是体系结构或设计因素造成的,修复的代价将非常昂贵.提出了一种基于形式化模型的性能分析(formal method-based performance analysis,简称FMPA)方法框架,希望在系统开发的早期,对系统设计模型进行性能分析,以便尽早发现并解决潜在的性能问题.FMPA具有统一的对外接口(UML-MARTE),基于多种形式化模型,并可对多种系统性能指标进行分析.该方法适用于基于模型的开发过程,可为实时嵌入式系统的设计开发提供多项性能指标的参考.通过介绍利用实时模型检测技术分析响应时间与吞吐量,利用概率模型检测技术分析系统可靠性,以及FMPA方法的支撑工具FMPAer的总体设计方案,说明了FMPA方法框架的可行性.

    Abstract:

    System performance becomes more and more important in modern embedded systems. Traditionally, system performance is measured after the system has been implemented. When it fails to meet the requirement due to the design of the application at this stage, the cost of fixing them would be high. This paper presents a framework of formal method-based performance analysis (FMPA), whose goal is to detect potential performance problems at the early stage of the model-based procedure of system development. FMPA is aimed to analyse multiple performance criteria. It provides unified input models (UML-MARTE) and various formal models as analysis models. The feasibility of FMPA is illustrated by throughput and response time analysis with real-time model checking, by system reliability prediction using probabilistic model checking, and is further confirmed by the implementation of its support tool FMPAer.

    参考文献
    [1] Smith CU, Williams LG. Performance engineering of software systems. In:Lavagno L, Martin G, Selic B, eds. UML for Real:Design of Embedded Real-Time Systems. Dordrecht:Kluwer Academic Publishers, 2003. 343-365.
    [2] Balsamo S, Marco AD, Inverardi P, Simeoni M. Model-Based performance prediction in software development:A survey. IEEE Trans. on Software Engineering, 2004,30(5):295-310.
    [3] Becker S, Koziolek H, Reussner R. Model-Based performance prediction with the palladio component model. In:Proc. of the 6th Int'l Workshop on Software and Performance. ACM, 2007. 54-65.
    [4] Balsamo S, Personè VDN, Inverardi P. A review on queueing network models with finite capacity queues for software architectures performance prediction. Performance Evaluation, 2003,51(2-4):269-288.
    [5] UML Profile for MARTE:Modeling and analysis of real-time embedded systems. OMG Adopted Specification ptc/2010-08-33, ptc/2010-08-34.
    [6] Selic B, Gerard S. Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE:Developing Cyber-Physical Systems. New York:Elsevier, 2013.
    [7] Lopez-Grao JP, Merseguer J, Campos J. From UML activity diagrams to stochastic Petri nets:Application to software performance engineering. In:Proc. of the 4th Int'l Workshop on Software and Performance (WOSP 2004). 2004. 25-36.
    [8] Petriu DC, Woodside CM. Performance analysis with UML. In:Lavagno L, Martin G, Selic B, eds. UML for Real:Design of Embedded Real-Time Systems. Dordrecht:Kluwer Academic Publishers, 2003. 241-270.
    [9] FMPAer. http://lcs.ios.ac.cn/~zxy/tools/fmpaer.htm
    [10] Yan G, Zhu XY, Yan R, Li G. Formal throughput and response time analysis of MARTE models. In:Proc. of the 16th Int'l Conf. on Formal Engineering Methods (ICFEM 2014). LNCS 8829, 2014. 430-445.
    [11] Chai YS, Zhu XY, Yan RJ, Zhang GQ. MARTE models based system reliability prediction. Computer Science, 2015,42(12):82-86,91(in Chinese with English abstract).
    [12] Alur R, Dill DL. A theory of timed automata. Theoretical Computer Science, 1994,126(2):183-235.
    [13] Clarke EM, Emerson EA, Sistla AP. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. on Programming Languages and Systems, 1986,8(2):244-263.
    [14] Larsen KG, Pettersson P, Wang Y. UPPAAL in a nutshell. Int'l Journal on Software Tools for Technology Transfer, 1997,1(1):134-152.
    [15] Gokhale SS, Trivedi KS. Analytical models for architecture-based software reliability prediction:A unification framework. IEEE Trans. on Reliability, 2006,55(4):578-590
    [16] Cortellessa V, Singh H, Cukic B. Early reliability assessment of UML based software models. In:Proc. of the 3rd Int'l Workshop on Software and Performance. 2002. 302-309.
    [17] Forejt V, Kwiatkowska M, Norman G, Parker D. Automated verification techniques for probabilistic systems. In:Proc. of the 11th Int'l School on Formal Methods for the Design of Computer, Communication and Software Systems. Springer-Verlag, 2011. 53-113.
    [18] Kwiatkowska M, Norman G, Parker D. PRISM 4.0:Verification of probabilistic realtime systems. In:Proc. of the 23rd Int'l Conf. on Computer Aided Verification. Berlin:Springer-Verlag, 2011. 585-591.
    [19] http://www.eclipse.org/papyrus/
    [20] http://www.eclipse.org/atl/
    [21] Z3Opt. http://rise4fun.com/z3opt/tutorialcontent/guide
    附中文参考文献:
    [11] 柴叶生,朱雪阳,晏荣杰,张广泉.基于MARTE模型的系统可靠性预测.计算机科学,2015,42(12):82-86,91.
    相似文献
    引证文献
引用本文

朱雪阳.基于模型的嵌入式系统性能分析框架.软件学报,2016,27(S2):328-335

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2016-09-20
  • 最后修改日期:2016-11-17
  • 在线发布日期: 2017-01-10
文章二维码
您是第19762348位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号