{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,31]],"date-time":"2024-08-31T03:05:21Z","timestamp":1725073521393},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2009,8,14]],"date-time":"2009-08-14T00:00:00Z","timestamp":1250208000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2011,7]]},"DOI":"10.1007\/s10270-009-0128-1","type":"journal-article","created":{"date-parts":[[2009,8,13]],"date-time":"2009-08-13T13:41:01Z","timestamp":1250170861000},"page":"313-336","source":"Crossref","is-referenced-by-count":124,"title":["A dependability profile within MARTE"],"prefix":"10.1007","volume":"10","author":[{"given":"Simona","family":"Bernardi","sequence":"first","affiliation":[]},{"given":"Jos\u00e9","family":"Merseguer","sequence":"additional","affiliation":[]},{"given":"Dorina C.","family":"Petriu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,8,14]]},"reference":[{"key":"128_CR1","unstructured":"Addouche, N., Antoine, C., Montmain, J.: UML models for dependability analysis of real-time systems. In: Proceedings of International Conference on Systems, Man and Cybernetics, vol. 6, pp. 5209\u20135214. IEEE CS. October (2004)"},{"key":"128_CR2","doi-asserted-by":"crossref","unstructured":"Addouche, N., Antoine, C., Montmain, J.: Methodology for UML modeling and formal verification of real-time systems. In: International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), p. 17. IEEE Computer Society (2006)","DOI":"10.1109\/CIMCA.2006.144"},{"key":"128_CR3","volume-title":"Modelling with Generalized Stochastic Petri Nets","author":"M. Ajmone Marsan","year":"1995","unstructured":"Ajmone Marsan M., Balbo G., Conte G., Donatelli S., Franceschinis G.: Modelling with Generalized Stochastic Petri Nets. Wiley, New York (1995)"},{"key":"128_CR4","doi-asserted-by":"crossref","unstructured":"Ajmone Marsan, M., Chiola, G.: On Petri nets with deterministic and exponentially distributed firing times. In: Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets, pp.132\u2013145, London, UK. Springer-Verlag (1987)","DOI":"10.1007\/3-540-18086-9_23"},{"key":"128_CR5","unstructured":"Allenby, K., Kelly, T.: Deriving safety requirements using scenarios. In: 5th IEEE International Symposium on Requirements Engineering (RE 2001), pp. 228\u2013235. IEEE Computer Society (2001)"},{"key":"128_CR6","unstructured":"ArgoSPE. http:\/\/argospe.tigris.org . University of Zaragoza (2006)"},{"issue":"1","key":"128_CR7","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A. Avizienis","year":"2004","unstructured":"Avizienis A. et\u00a0al.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secure Comput. 1(1), 11\u201333 (2004)","journal-title":"IEEE Trans. Dependable Secure Comput."},{"key":"128_CR8","unstructured":"Bernardi, S., Donatelli, S., Dondossola, G.: Methodology for the generation of the modeling scenarios starting from the requisite specifications and its application to the collected requirements. IST Project 25434 DepAuDE\u2014Deliverable D1.3b (2002)"},{"key":"128_CR9","unstructured":"Bernardi, S., Donatelli, S., Dondossola, G.: A class diagram framework for collecting dependability requirements in automation systems. In: Proceedings of 1st International Symposium on Leveraging Applications of Formal Methods, Cyprus, October (2004)"},{"key":"128_CR10","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1109\/MIC.2006.63","volume":"10","author":"S. Bernardi","year":"2006","unstructured":"Bernardi S., Merseguer J.: QoS assessment via stochastic analysis. IEEE Internet Comput. 10, 32\u201342 (2006)","journal-title":"IEEE Internet Comput."},{"key":"128_CR11","unstructured":"Bernardi, S., Merseguer, J., Petriu, D.: A UML profile for dependability analysis and modeling of software systems. Technical Report RR-08-05, Universidad de Zaragoza, Spain (2008). http:\/\/www.di.unito.it\/~bernardi\/DAMreport08.pdf ."},{"key":"128_CR12","first-page":"736","volume-title":"Proceedings of 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS), volume 5301 of Lecture Notes in Computer Sciences, Toulouse, France","author":"S. Bernardi","year":"2008","unstructured":"Bernardi S., Merseguer J., Petriu D.C.: Adding dependability analysis capabilities to the MARTE Profile. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds) Proceedings of 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS), volume 5301 of Lecture Notes in Computer Sciences, Toulouse, France, pp. 736\u2013750. Springer, New York (2008)"},{"key":"128_CR13","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/S0951-8320(03)00091-7","volume":"81","author":"A. Bobbio","year":"2003","unstructured":"Bobbio A., Ciancamerla E., Franceschinis G., Gaeta R., Minichino M., Portinale L.: Sequential application of heterogeneous models for the safety analysis of a control system: a case study. Reliab. Eng. Syst. Saf. 81, 269\u2013280 (2003)","journal-title":"Reliab. Eng. Syst. Saf."},{"issue":"5","key":"128_CR14","first-page":"265","volume":"16","author":"A. Bondavalli","year":"2001","unstructured":"Bondavalli A. et\u00a0al.: Dependability analysis in the early phases of UML-based system design. Int. J. Comput. Syst. Sci. Eng. 16(5), 265\u2013275 (2001)","journal-title":"Int. J. Comput. Syst. Sci. Eng."},{"key":"128_CR15","doi-asserted-by":"crossref","unstructured":"Cortellessa, V., Pompei, A.: Towards a UML profile for QoS: a contribution in the reliability domain. In: Proceedings of the Fourth International Workshop on Software and Performance (WOSP\u201904), pp. 197\u2013206. January (2004)","DOI":"10.1145\/974044.974076"},{"key":"128_CR16","unstructured":"Dal Cin, M.: Extending UML towards a useful OO-Language for modeling dependability features. In: Proceedings of 9th International Workshop on Object-Oriented Real-Time Dependable Systems, pp. 325\u2013330, Capri Island, Italy, October 2003. IEEE CS (2003)"},{"key":"128_CR17","unstructured":"D\u2019Ambrogio, A., Iazeolla, G., Mirandola, R.: A method for the prediction of software reliability. In: Proceedings of the 6th IASTED Software Engineering and Applications Conference (SEA2002), Cambridge, MA, USA. November (2002)"},{"issue":"3","key":"128_CR18","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1145\/356733.356735","volume":"10","author":"P.J. Denning","year":"1978","unstructured":"Denning P.J., Buzen J.P.: The operational analysis of queueing network models. ACM Comput. Surv. 10(3), 225\u2013261 (1978)","journal-title":"ACM Comput. Surv."},{"key":"128_CR19","volume-title":"Statistical Distributions","author":"M. Evans","year":"2000","unstructured":"Evans M., Hastings N., Peacock B.: Statistical Distributions. Wiley, New York (2000)"},{"issue":"10","key":"128_CR20","doi-asserted-by":"crossref","first-page":"946","DOI":"10.1109\/TSE.2003.1237174","volume":"29","author":"K. Goseva-Popstojanova","year":"2003","unstructured":"Goseva-Popstojanova K. et\u00a0al.: Architectural-level risk analysis using UML. IEEE Trans. Softw. Eng. 29(10), 946\u2013960 (2003)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"128_CR21","doi-asserted-by":"crossref","unstructured":"Grassi, V., Mirandola, R., Sabetta, A.: From design to analysis models: a kernel language for performance and reliability analysis of component-based systems. In: Proceedings of the Fifth International Workshop on Software and Performance (WOSP\u201905), pp. 25\u201336. July (2005)","DOI":"10.1145\/1071021.1071024"},{"issue":"4","key":"128_CR22","doi-asserted-by":"crossref","first-page":"528","DOI":"10.1016\/j.jss.2006.07.023","volume":"80","author":"V. Grassi","year":"2007","unstructured":"Grassi V., Mirandola R., Sabetta A.: Filling the gap between design and performance\/reliability models of component-based systems: a model-driven approach. J. Syst. Softw. 80(4), 528\u2013558 (2007)","journal-title":"J. Syst. Softw."},{"key":"128_CR23","unstructured":"GreatSPN.: http:\/\/www.di.unito.it\/~greatspn . University of Torino (2002)"},{"key":"128_CR24","unstructured":"Hassan, A., Goseva-Popstojanova, K., Ammar, H.: UML based severity analysis methodology. In: Proceedings of Annual Reliability and Maintainability Symposium (RAMS 2005), Alexandria, VA. January (2005)"},{"key":"128_CR25","unstructured":"International Electrotechnical Commission. IEC-60300-3-1 standard: Dependability management"},{"key":"128_CR26","unstructured":"International Electrotechnical Commission. IEC-61508 standard: Functional Safety of Electrical\/Electronic\/Programmable Electronic safety related problems"},{"key":"128_CR27","doi-asserted-by":"crossref","first-page":"320","DOI":"10.1007\/11591962_16","volume-title":"Component-Based Software Development, volume 3778 of LNCS","author":"J. J\u00fcrjens","year":"2005","unstructured":"J\u00fcrjens J., Wagner S.: Component-based development of dependable systems with UML. In: Atkinson, et\u00a0al. (eds) Component-Based Software Development, volume 3778 of LNCS, pp. 320\u2013344. Springer-Verlag, New York (2005)"},{"key":"128_CR28","doi-asserted-by":"crossref","unstructured":"J\u00fcrjens, J.: Developing safety-critical systems with UML. In: Proceedings of UML 2003, San Francisco, volume 2863 of LNCS, pp. 360\u2013372. Springer-Verlag, New York. October (2003)","DOI":"10.1007\/978-3-540-45221-8_31"},{"key":"128_CR29","doi-asserted-by":"crossref","unstructured":"Lagarde, F., et\u00a0al.: Improving UML profile design practices by leveraging conceptual domain models. In: 22nd International Conference on Automated Software Engineering, Atlanta (USA), pp. 445\u2013448. ACM, November (2007)","DOI":"10.1145\/1321631.1321705"},{"key":"128_CR30","volume-title":"Safeware","author":"N.G. Leveson","year":"1995","unstructured":"Leveson N.G.: Safeware. Addison-Wesley, Reading (1995)"},{"key":"128_CR31","unstructured":"Lyu, M.R. (eds.): Handbook of Software Reliability Engineering. IEEE Computer Society Press (1996)"},{"key":"128_CR32","volume-title":"Software Fault Tolerance","author":"M.R. Lyu","year":"1995","unstructured":"Lyu M.R.: Software Fault Tolerance. Wiley, New York (1995)"},{"key":"128_CR33","unstructured":"MagicDraw. http:\/\/www.magicdraw.com\/ . No Magic, Inc. (2009)"},{"key":"128_CR34","doi-asserted-by":"crossref","unstructured":"Majzik, I., Pataricza, A., Bondavalli, A.: Stochastic dependability analysis of system architecture based on UML models. In: Architecting Dependable Systems, LNCS 2677, pp. 219\u2013244. Springer-Verlag, New York (2003)","DOI":"10.1007\/3-540-45177-3_10"},{"key":"128_CR35","unstructured":"Merseguer, J., Bernardi, S., Campos, J., Donatelli, S.: A compositional semantics for UML State Machines aimed at performance evaluation. In: Silva, M., Giua, A., Colom, J.M. (eds.) WODES02: 6th International Workshop on Discrete Event Systems, pp. 295\u2013302, Zaragoza, Spain, October 2002. IEEE Computer Society (2002)"},{"issue":"4","key":"128_CR36","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1007\/s10270-008-0084-1","volume":"7","author":"S. Mustafiz","year":"2008","unstructured":"Mustafiz S., Sun X., Kienzle J., Vangheluwe H.: Model-driven assessment of system dependability. J. Softw. Syst. Model. 7(4), 487\u2013502 (2008)","journal-title":"J. Softw. Syst. Model."},{"key":"128_CR37","unstructured":"Object Management Group.: UML Profile for Schedulability, Performance and Time Specification. January 2005. V1.1, f\/05-01-02 (2005)"},{"key":"128_CR38","unstructured":"Object Management Group.: A UML profile for Modeling and Analysis of Real Time Embedded Systems, Beta 1. August 2007. Adopted Spec., ptc\/07-08-04 (2007)"},{"key":"128_CR39","unstructured":"Object Management Group.: UML Profile for Modeling Quality of Service and Fault Tolerant Characteristics and Mechanisms, April 2008. V1.1, f\/08-04-05 (2008)"},{"key":"128_CR40","doi-asserted-by":"crossref","unstructured":"Pai, G.J., Dugan, J.B.: Automatic synthesis of dynamic fault trees from UML system models. In: Proceedings of 13th International Symposium on Software Reliability Engineering, pp. 243\u2013256, Annapolis, MD, USA, November 2002. IEEE CS (2002)","DOI":"10.1109\/ISSRE.2002.1173261"},{"key":"128_CR41","unstructured":"Pataricza, A.: From the general resource model to a general fault modelling paradigm? Workshop on Critical Systems, held within UML\u20192000 (2000)"},{"key":"128_CR42","unstructured":"Pataricza, A., et\u00a0al.: UML-based design and formal analysis of a safety-critical railway control software module. In: Tarnai, G., Schnieder, E. (eds.) Proceedings of FORMS\u201903, pp. 125\u2013132, Budapest (Hungary). May (2003)"},{"key":"128_CR43","doi-asserted-by":"crossref","unstructured":"Sahner, R.A., Trivedi, K.S., Puliafito, A.: Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package. Kluwer Academic Publishers, Dordrecht (1996)","DOI":"10.1109\/TR.1997.664017"},{"key":"128_CR44","doi-asserted-by":"crossref","unstructured":"Selic, B.: A systematic approach to domain-specific language design using UML. In: 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC\u201907), pp. 2\u20139 (2007)","DOI":"10.1109\/ISORC.2007.10"},{"key":"128_CR45","doi-asserted-by":"crossref","unstructured":"Zoughbi, G., Briand, L., Labiche, Y.: A UML Profile for developing airworthiness-compliant (RTCA DO-178B), safety-critical software. In: Proceedings of Models 2007, volume 4735 of LNCS, pp. 574\u2013588. Springer-Verlag, New York (2007)","DOI":"10.1007\/978-3-540-75209-7_39"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-009-0128-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-009-0128-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-009-0128-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,9]],"date-time":"2021-10-09T16:40:42Z","timestamp":1633797642000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-009-0128-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8,14]]},"references-count":45,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2011,7]]}},"alternative-id":["128"],"URL":"https:\/\/doi.org\/10.1007\/s10270-009-0128-1","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,8,14]]}}}