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

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