Computer Science ›› 2015, Vol. 42 ›› Issue (12): 82-86.

Previous Articles     Next Articles

MARTE Models Based System Reliability Prediction

CHAI Ye-sheng, ZHU Xue-yang, YAN Rong-jie and ZHANG Guang-quan   

  • Online:2018-11-14 Published:2018-11-14

Abstract: System reliability is an important qualitative attribute of systems.System reliability analysis based on models may find problems and solve them at the early phase of development.UML profile for MARTE is an extension of UML in the domain of real-time and embedded systems.We presented a method for reliability prediction of MARTE models.The MARTE model considerd by the method includes a use case diagram,a deployment diagram and a set of activity dia-grams.A MARTE model is transformed into a network of Markov decision process,which is then analyzed by the model checking tool PRISM.We obtained the estimation of system reliability by analyzing the resulting model.A case study demonstrates that,by analyzing models with various resource reliability,our method can further reveal the impact of the reliability of each resource on the system.

Key words: System reliability,UML,MARTE model,Markov decision process

[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!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!