首页> 中文会议>2016全国第十四届嵌入式系统学术会议 (ESTC2016) >基于模型的嵌入式系统性能分析框架

基于模型的嵌入式系统性能分析框架

摘要

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

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号