资料下载
×
基于模型的嵌入式系统性能分析框架
消耗积分:3 |
格式:rar |
大小:2.87 MB |
2018-01-04
分享资料个
在现代嵌入式系统中，性能的重要性日益凸显．传统的基于测量的性能分析方法在运行时对性能进行测试，往往在代码实现后才考虑实施．若此时发现的问题是体系结构或设计因素造成的，修复的代价将非常昂贵．提出了一种基于形式化模型的性能分析（formal method-based performance analysis，简称FMPA）方法框架，希望在系统开发的早期对系统设计模型进行性能分析，以便尽早发现并解决潜在的性能问题.FMPA具有统一的对外接口（UML-MARTE），基于多种形式化模型，并可对多种系统性能指标进行分析．该方法适用于基于模型的开发过程，可为实时嵌入式系统的设计开发提供多项性能指标的参考．通过介绍利用实时模型检测技术分析响应时间与吞吐量，利用概率模型检测技术分析系统可靠性，以及FMPA方法的支撑工具FMPAer的总体设计方案，说明了FMPA方法框架的可行性．
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
