{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T03:00:05Z","timestamp":1760151605620,"version":"build-2065373602"},"reference-count":39,"publisher":"MDPI AG","issue":"2","license":[{"start":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T00:00:00Z","timestamp":1648857600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100004837","name":"Spanish Ministry of Science and Innovation","doi-asserted-by":"publisher","award":["PID2020-113969RB-I00"],"award-info":[{"award-number":["PID2020-113969RB-I00"]}],"id":[{"id":"10.13039\/501100004837","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Software"],"abstract":"<jats:p>The modeling of system non-functional properties is a broad field. Among these properties, dependability is an important one for real-time and embedded systems. On the other hand, UML offers the profiling mechanism to address specific modeling domains. In particular, the DAM (dependability analysis and modeling) profile provides a modeling framework for dependability in the model-driven paradigm. This work is for practitioners to understand the basics of dependability modeling, using DAM. In this sense, the paper digests the literature to understand the concept of the UML profile, the MARTE profile and to obtain a practical guide on dependability modeling using DAM. The modeling approach is illustrated through a case study taken from the literature.<\/jats:p>","DOI":"10.3390\/software1020007","type":"journal-article","created":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T02:59:52Z","timestamp":1648954792000},"page":"146-163","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Dependability Modeling of Software Systems with UML and DAM: A Guide for Real-Time Practitioners"],"prefix":"10.3390","volume":"1","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2605-6243","authenticated-orcid":false,"given":"Simona","family":"Bernardi","sequence":"first","affiliation":[{"name":"Departamento de Inform\u00e1tica e Ingenier\u00eda de Sistemas, Universidad de Zaragoza, 50018 Zaragoza, Spain"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5538-3553","authenticated-orcid":false,"given":"Jos\u00e9","family":"Merseguer","sequence":"additional","affiliation":[{"name":"Departamento de Inform\u00e1tica e Ingenier\u00eda de Sistemas, Universidad de Zaragoza, 50018 Zaragoza, Spain"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4688-9370","authenticated-orcid":false,"given":"Dorina C.","family":"Petriu","sequence":"additional","affiliation":[{"name":"Department of Systems and Computer Engineering, Carleton University, Ottawa, ON K1S 5B6, Canada"}]}],"member":"1968","published-online":{"date-parts":[[2022,4,2]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1109\/2.59","article-title":"A spiral model of software development and enhancement","volume":"21","author":"Boehm","year":"1988","journal-title":"Computer"},{"key":"ref_2","unstructured":"Sommerville, I. (2015). Software Engineering, Pearson. [10th ed.]."},{"key":"ref_3","unstructured":"Chung, L., Nixon, B.A., Yu, E., and Mylopoulos, J. (2012). Non-Functional Requirements in Software Engineering, Springer Science & Business Media."},{"key":"ref_4","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/TDSC.2004.2","article-title":"Basic Concepts and Taxonomy of Dependable and Secure Computing","volume":"1","author":"Avizienis","year":"2004","journal-title":"IEEE Trans. Dependable Secur. Comput."},{"key":"ref_5","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/MC.2006.58","article-title":"Guest Editor\u2019s Introduction: Model-Driven Engineering","volume":"39","author":"Schmidt","year":"2006","journal-title":"IEEE Comput."},{"key":"ref_6","doi-asserted-by":"crossref","unstructured":"Brambilla, M., Cabot, J., and Wimmer, M. (2017). Model-Driven Software Engineering in Practice, Morgan & Claypool. [2nd ed.]. Synthesis Lectures on Software Engineering.","DOI":"10.1007\/978-3-031-02549-5"},{"key":"ref_7","unstructured":"OMG (2017). Unified Modeling Language (UML), Version 2.5.1, OMG. Document Number: Formal\/2017-12-05."},{"key":"ref_8","unstructured":"OMG (2019). OMG Systems Modeling Language (SysML), Version 1.6, OMG. Document Number: Formal\/2019-11-01."},{"key":"ref_9","unstructured":"Vesely, B. (2022, February 20). Fault Tree Analysis (FTA): Concepts and Applications. NASA HQ 2002. Available online: http:\/\/ismss.ru\/uploads\/8-5-1.pdf."},{"key":"ref_10","unstructured":"Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., and Franceschinis, G. (1995). Modelling with Generalized Stochastic Petri Nets, John Wiley and Sons."},{"key":"ref_11","doi-asserted-by":"crossref","unstructured":"Bernardi, S., Merseguer, J., and Petriu, D. (2013). Model-Driven Dependability Assessment of Software Systems, Springer.","DOI":"10.1007\/978-3-642-39512-3"},{"key":"ref_12","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1007\/s10270-009-0128-1","article-title":"A dependability profile within MARTE","volume":"10","author":"Bernardi","year":"2011","journal-title":"Softw. Syst. Model."},{"key":"ref_13","unstructured":"Leveson, N.G. (1995). Safeware, Addison-Wesley."},{"key":"ref_14","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/11424529_3","article-title":"Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations","volume":"Volume 3489","author":"Grunske","year":"2005","journal-title":"Proceedings of the Eighth International Symposium on Component-Based Software Engineering"},{"key":"ref_15","doi-asserted-by":"crossref","unstructured":"Cortellessa, V., Singh, H., and Cukic, B. (2002, January 24\u201326). Early reliability assessment of UML based software models. Proceedings of the WOSP02: Workshop on Software and Performance (Co-Located with ISSTA 2002 ), Rome, Italy.","DOI":"10.1145\/584408.584415"},{"key":"ref_16","doi-asserted-by":"crossref","unstructured":"Pai, G.J., and Dugan, J. (2002, January 12\u201315). Automatic Synthesis of Dynamic Fault Trees from UML System Models. Proceedings of the I13th International Symposium on Software Reliability Engineering (ISSRE-02), Annapolis, MD, USA.","DOI":"10.1109\/ISSRE.2002.1173261"},{"key":"ref_17","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1145\/974043.974076","article-title":"Towards a UML profile for QoS: A contribution in the reliability domain","volume":"29","author":"Cortellessa","year":"2004","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"key":"ref_18","doi-asserted-by":"crossref","first-page":"946","DOI":"10.1109\/TSE.2003.1237174","article-title":"Architectural-level risk analysis using UML","volume":"29","author":"Hassan","year":"2003","journal-title":"IEEE Trans. Softw. Eng."},{"key":"ref_19","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.jss.2008.03.066","article-title":"The Palladio component model for model-driven performance prediction","volume":"82","author":"Becker","year":"2009","journal-title":"J. Syst. Softw."},{"key":"ref_20","doi-asserted-by":"crossref","first-page":"1319","DOI":"10.1109\/TSE.2011.94","article-title":"Architecture-based reliability prediction with the palladio component model","volume":"38","author":"Brosch","year":"2011","journal-title":"IEEE Trans. Softw. Eng."},{"key":"ref_21","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1109\/TR.2015.2452931","article-title":"Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems","volume":"65","author":"Calinescu","year":"2016","journal-title":"IEEE Trans. Reliab."},{"key":"ref_22","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1109\/TASE.2020.3038034","article-title":"Toward Dependable Model-Driven Design of Low-Level Industrial Automation Control Systems","volume":"19","author":"Zhou","year":"2022","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"key":"ref_23","unstructured":"(2012). Function Blocks (Standard No. IEC 61499-1:2012)."},{"key":"ref_24","doi-asserted-by":"crossref","unstructured":"Boyer, G., P\u00e9tin, J.F., Brinzei, N., Camerini, J., and Ndiaye, M. (2019, January 25\u201327). Toward Generation of Dependability Assessment Models for Industrial Control System. Proceedings of the 2019 International Conference on Information and Digital Technologies (IDT), Zilina, Slovakia.","DOI":"10.1109\/DT.2019.8813373"},{"key":"ref_25","doi-asserted-by":"crossref","first-page":"1147","DOI":"10.1109\/TDSC.2018.2857810","article-title":"Explicit Modelling and Treatment of Repair in Prediction of Dependability","volume":"17","author":"Aizpurua","year":"2020","journal-title":"IEEE Trans. Dependable Secur. Comput."},{"key":"ref_26","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1016\/j.arcontrol.2016.04.008","article-title":"A synthesis of logic and bio-inspired techniques in the design of dependable systems","volume":"41","author":"Papadopoulos","year":"2016","journal-title":"Annu. Rev. Control"},{"key":"ref_27","doi-asserted-by":"crossref","first-page":"818","DOI":"10.1109\/TSE.2019.2904476","article-title":"Dealing with Non-Functional Requirements in Model-Driven Development: A Survey","volume":"47","author":"Ameller","year":"2021","journal-title":"IEEE Trans. Softw. Eng."},{"key":"ref_28","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/s11219-015-9268-4","article-title":"A survey on quality attributes in service-based systems","volume":"24","author":"Ameller","year":"2016","journal-title":"Softw. Qual. J."},{"key":"ref_29","unstructured":"OMG (2019). UML Profile for MARTE: Modeling and Analysis of Real-Time and Embedded Systems, Version 1.2, OMG. OMG Document: Formal\/19-04-01."},{"key":"ref_30","doi-asserted-by":"crossref","unstructured":"Mueller, F., and Bestavros, A. (1998). Using UML for modeling complex real-time systems. Languages, Compilers, and Tools for Embedded Systems, Springer.","DOI":"10.1007\/BFb0057775"},{"key":"ref_31","doi-asserted-by":"crossref","unstructured":"Kelly, S., and Tolvanen, J.P. (2008). Domain-Specific Modeling: Enabling Full Code Generation, John Wiley & Sons.","DOI":"10.1002\/9780470249260"},{"key":"ref_32","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10270-005-0078-1","article-title":"Editorial: Domain specific modeling","volume":"4","author":"France","year":"2005","journal-title":"Int. J. Softw. Syst. Model."},{"key":"ref_33","doi-asserted-by":"crossref","unstructured":"Selic, B. (2007, January 7\u20139). A Systematic Approach to Domain-Specific Language Design Using UML. Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC\u201907), Santorini, Greece.","DOI":"10.1109\/ISORC.2007.10"},{"key":"ref_34","unstructured":"Selic, B., and Gerard, S. (2014). Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE, Morgan Kaufmann."},{"key":"ref_35","unstructured":"Booch, G., Jacobson, I., and Rumbaugh, J. (2005). The Unified Modeling Language User Guide, Addison-Wesley."},{"key":"ref_36","unstructured":"Fowler, M. (2003). UML Distilled: A Brief Guide to the Standard Object Modeling Language, Addison-Wesley. [3rd ed.]."},{"key":"ref_37","unstructured":"OMG (2014). Object Constraint Language, Version 2.4, OMG. OMG Document: Formal\/2014-02-03, v2.4."},{"key":"ref_38","unstructured":"Douglass, B.P. (2004). Real Time UML: Advances in the UML for Real-Time Systems, Addison Wesley Longman Publishing Co., Inc.. [3rd ed.]."},{"key":"ref_39","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/2379776.2379778","article-title":"Dependability modeling and analysis of software systems specified with UML","volume":"45","author":"Bernardi","year":"2012","journal-title":"ACM Comput. Surv."}],"container-title":["Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2674-113X\/1\/2\/7\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T22:48:50Z","timestamp":1760136530000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2674-113X\/1\/2\/7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,4,2]]},"references-count":39,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2022,6]]}},"alternative-id":["software1020007"],"URL":"https:\/\/doi.org\/10.3390\/software1020007","relation":{},"ISSN":["2674-113X"],"issn-type":[{"type":"electronic","value":"2674-113X"}],"subject":[],"published":{"date-parts":[[2022,4,2]]}}}