{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:49:12Z","timestamp":1725518952588},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540878742"},{"type":"electronic","value":"9783540878759"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87875-9_51","type":"book-chapter","created":{"date-parts":[[2008,9,21]],"date-time":"2008-09-21T21:46:10Z","timestamp":1222033570000},"page":"736-750","source":"Crossref","is-referenced-by-count":14,"title":["Adding Dependability Analysis Capabilities to the MARTE Profile"],"prefix":"10.1007","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","reference":[{"issue":"1","key":"51_CR1","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A. Avizienis","year":"2004","unstructured":"Avizienis, A., et al.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. on Dependable and Secure Computing\u00a01(1), 11\u201333 (2004)","journal-title":"IEEE Trans. on Dependable and Secure Computing"},{"key":"51_CR2","unstructured":"Object Management Group: UML Profile for Schedulability, Performance and Time Specification. (January 2005) V1.1, f\/05-01-02"},{"key":"51_CR3","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"},{"key":"51_CR4","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"},{"key":"51_CR5","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1145\/1216993.1217012","volume-title":"Proc. of WOSP","author":"S. Bernardi","year":"2007","unstructured":"Bernardi, S., Merseguer, J.: A UML profile for dependability analysis of real-time embedded systems. In: Proc. of WOSP, February 2007, pp. 115\u2013124. ACM, New York (2007)"},{"key":"51_CR6","doi-asserted-by":"crossref","unstructured":"Selic, B.: A systematic approach to domain-specific language design using UML. In: 10th IEEE Int.l Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC 2007), pp. 2\u20139 (2007)","DOI":"10.1109\/ISORC.2007.10"},{"key":"51_CR7","first-page":"445","volume-title":"22nd Int.l Conf. on Automated Software Engineering","author":"F. Lagarde","year":"2007","unstructured":"Lagarde, F., et al.: Improving UML profile design practices by leveraging conceptual domain models. In: 22nd Int.l Conf. on Automated Software Engineering, Atlanta (USA), November 2007, pp. 445\u2013448. ACM, New York (2007)"},{"key":"51_CR8","volume-title":"Safeware","author":"N. Leveson","year":"1995","unstructured":"Leveson, N.: Safeware. Addison-Wesley, Reading (1995)"},{"volume-title":"Handbook of Software Reliability Engineering","year":"1996","key":"51_CR9","unstructured":"Lyu, M.R. (ed.): Handbook of Software Reliability Engineering. IEEE Computer Society Press, Los Alamitos (1996)"},{"key":"51_CR10","volume-title":"Software Fault Tolerance","author":"M. Lyu","year":"1995","unstructured":"Lyu, M.: Software Fault Tolerance. John Wiley & Sons, Ltd., Chichester (1995)"},{"key":"51_CR11","unstructured":"Commission, I.E.: IEC-60300-3-1 standard: Dependability management"},{"key":"51_CR12","unstructured":"Commission, I.E.: IEC-61508 standard: Functional Safety of Electrical\/ Electronic\/ Programmable Electronic safety related problems"},{"key":"51_CR13","unstructured":"Bernardi, S., Merseguer, J., Petriu, D.: An UML profile for Dependability Analysis and Modeling of Software Systems. Technical Report RR-08-05, Universidad de Zaragoza, Spain (2008), \n                      \n                        http:\/\/www.di.unito.it\/~bernardi\/DAMreport08.pdf"},{"key":"51_CR14","unstructured":"Pataricza, A.: From the General Resource Model to a General Fault Modelling Paradigm? In: Workshop on Critical Systems, held within UML 2000 (2000)"},{"key":"51_CR15","first-page":"5209","volume-title":"Proc. International Conference on Systems, Man and Cybernetics","author":"N. Addouche","year":"2004","unstructured":"Addouche, N., Antoine, C., Montmain, J.: UML models for dependability analysis of real-time systems. In: Proc. International Conference on Systems, Man and Cybernetics, October 2004, vol.\u00a06, pp. 5209\u20135214. IEEE Computer Society, Los Alamitos (2004)"},{"key":"51_CR16","unstructured":"Bernardi, S., Donatelli, S., Dondossola, G.: A class diagram framework for collecting dependability requirements in automation systems. In: Proc. of 1\n                      st\n                     Int.l Symposium on Leveraging Applications of Formal Methods, Cyprus (October 2004)"},{"key":"51_CR17","doi-asserted-by":"crossref","unstructured":"Bernardi, S., Merseguer, J.: QoS Assessment via Stochastic Analysis. IEEE Internet Computing, 32\u201342 (May-June 2006)","DOI":"10.1109\/MIC.2006.63"},{"key":"51_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/3-540-45177-3_10","volume-title":"Architecting Dependable Systems","author":"I. Majzik","year":"2003","unstructured":"Majzik, I., Pataricza, A., Bondavalli, A.: Stochastic Dependability Analysis of System Architecture Based on UML Models. In: Architecting Dependable Systems. LNCS, vol.\u00a02677, pp. 219\u2013244. Springer, Heidelberg (2003)"},{"key":"51_CR19","first-page":"325","volume-title":"Proc. of 9th Int.l Workshop on Object-Oriented Real-Time Dependable Systems","author":"M. Cin Dal","year":"2003","unstructured":"Dal Cin, M.: Extending UML towards a Useful OO-Language for Modeling Dependability Features. In: Proc. of 9th Int.l Workshop on Object-Oriented Real-Time Dependable Systems, Capri Island, Italy, October 2003, pp. 325\u2013330. IEEE Computer Society, Los Alamitos (2003)"},{"key":"51_CR20","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1109\/ISSRE.2002.1173261","volume-title":"Proc. of 13th Int. Symposium on Software Reliability Engineering","author":"G. Pai","year":"2002","unstructured":"Pai, G., Dugan, J.: Automatic Synthesis of Dynamic Fault Trees from UML system models. In: Proc. of 13th Int. Symposium on Software Reliability Engineering, Annapolis, MD, USA, November 2002, pp. 243\u2013256. IEEE Computer Society, Los Alamitos (2002)"},{"key":"51_CR21","unstructured":"D\u2019Ambrogio, A., Iazeolla, G., Mirandola, R.: A method for the prediction of software reliability. In: Proc. of the 6-th IASTED Software Engineering and Applications Conference (SEA 2002), Cambridge, MA, USA (November 2002)"},{"key":"51_CR22","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 2004), pp. 197\u2013206 (January 2004)","DOI":"10.1145\/974044.974076"},{"issue":"4","key":"51_CR23","doi-asserted-by":"publisher","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. Journal of Systems and Software\u00a080(4), 528\u2013558 (2007)","journal-title":"Journal of Systems and Software"},{"key":"51_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1007\/978-3-540-45221-8_31","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"J. J\u00fcrjens","year":"2003","unstructured":"J\u00fcrjens, J.: Developing safety-critical systems with UML. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 360\u2013372. Springer, Heidelberg (2003)"},{"key":"51_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/11591962_16","volume-title":"Component-Based Software Development","author":"J. J\u00fcrjens","year":"2005","unstructured":"J\u00fcrjens, J., Wagner, S.: Component-based Development of Dependable Systems with UML. In: Atkinson, C., Bunse, C., Gross, H.-G., Peper, C. (eds.) Component-Based Software Development for Embedded Systems. LNCS, vol.\u00a03778, pp. 320\u2013344. Springer, Heidelberg (2005)"},{"key":"51_CR26","unstructured":"Pataricza, A., et al.: UML-based design and formal analysis of a safety-critical railway control software module. In: Tarnai, G., Schnieder, E. (eds.) Proc. of FORMS 2003, Budapest (Hungary), pp. 125\u2013132 (May 2003)"},{"issue":"10","key":"51_CR27","doi-asserted-by":"publisher","first-page":"946","DOI":"10.1109\/TSE.2003.1237174","volume":"29","author":"K. Goseva-Popstojanova","year":"2003","unstructured":"Goseva-Popstojanova, K., et al.: Architectural-level risk analysis using UML. IEEE Transactions on Software Engineering\u00a029(10), 946\u2013960 (2003)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"51_CR28","doi-asserted-by":"crossref","unstructured":"Hassan, A., Goseva-Popstojanova, K., Ammar, H.: UML Based Severity Analysis Methodology. In: Proc. of Annual Reliability and Maintainability Symposium (RAMS 2005), Alexandria, VA (January 2005)","DOI":"10.1109\/RAMS.2005.1408355"},{"key":"51_CR29","first-page":"228","volume-title":"5th IEEE International Symposium on Requirements Engineering (RE 2001)","author":"K. Allenby","year":"2001","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, Los Alamitos (2001)"},{"key":"51_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"574","DOI":"10.1007\/978-3-540-75209-7_39","volume-title":"Model Driven Engineering Languages and Systems","author":"G. Zoughbi","year":"2007","unstructured":"Zoughbi, G., Briand, L., Labiche, Y.: A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 574\u2013588. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87875-9_51.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:51:07Z","timestamp":1619509867000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87875-9_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540878742","9783540878759"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87875-9_51","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}