Affiliation:
1. Centro Universitario de la Defensa, Zaragoza, Spain
2. Universidad de Zaragoza, Zaragoza, Spain
3. Carleton University, Canada
Abstract
The goal is to survey dependability modeling and analysis of software and systems specified with UML, with focus on reliability, availability, maintainability, and safety (RAMS). From the literature published in the last decade, 33 approaches presented in 43 papers were identified. They are evaluated according to three sets of criteria regarding UML modeling issues, addressed dependability characteristics, and quality assessment of the surveyed approaches. The survey shows that more works are devoted to reliability and safety, fewer to availability and maintainability, and none to integrity. Many methods support early life-cycle phases (from requirements to design). More research is needed for tool development to automate the derivation of analysis models and to give feedback to designers.
Funder
Ministerio de Economía y Competitividad
CICYT
Seventh Framework Programme
Publisher
Association for Computing Machinery (ACM)
Subject
General Computer Science,Theoretical Computer Science
Reference114 articles.
1. Methodology for UML Modeling and Formal Verification of Real-Time Systems
2. Ajmone-Marsan M. Balbo G. Conte G. Donatelli S. and Franceschinis G. 1995. Modelling with Generalized Stochastic Petri Nets. Wiley Series in Parallel Computing. John Wiley and Sons. Ajmone-Marsan M. Balbo G. Conte G. Donatelli S. and Franceschinis G. 1995. Modelling with Generalized Stochastic Petri Nets. Wiley Series in Parallel Computing. John Wiley and Sons.
3. ANSI/IEEE. 1991. Standard glossary of software engineering terminology. Tech. rep. STD-729-1991 ANSI/IEEE. ANSI/IEEE. 1991. Standard glossary of software engineering terminology. Tech. rep. STD-729-1991 ANSI/IEEE.
Cited by
60 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Software Quality Testing Framework based on Machine Learning Analysis;2024 5th International Conference on Mobile Computing and Sustainable Informatics (ICMCSI);2024-01-18
2. Model-Driven Engineering for Embedded Systems with Non-Functional Properties Analysis Integration: A Review;2023 16th International Conference on Developments in eSystems Engineering (DeSE);2023-12-18
3. Dependability Patterns: A Survey;Computers;2023-10-21
4. Formalizing UML State Machines for Automated Verification – A Survey;ACM Computing Surveys;2023-07-13
5. System architecture synthesis for performability by logic solvers;Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems;2022-10-23