Dependability modeling and analysis of software systems specified with UML

@article{Bernardi2012DependabilityMA,
  title={Dependability modeling and analysis of software systems specified with UML},
  author={Simona Bernardi and Jos{\'e} Merseguer and Dorina C. Petriu},
  journal={ACM Comput. Surv.},
  year={2012},
  volume={45},
  pages={2:1-2:48}
}
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… CONTINUE READING
Highly Cited
This paper has 51 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 33 extracted citations

A Method Based on Meta-model for the Translation from UML into Event-B

2016 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) • 2016
View 1 Excerpt

A Model-Based Approach to Support Safety-Related Decisions in the Petroleum Domain

2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) • 2016
View 1 Excerpt

A method for the translation from UML into Event-B

2016 7th IEEE International Conference on Software Engineering and Service Science (ICSESS) • 2016

51 Citations

01020'13'15'17'19
Citations per Year
Semantic Scholar estimates that this publication has 51 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 48 references

Improving reliability studies with SysML

2009 Annual Reliability and Maintainability Symposium • 2009
View 6 Excerpts
Highly Influenced

A UML Profile to Model Safety-Critical Embedded Real-Time Control Systems

Contributions to Ubiquitous Computing • 2007
View 5 Excerpts
Highly Influenced

Integrating safety and formal analyses using UML and PFS

Rel. Eng. & Sys. Safety • 2007
View 8 Excerpts
Highly Influenced

Safety analysis of software product lines using state-based modeling

Journal of Systems and Software • 2007
View 5 Excerpts
Highly Influenced

Methodology for UML Modeling and Formal Verification of Real-Time Systems

2006 International Conference on Computational Inteligence for Modelling Control and Automation and International Conference on Intelligent Agents Web Technologies and International Commerce (CIMCA'06) • 2006
View 20 Excerpts
Highly Influenced

UML based severity analysis methodology

Annual Reliability and Maintainability Symposium, 2005. Proceedings. • 2005
View 9 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…