基于模型的嵌入式系统性能分析框架
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

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


Model-Based Performance Analysis Framework for Embedded Systems
Author:
Affiliation:

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)

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    在现代嵌入式系统中,性能的重要性日益凸显.传统的基于测量的性能分析方法在运行时对性能进行测试,往往在代码实现后才考虑实施.若此时发现的问题是体系结构或设计因素造成的,修复的代价将非常昂贵.提出了一种基于形式化模型的性能分析(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.

    参考文献
    相似文献
    引证文献
引用本文

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

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

京公网安备 11040202500063号