基于交互式马尔科夫链模型检测的嵌入式系统性能评价技术方案

摘要

本发明提出了一种有效地对复杂嵌入式系统进行性能评价的技术方案。为了应对越来越复杂的嵌入式系统的性能评价问题，本发明提出采用一种新的交互式马尔科夫链(IMC)性能模型来抽象复杂嵌入式系统，采用一种改进的形式化语言基于动作的连续随机逻辑语言(aCSL)来描述性能规范，并利用IMC模型检测器软件来自动验证嵌入式系统的性能规范，再根据验证的结果来对复杂嵌入式系统进行性能分析和评价的思想、方法和技术方案。该思想新颖实用，该方法解决问题速度较快，对计算空间要求不高，节约计算成本，该方案过程清晰明确，可操作性强，而且利用模型检测器的自动验证和分析功能可以给出嵌入式系统的比较精确的性能指标范围。本发明对复杂嵌入式系统的评测提供了一种精确的量化方案，并对嵌入式系统的开发模型的评估和改进有很好的帮助。