{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T15:22:18Z","timestamp":1773760938912,"version":"3.50.1"},"reference-count":114,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2012,11,1]],"date-time":"2012-11-01T00:00:00Z","timestamp":1351728000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100003329","name":"Ministerio de Econom\u00eda y Competitividad","doi-asserted-by":"publisher","award":["TIN 2011-24932"],"award-info":[{"award-number":["TIN 2011-24932"]}],"id":[{"id":"10.13039\/501100003329","id-type":"DOI","asserted-by":"publisher"}]},{"name":"CICYT","award":["DPI2010-20413"],"award-info":[{"award-number":["DPI2010-20413"]}]},{"DOI":"10.13039\/501100004963","name":"Seventh Framework Programme","doi-asserted-by":"publisher","award":["INFSO-ICT-224498"],"award-info":[{"award-number":["INFSO-ICT-224498"]}],"id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Comput. Surv."],"published-print":{"date-parts":[[2012,11]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.1145\/2379776.2379778","type":"journal-article","created":{"date-parts":[[2012,12,11]],"date-time":"2012-12-11T13:13:42Z","timestamp":1355231622000},"page":"1-48","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":70,"title":["Dependability modeling and analysis of software systems specified with UML"],"prefix":"10.1145","volume":"45","author":[{"given":"Simona","family":"Bernardi","sequence":"first","affiliation":[{"name":"Centro Universitario de la Defensa, Zaragoza, Spain"}]},{"given":"Jos\u00e9","family":"Merseguer","sequence":"additional","affiliation":[{"name":"Universidad de Zaragoza, Zaragoza, Spain"}]},{"given":"Dorina C.","family":"Petriu","sequence":"additional","affiliation":[{"name":"Carleton University, Canada"}]}],"member":"320","published-online":{"date-parts":[[2012,12,7]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/CIMCA.2006.144"},{"key":"e_1_2_1_2_1","volume-title":"Proceedings of the International Conference on Systems, Man and Cybernetics.","volume":"6","author":"Addouche N."},{"key":"e_1_2_1_3_1","unstructured":"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."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/882477.883622"},{"key":"e_1_2_1_5_1","unstructured":"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."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1973.223703"},{"key":"e_1_2_1_7_1","unstructured":"ARP-4754. 1994. Certification Considerations for Highly-Integrated or Complex Aircraft Systems. Society of Automotive Engineers.  ARP-4754. 1994. Certification Considerations for Highly-Integrated or Complex Aircraft Systems. Society of Automotive Engineers."},{"key":"e_1_2_1_8_1","unstructured":"ARP-4761. 1995. Guidelines and Methods for Conducting the Safety Assessment of Civil Airbone Systems and Equipment. Society of Automotive Engineers.  ARP-4761. 1995. Guidelines and Methods for Conducting the Safety Assessment of Civil Airbone Systems and Equipment. Society of Automotive Engineers."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1465611.1465708"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.231893"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.9"},{"key":"e_1_2_1_13_1","unstructured":"Bell M. 2008. Service-Oriented Modeling (SOA): Service Analysis Design and Architecture. Wiley & Sons.   Bell M. 2008. Service-Oriented Modeling (SOA): Service Analysis Design and Architecture. Wiley & Sons."},{"key":"e_1_2_1_14_1","volume-title":"Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA'04)","author":"Bernardi S."},{"key":"e_1_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Bernardi S. Donatelli S. and Dondossola G. 2004b. Towards a methodological approach to specification and analysis of dependable automation systems. In Proceedings of the 1st International Joint Conference on Formal Modelling and Analysis of Timed Systems (FORMATS) and on Formal Techniques in Real-Time and Fault Tolerant System (FTRTFT). Springer 36--51.  Bernardi S. Donatelli S. and Dondossola G. 2004b. Towards a methodological approach to specification and analysis of dependable automation systems. In Proceedings of the 1st International Joint Conference on Formal Modelling and Analysis of Timed Systems (FORMATS) and on Formal Techniques in Real-Time and Fault Tolerant System (FTRTFT). Springer 36--51.","DOI":"10.1007\/978-3-540-30206-3_5"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2006.63"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-009-0128-1"},{"key":"e_1_2_1_18_1","unstructured":"Biba K. J. 1977. Integrity considerations for secure computer systems. Tech. rep. MTR-3153 Mitre Corporation Bedford MA. April.  Biba K. J. 1977. Integrity considerations for secure computer systems. Tech. rep. MTR-3153 Mitre Corporation Bedford MA. April."},{"key":"e_1_2_1_19_1","doi-asserted-by":"crossref","unstructured":"Billinton R. and Allan R. N. 1992. Reliability Evaluation of Engineering Systems: Concepts and Techniques. Springer.  Billinton R. and Allan R. N. 1992. Reliability Evaluation of Engineering Systems: Concepts and Techniques. Springer.","DOI":"10.1007\/978-1-4899-0685-4"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.1984.233702"},{"key":"e_1_2_1_21_1","first-page":"265","article-title":"Dependability analysis in the early phases of UML-based system design","volume":"16","author":"Bondavalli A.","year":"2001","journal-title":"Int. J. Comput. Syst. Sci. Engin."},{"key":"e_1_2_1_22_1","unstructured":"BPEL 2007. Web services business process execution language. Version 2.0. https:\/\/www.oasis-open. org\/commitees\/tc_home.php&quest;wg-abbrev=wsbpel.  BPEL 2007. Web services business process execution language. Version 2.0. https:\/\/www.oasis-open. org\/commitees\/tc_home.php&quest;wg-abbrev=wsbpel."},{"key":"e_1_2_1_23_1","volume-title":"Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems, S. Van Baelen, T. Weigert, I. Ober, and H. Espinoza, Eds., 11--26","author":"Cancila D."},{"key":"e_1_2_1_24_1","volume-title":"Papyrus: Open source tool for graphical UML modelling","author":"LIST.","year":"2008"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.177364"},{"key":"e_1_2_1_26_1","volume-title":"Proceedings of the IEEE Symposium on Security and Privacy. 184--195","author":"Clark D. D."},{"key":"e_1_2_1_27_1","unstructured":"Clements P. and Northrop L. 2001. Software Product Lines: Practice and Patterns. Addison-Wesley.   Clements P. and Northrop L. 2001. Software Product Lines: Practice and Patterns. Addison-Wesley."},{"key":"e_1_2_1_28_1","volume-title":"Proceedings of the 10th International Conference on Component-Based Software Engineering (CBSE'07)","author":"Cortellessa V."},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/974044.974076"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/584369.584415"},{"key":"e_1_2_1_31_1","volume-title":"Proceedings of the of 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS03)","author":"Dal Cin M.","year":"2003"},{"key":"e_1_2_1_32_1","volume-title":"Proceedings of the 6-th IASTED Software Engineering and Applications Conference (SEA02)","author":"D'Ambrogio A."},{"key":"e_1_2_1_33_1","volume-title":"Proceedings of the Reliability and Maintainability Symposium. IEEE Computer Society.","author":"David P."},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/58562.59307"},{"key":"e_1_2_1_35_1","volume-title":"Proceedings of the the 2nd International Workshop on Engineering Distributed Objects (Revised Papers). Springer, 83--101","author":"DeMiguel M."},{"key":"e_1_2_1_36_1","unstructured":"EN-50126. 1999. Application ferroviaires - Sp\u00e9cification et d\u00e9monstration de fiabilit\u00e9 disponibilit\u00e9 maintenabilit'e et s\u00e9curit\u00e9 (FMDS). Norme.  EN-50126. 1999. Application ferroviaires - Sp\u00e9cification et d\u00e9monstration de fiabilit\u00e9 disponibilit\u00e9 maintenabilit'e et s\u00e9curit\u00e9 (FMDS). Norme."},{"key":"e_1_2_1_37_1","unstructured":"EN-50128. 2001. Applications ferroviaires - Syst\u00e8me de signalisation de t\u00e9l\u00e9communication et de traitement - Logiciels pour syst\u00e8mes de commande et de protection ferroviaire. Norme.  EN-50128. 2001. Applications ferroviaires - Syst\u00e8me de signalisation de t\u00e9l\u00e9communication et de traitement - Logiciels pour syst\u00e8mes de commande et de protection ferroviaire. Norme."},{"key":"e_1_2_1_38_1","unstructured":"EN-50129. 2001. Application ferroviaires - Syst\u00e8me de signalisation de t\u00e9l\u00e9communication et de traitement - Syst\u00e8mes \u00e9lectroniques relatifs \u00e0 la s\u00e9curit\u00e9 pour la signalisation. Norme.  EN-50129. 2001. Application ferroviaires - Syst\u00e8me de signalisation de t\u00e9l\u00e9communication et de traitement - Syst\u00e8mes \u00e9lectroniques relatifs \u00e0 la s\u00e9curit\u00e9 pour la signalisation. Norme."},{"key":"e_1_2_1_39_1","doi-asserted-by":"crossref","unstructured":"Fokking W. 2000. Introduction to Process Algebra. Springer.   Fokking W. 2000. Introduction to Process Algebra. Springer.","DOI":"10.1007\/978-3-662-04293-9"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-007-9038-4"},{"key":"e_1_2_1_41_1","volume-title":"Proceedings of the 9th International Symposium on Software Metrics. IEEE Computer Society, 263","author":"Genero M."},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(90)90074-V"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2007.4"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1237174"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1071021.1071024"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2006.07.023"},{"key":"e_1_2_1_47_1","volume-title":"Proceedings of the 2nd Nordic Workshop on UML, Modeling, Methods and Tools, K. Koskimies, L. Kuzniarz, J. Lilius, and I. Porres, Eds.","author":"Hansen K."},{"key":"e_1_2_1_48_1","volume-title":"Proceedings of Annual Reliability and Maintainability Symposium (RAMS05)","author":"Hassan A."},{"key":"e_1_2_1_49_1","volume-title":"Proceedings of the Workshop on Critical Systems Development with UML. 3--18","author":"Hawkings R."},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1287\/opre.8.1.53"},{"key":"e_1_2_1_51_1","unstructured":"Huang Y. and Kindala C. 1996. Software fault tolerance in the application layer. In Software Fault Tolerance M. R. Lyu Ed. John Wiley and Sons Ltd. 231--248.  Huang Y. and Kindala C. 1996. Software fault tolerance in the application layer. In Software Fault Tolerance M. R. Lyu Ed. John Wiley and Sons Ltd. 231--248."},{"key":"e_1_2_1_52_1","unstructured":"IEC-60300-3-1. 2003. Dependability management. Part 3: Application guide section 1: Analysis techniques for dependability: Guide on methodology. http:\/\/asq.org\/quality-press\/display-item\/&quest;item=T832E.  IEC-60300-3-1. 2003. Dependability management. Part 3: Application guide section 1: Analysis techniques for dependability: Guide on methodology. http:\/\/asq.org\/quality-press\/display-item\/&quest;item=T832E."},{"key":"e_1_2_1_53_1","unstructured":"IEC-61131-1. 1992. Programmable Controllers Part 3: Programming Languages. International Electro-technical Commission.  IEC-61131-1. 1992. Programmable Controllers Part 3: Programming Languages. International Electro-technical Commission."},{"key":"e_1_2_1_54_1","unstructured":"IEC-61508. 1998. Functional Safety of Electrical\/Electronic\/Programmable Electronic Safety-Related Systems. International Electro-technical Commission.  IEC-61508. 1998. Functional Safety of Electrical\/Electronic\/Programmable Electronic Safety-Related Systems. International Electro-technical Commission."},{"key":"e_1_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-006-0040-x"},{"key":"e_1_2_1_56_1","unstructured":"ISO\/IEC 14764. 2006. Standard for software engineering -- Software life cycle processes - Maintenance. International Organization for Standardization\/International Electro-technical Commission.  ISO\/IEC 14764. 2006. Standard for software engineering -- Software life cycle processes - Maintenance. International Organization for Standardization\/International Electro-technical Commission."},{"key":"e_1_2_1_57_1","unstructured":"ISO\/IEC9126-1.2. 2001. Information technology - Software Product Quality. Part 1: Quality Model. International Electro-technical Commission.  ISO\/IEC9126-1.2. 2001. Information technology - Software Product Quality. Part 1: Quality Model. International Electro-technical Commission."},{"key":"e_1_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2005.11.060"},{"key":"e_1_2_1_59_1","unstructured":"Jacobson I. 1995. Object-Oriented Software Engineering: A Use Case Driven Approach. Addison--Wesley.   Jacobson I. 1995. Object-Oriented Software Engineering: A Use Case Driven Approach. Addison--Wesley."},{"key":"e_1_2_1_60_1","volume-title":"Component-Based Software Development. Lecture Notes in Computer Science","volume":"3778","author":"J\u00fcrjens J."},{"key":"e_1_2_1_61_1","volume-title":"Proceedings of the International Conference on Dependable Systems and Networks (DSN01)","author":"Johannessen P."},{"key":"e_1_2_1_62_1","doi-asserted-by":"crossref","unstructured":"Johnson B. W. 1989. Design and Analysis of Fault-Tolerant Digital Systems. Addison-Wesley.   Johnson B. W. 1989. Design and Analysis of Fault-Tolerant Digital Systems. Addison-Wesley.","DOI":"10.1007\/978-3-642-75002-1_5"},{"key":"e_1_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/226163.226166"},{"key":"e_1_2_1_64_1","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of the 6th International Confrence on UML03","author":"J\u00fcrjens J."},{"key":"e_1_2_1_65_1","doi-asserted-by":"crossref","unstructured":"J\u00fcrgens J.\n     and \n      \n      \n      Wagner S\n      \n  \n  . \n  2005\n  . Component-based development of dependable systems with UML. In Athinson et al. Eds. Lecture Notes in Computer Science vol. \n  3778 Springer Berlin 320--344  J\u00fcrgens J. and Wagner S. 2005. Component-based development of dependable systems with UML. In Athinson et al. Eds. Lecture Notes in Computer Science vol. 3778 Springer Berlin 320--344","DOI":"10.1007\/11591962_16"},{"key":"e_1_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/357172.357176"},{"key":"e_1_2_1_67_1","unstructured":"Lazowska E. Zahorjan J. Scott Graham G. and Sevcik C. 1984. Quantitative System Performance: Computer System Analysis Using Queueing Network Models. Prentice-Hall.   Lazowska E. Zahorjan J. Scott Graham G. and Sevcik C. 1984. Quantitative System Performance: Computer System Analysis Using Queueing Network Models. Prentice-Hall."},{"key":"e_1_2_1_68_1","volume-title":"Proceedings of the International Conference on Software Engineering Research and Practice (SERP03)","author":"Leangsuksun C."},{"key":"e_1_2_1_69_1","unstructured":"Leveson N. G. 1995. Safeware. Addison-Wesley.  Leveson N. G. 1995. Safeware. Addison-Wesley."},{"key":"e_1_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/163359.163373"},{"key":"e_1_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2007.01.047"},{"key":"e_1_2_1_72_1","unstructured":"Liu J. W. 2000. Real-Time Systems. Prentice Hall.  Liu J. W. 2000. Real-Time Systems. Prentice Hall."},{"key":"e_1_2_1_73_1","volume-title":"Studies in Computational Intelligence Series","volume":"42","author":"Lu S."},{"key":"e_1_2_1_74_1","unstructured":"Lyu M. 1995. Software Fault Tolerance. John Wiley & Sons Ltd.   Lyu M. 1995. Software Fault Tolerance. John Wiley & Sons Ltd."},{"key":"e_1_2_1_75_1","unstructured":"Lyu M. R. Ed. 1996. Handbook of Software Reliability Engineering. IEEE Computer Society Press.   Lyu M. R. Ed. 1996. Handbook of Software Reliability Engineering. IEEE Computer Society Press."},{"key":"e_1_2_1_76_1","doi-asserted-by":"crossref","unstructured":"Majzik I. Pataricza A. and \n      \n      \n      Bondavalli A\n      \n  \n  . \n  2003\n  . Stochastic dependability analysis of system architecture based on UML Models. In Architecting Dependable Systems R. De Lemos C. Gacek and A. Romanovsky Eds. Lecture Notes in Computer Science vol. \n  2677 Springer 219--244.   Majzik I. Pataricza A. and Bondavalli A. 2003. Stochastic dependability analysis of system architecture based on UML Models. In Architecting Dependable Systems R. De Lemos C. Gacek and A. Romanovsky Eds. Lecture Notes in Computer Science vol. 2677 Springer 219--244.","DOI":"10.1007\/3-540-45177-3_10"},{"key":"e_1_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1980.1675654"},{"key":"e_1_2_1_78_1","unstructured":"MIL-STD-1629A. 1984. Procedures for performing failure mode effects and criticality analysis. US Military standard MIL-STD-1629A\/notice 2.  MIL-STD-1629A. 1984. Procedures for performing failure mode effects and criticality analysis. US Military standard MIL-STD-1629A\/notice 2."},{"key":"e_1_2_1_79_1","unstructured":"MIL-STD-882d. 1999. System safety program requirements. MIL-STD-882 United States of America.  MIL-STD-882d. 1999. System safety program requirements. MIL-STD-882 United States of America."},{"key":"e_1_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00867-2_11"},{"key":"e_1_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1145\/1479772.1479776"},{"key":"e_1_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-008-0084-1"},{"key":"e_1_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-005-0205-x"},{"key":"e_1_2_1_84_1","unstructured":"OCL. 2010. Object constraint languageo version 2.2. http:\/\/www.omg.org\/spec\/OCL\/2.2\/.  OCL. 2010. Object constraint languageo version 2.2. http:\/\/www.omg.org\/spec\/OCL\/2.2\/."},{"key":"e_1_2_1_85_1","unstructured":"OpNet. 1999. OpNet modeler. http:\/\/www.opnet.com\/solutions\/network_rd\/modeler.html.  OpNet. 1999. OpNet modeler. http:\/\/www.opnet.com\/solutions\/network_rd\/modeler.html."},{"key":"e_1_2_1_86_1","volume-title":"Proceedings of 13th International Symposium on Software Reliability Engineering (ISSRE-02)","author":"Pai G. J."},{"key":"e_1_2_1_87_1","unstructured":"Pataricza A. 2000. From the general resource model to a general fault modelling paradigm&quest; In Proceedings of the Workshop on Critical Systems.  Pataricza A. 2000. From the general resource model to a general fault modelling paradigm&quest; In Proceedings of the Workshop on Critical Systems."},{"key":"e_1_2_1_88_1","unstructured":"Pataricza A. and Gy\u00f6r F. 2004. Towards unified dependability modeling and analysis. In Proceedings of the Workshops Organic and Pervasive Computing. Lecture Notes in Informatics. 113--122.  Pataricza A. and Gy\u00f6r F. 2004. Towards unified dependability modeling and analysis. In Proceedings of the Workshops Organic and Pervasive Computing. Lecture Notes in Informatics. 113--122."},{"key":"e_1_2_1_89_1","volume-title":"Proceedings of Symposium Formal Methods for Railway Operation and Control Systems (FORMS03)","author":"Pataricza A."},{"key":"e_1_2_1_90_1","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1992.243562"},{"key":"e_1_2_1_91_1","doi-asserted-by":"publisher","DOI":"10.1007\/11557432_25"},{"key":"e_1_2_1_92_1","unstructured":"RTCA. 1992. Software considerations in airbone systems and equipment certification. no.DO-178B\/ED-12B Radio Technical Commission for Aeronautics (RTCA) European Organization for Civil Aviation Electronics (EUROCAE) RTCA. 1992. Software considerations in airbone systems and equipment certification. no.DO-178B\/ED-12B Radio Technical Commission for Aeronautics (RTCA) European Organization for Civil Aviation Electronics (EUROCAE)"},{"key":"e_1_2_1_93_1","unstructured":"Rumbaugh J. E. Blaha M. R. Premerlani W. J. Eddy F. and Lorensen W. E. 1991. Object-Oriented Modeling and Design. Prentice-Hall.   Rumbaugh J. E. Blaha M. R. Premerlani W. J. Eddy F. and Lorensen W. E. 1991. Object-Oriented Modeling and Design. Prentice-Hall."},{"key":"e_1_2_1_94_1","volume-title":"Proceedings of the 13th Conference on USENIX Security Symposium -","volume":"13","author":"Sailer R.","year":"2004"},{"key":"e_1_2_1_95_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.58"},{"key":"e_1_2_1_96_1","volume-title":"Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 01)","author":"Singh H."},{"key":"e_1_2_1_97_1","unstructured":"Stahl T. and V\u00f6lter M. 2006. Model-Driven Software Development. John Wiley & Sons Ltd.   Stahl T. and V\u00f6lter M. 2006. Model-Driven Software Development. John Wiley & Sons Ltd."},{"key":"e_1_2_1_98_1","unstructured":"SysML. 2010. System modeling language. Version 1.2 formal\/2010-06-01. http:\/\/www.sysm\/.org\/docs\/specs\/OMGSys ML-vl.2-10-06-02.pdf.  SysML. 2010. System modeling language. Version 1.2 formal\/2010-06-01. http:\/\/www.sysm\/.org\/docs\/specs\/OMGSys ML-vl.2-10-06-02.pdf."},{"key":"e_1_2_1_99_1","volume-title":"Component Software: Beyond Object-Oriented Programming","author":"Szyperski C.","year":"1998"},{"key":"e_1_2_1_100_1","unstructured":"TCG 2011. http:\/\/www.trustedcomputinggroup.org.  TCG 2011. http:\/\/www.trustedcomputinggroup.org."},{"key":"e_1_2_1_101_1","unstructured":"Trivedi K. 2001. Probability and Statistics with Reliability Queuing and Computer Science Applications. John Wiley and Sons.   Trivedi K. 2001. Probability and Statistics with Reliability Queuing and Computer Science Applications. John Wiley and Sons."},{"key":"e_1_2_1_102_1","unstructured":"UK Ministry of Defence. 2000. HAZOP Studies on Systems Containing Programmable Electronics. UK Ministry of Defence.  UK Ministry of Defence. 2000. HAZOP Studies on Systems Containing Programmable Electronics. UK Ministry of Defence."},{"key":"e_1_2_1_103_1","unstructured":"UML. 2005. Unified modeling language: Superstructure. version 2.0 formal\/05-07-04. http:\/\/www. sparxSystem.com\/au\/bin\/UML2SuperStruture.pdf.  UML. 2005. Unified modeling language: Superstructure. version 2.0 formal\/05-07-04. http:\/\/www. sparxSystem.com\/au\/bin\/UML2SuperStruture.pdf."},{"key":"e_1_2_1_104_1","unstructured":"UML-EDOC. 2001. UML profile for enterprise distributed object computing. version 1.0. http:\/\/www. omg.org\/Spec\/EDOC\/.  UML-EDOC. 2001. UML profile for enterprise distributed object computing. version 1.0. http:\/\/www. omg.org\/Spec\/EDOC\/."},{"key":"e_1_2_1_105_1","unstructured":"UML-MARTE. 2009. UML profile for modeling and analysis of real-time and embedded systems (MARTE). version 1.0 OMG document formal\/2009-11-02. http:\/\/www.omg\/org\/omgmarte\/Document\/Specifications\/08-06-09.pdf.  UML-MARTE. 2009. UML profile for modeling and analysis of real-time and embedded systems (MARTE). version 1.0 OMG document formal\/2009-11-02. http:\/\/www.omg\/org\/omgmarte\/Document\/Specifications\/08-06-09.pdf."},{"key":"e_1_2_1_106_1","unstructured":"UML-QoS&FT. 2008. UML profile for modeling quality of service and fault tolerant characteristics and mechanisms. V1.1 formal\/08-04-05. http:\/\/www\/inf.ufrgs.br\/~juliog\/profiles\/06-05-02.pdf.  UML-QoS&FT. 2008. UML profile for modeling quality of service and fault tolerant characteristics and mechanisms. V1.1 formal\/08-04-05. http:\/\/www\/inf.ufrgs.br\/~juliog\/profiles\/06-05-02.pdf."},{"key":"e_1_2_1_107_1","unstructured":"UML-SPT. 2005. UML profile for schedulabibity performance and time specification. version 1.1 formal\/05-01-02. http:\/\/www.dol.hpi.uni-potsdam.de\/teching\/EES03\/UML-Profile.pdf  UML-SPT. 2005. UML profile for schedulabibity performance and time specification. version 1.1 formal\/05-01-02. http:\/\/www.dol.hpi.uni-potsdam.de\/teching\/EES03\/UML-Profile.pdf"},{"key":"e_1_2_1_108_1","unstructured":"Vesely W. Goldberg F. Roberts N. and Haasl D. 1981. Fault tree handbook. System and Reliability Research Office of Nuclear Regulatory Research U.S. Nuclear Regulatory Commission Washington D.C. 20555.  Vesely W. Goldberg F. Roberts N. and Haasl D. 1981. Fault tree handbook. System and Reliability Research Office of Nuclear Regulatory Research U.S. Nuclear Regulatory Commission Washington D.C. 20555."},{"key":"e_1_2_1_109_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/25.4.465"},{"key":"e_1_2_1_110_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2004.838034"},{"key":"e_1_2_1_111_1","unstructured":"Z. 2002. Z formal specification notation: Syntax type system and semantics. ISO\/IEC 13568:2002 ed.  Z. 2002. Z formal specification notation: Syntax type system and semantics. ISO\/IEC 13568:2002 ed."},{"key":"e_1_2_1_112_1","doi-asserted-by":"crossref","unstructured":"Zarras A. Vassiliadis P. and \n      \n      \n      Issarny V\n      \n  \n  . \n  2004\n  . Model-Driven dependability analysis of webservices. In Proceedings of On the Move to Meaningful Internet Systems 2004: CoopIS DOA and ODBASE OTM Confederated International Conferences Part II R. Meersman and Z. Tari Eds. Lecture Notes in Computer Science vol. \n  3291 Springer 1608--1625.  Zarras A. Vassiliadis P. and Issarny V. 2004. Model-Driven dependability analysis of webservices. In Proceedings of On the Move to Meaningful Internet Systems 2004: CoopIS DOA and ODBASE OTM Confederated International Conferences Part II R. Meersman and Z. Tari Eds. Lecture Notes in Computer Science vol. 3291 Springer 1608--1625.","DOI":"10.1007\/978-3-540-30469-2_48"},{"key":"e_1_2_1_113_1","unstructured":"Zoughbi G. Briand L. and Labiche Y. 2006. A UML profile for developing airworthiness-compliant (RTCA DO-178B) safety-critical software. Tech. rep. Carleton University Canad. SCE-05-19.  Zoughbi G. Briand L. and Labiche Y. 2006. A UML profile for developing airworthiness-compliant (RTCA DO-178B) safety-critical software. Tech. rep. Carleton University Canad. SCE-05-19."},{"key":"e_1_2_1_114_1","doi-asserted-by":"crossref","unstructured":"Zoughbi G. Briand L. and \n      \n      \n      Labiche Y\n      \n  \n  . \n  2007\n  . A UML profile for developing airworthiness-compliant (RTCA DO-178B) safety-critical software. In Proceedings of Models 07. G. Engels Ed. Lecture Notes in Computer Science vol. \n  4735 Springer 574--588.   Zoughbi G. Briand L. and Labiche Y. 2007. A UML profile for developing airworthiness-compliant (RTCA DO-178B) safety-critical software. In Proceedings of Models 07. G. Engels Ed. Lecture Notes in Computer Science vol. 4735 Springer 574--588.","DOI":"10.1007\/978-3-540-75209-7_39"}],"container-title":["ACM Computing Surveys"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2379776.2379778","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2379776.2379778","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:33:57Z","timestamp":1750239237000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2379776.2379778"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,11]]},"references-count":114,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,11]]}},"alternative-id":["10.1145\/2379776.2379778"],"URL":"https:\/\/doi.org\/10.1145\/2379776.2379778","relation":{},"ISSN":["0360-0300","1557-7341"],"issn-type":[{"value":"0360-0300","type":"print"},{"value":"1557-7341","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,11]]},"assertion":[{"value":"2010-09-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2011-06-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2012-12-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}