计算机科学 ›› 2015, Vol. 42 ›› Issue (12): 82-86.
柴叶生,朱雪阳,晏荣杰,张广泉
CHAI Ye-sheng, ZHU Xue-yang, YAN Rong-jie and ZHANG Guang-quan
摘要: 系统的可靠性是系统的重要非功能属性之一。传统的可靠性分析在系统开发结束后进行,可能会发现由于系统开发早期的架构设计不合理而导致的问题,这时再修改系统架构并重做后继开发步骤,将会浪费大量人力和物力。如果能在开发的早期阶段,在系统模型层面进行分析并预测,则可以尽早地发现系统可靠性方面的问题并将其修复。UML是一种通用的、标准化的建模语言,MARTE是UML在嵌入式实时系统领域的扩展。提出了基于MARTE模型的系统可靠性预测方法,该方法考虑的MARTE模型包括用例图、活动图、部署图。先将MARTE模型转换为马尔可夫决策过程网络模型,再利用概率模型检测工具PRISM进行分析,得到系统可靠性的预测结果。实例研究表明,所提方法不仅能够预测系统可靠性的最大值和最小值,还能通过调整各个资源的可靠性值,考察其对系统可靠性的影响,为设计人员的进一步工作提供参考。
[1] Gokhale S S,Trivedi K S.Analytical models for architecture-based software reliability prediction:A unification framework[J].IEEE Transactions on Reliability,2006,5(4):578-590 [2] Booch G,Rumbaugh J,Jacobson I.Unified Modeling Language User Guide[M].New York:Addison Wesley,2005 [3] OMG.UML Profile for MARTE,Beta 2.http://www.org/cgi-bin/doc?ptc /2008-06-08 [4] Cortellessa V,Singh H,Cukic B.Early reliability assessment of UML based software models[C]∥Proceedings of the 3rd International Workshop on Software and Performance.Rome,Italy:ACM,2002:302-309 [5] Genaina N R,David S R.Sebastian Uchitel.Reliability Prediction in Model-Driven Development[C]∥Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems.Berlin:Springer,2005:339-354 [6] Cheung R C.A User-Oriented Software Reliability Model[J].IEEE Transactions on Software Engineering,1980,6(2):118-125 [7] Majzik I,Pataricza A,Bondavalli A.Stochastic dependability analysis of system architecture based on UML Models[J].Architecting Dependable Systems,2003,7:219-244 [8] 刘毅,麻志毅,何啸,等.一种从UML模型到可靠性分析模型的转换方法[J].软件学报,2010,1(2):287-304 Liu Yi,Ma Zhi-yi,He Xiao,et al.Approach to Transforming UML Model to Reliability Analysis Model[J].Journal of Software,2010,1(2):287-304 [9] Forejt V,Kwiatkowska M,Norman G,et al.Automated Verification Techniques for Probabilistic Systems[C]∥Proceedings of 11th International School on Formal Methods for the Design of Computer,Communication and Software Systems(SFM 2011).Bertinoro,Italy,Springer,2011:53-113 [10] Kwiatkowska M,Norman G,Parker D.PRISM 4.0:Verification of Probabilistic Realtime Systems[C]∥Proceedings of 23rd International Conference on Computer Aided Verification.Berlin:Springer,2011:585-591 [11] FMPAer.http://lcs.ios.ac.cn/~zxy/tools/fmpaer.htm [12] Gérard S,Dumoulin C,Tessier P,et al.Papyrus:A UML2 Tool for Domain Specific Language Modeling[C]∥Proceedings of Model-Based Engineering of Embedded Real-Time Systems.Germany,Springer,2010:361-368 [13] Jouault F,Kurtev I.Transforming models with ATL[C]∥Proceedings of the 2005 International Conference on Satellite Events at the MoDELS.Italy,Springer,2005:128-138 |
No related articles found! |
|