基于MARTE模型的系统可靠性预测

摘要：

系统的可靠性是系统的重要非功能属性之一.传统的可靠性分析在系统开发结束后进行,可能会发现由于系统开发早期的架构设计不合理而导致的问题,这时再修改系统架构并重做后继开发步骤,将会浪费大量人力和物力.如果能在开发的早期阶段,在系统模型层面进行分析并预测,则可以尽早地发现系统可靠性方面的问题并将其修复.UML是一种通用的、标准化的建模语言,MARTE是UML在嵌入式实时系统领域的扩展.提出了基于MARTE模型的系统可靠性预测方法,该方法考虑的MARTE模型包括用例图、活动图、部署图.先将MARTE模型转换为马尔可夫决策过程网络模型,再利用概率模型检测工具PRISM进行分析,得到系统可靠性的预测结果.实例研究表明,所提方法不仅能够预测系统可靠性的最大值和最小值,还能通过调整各个资源的可靠性值,考察其对系统可靠性的影响,为设计人员的进一步工作提供参考.

关键词：系统可靠性、UML、MARTE模型、马尔可夫决策过程

所属期刊栏目：42

分类号：TP301(计算技术、计算机技术)

资助基金：江苏省自然科学基金BK2011281;苏州市应用基础研究计划SYG201241

在线出版日期：2016-02-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：82-86,91