{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T14:30:10Z","timestamp":1709303410592},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2011,7,1]],"date-time":"2011-07-01T00:00:00Z","timestamp":1309478400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1007\/s10626-011-0111-1","type":"journal-article","created":{"date-parts":[[2011,6,30]],"date-time":"2011-06-30T04:05:46Z","timestamp":1309406746000},"page":"163-178","source":"Crossref","is-referenced-by-count":17,"title":["Dependability analysis of DES based on MARTE and UML state machines models"],"prefix":"10.1007","volume":"22","author":[{"given":"Jos\u00e9","family":"Merseguer","sequence":"first","affiliation":[]},{"given":"Simona","family":"Bernardi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,7,1]]},"reference":[{"key":"111_CR1","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1007\/3-540-18086-9_23","volume-title":"Advances in Petri Nets 1987, covers the 7th European workshop on applications and theory of Petri Nets","author":"M Ajmone Marsan","year":"1987","unstructured":"Ajmone\u00a0Marsan M, Chiola G (1987) 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. Springer, London, pp 132\u2013145"},{"issue":"1","key":"111_CR2","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A Avizienis","year":"2004","unstructured":"Avizienis A, Laprie JC, Randell B, Landwehr C (2004) Basic concepts and taxonomy of dependable and secure computing. IEEE Trans Depend Secure Comput 1(1):11\u201333. doi: 10.1109\/TDSC.2004.2","journal-title":"IEEE Trans Depend Secure Comput"},{"key":"111_CR3","doi-asserted-by":"crossref","unstructured":"Basile F, Chiacchio P, Grosso DD (2008) Modelling automation systems by UML and Petri nets. In: Proceedings of of the 9th international workshop on discrete event systems (WODES 2008), IEEE Explore, pp 308\u2013313","DOI":"10.1109\/WODES.2008.4605964"},{"key":"111_CR4","author":"S Bernardi","year":"2009","unstructured":"Bernardi S, Merseguer J, Petriu D (2009) A dependability profile within MARTE. J Softw Syst Model. doi: 10.1007\/s10270-009-0128-1","journal-title":"J Softw Syst Model"},{"issue":"5","key":"111_CR5","first-page":"265","volume":"16","author":"A Bondavalli","year":"2001","unstructured":"Bondavalli A, Dal\u00a0Cin M, Latella D, Majzik I, Pataricza A, Savoia G (2001) Dependability analysis in the early phases of UML-based system design. Int J Comput Syst Sci Eng 16(5):265\u2013275","journal-title":"Int J Comput Syst Sci Eng"},{"key":"111_CR6","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1145\/1557626.1557637","volume-title":"Canadian conference on computer science & software engineering (C3S2E 2009)","author":"J Dingel","year":"2009","unstructured":"Dingel J, Rudie K, Dragert C (2009) Bridging the gap: Discrete-event systems for software engineering. In: Canadian conference on computer science & software engineering (C3S2E 2009). ACM, Montreal, pp 67\u201371"},{"key":"111_CR7","first-page":"133","volume-title":"Application and theory of Petri Nets, LNCS, vol 1091","author":"S Donatelli","year":"1996","unstructured":"Donatelli S, Franceschinis G (1996) The PSR methodology: integrating hardware and software models. In: Billington J, Reisig W (eds) Application and theory of Petri Nets, LNCS, vol 1091. Springer, New York, pp 133\u2013152"},{"key":"111_CR8","unstructured":"GISED group (2006) http:\/\/argospe.tigris.org . Universidad de Zaragoza"},{"key":"111_CR9","unstructured":"GISED group (2011) http:\/\/webdiis.unizar.es\/GISED\/?q=tools . Universidad de Zaragoza"},{"key":"111_CR10","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1007\/3-540-46506-5_17","volume-title":"Performance evaluation: origins and directions, Lecture notes in computer science, vol 1769","author":"K Goseva-Popstojanova","year":"2000","unstructured":"Goseva-Popstojanova K, Trivedi KS (2000) Stochastic modeling formalisms for dependability, performance and performability. In: Haring G, Lindemann C, Reiser M (eds) Performance evaluation: origins and directions, Lecture notes in computer science, vol 1769. Springer, New York, pp 403\u2013422"},{"issue":"3","key":"111_CR11","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1093\/comjnl\/45.3.260","volume":"45","author":"G Huszerl","year":"2002","unstructured":"Huszerl G, Majzik I, Pataricza A, Kosmidis K, Dal\u00a0Cin M (2002) Quantitative analysis of UML statechart models of dependable systems. Comput J 45(3):260\u2013277","journal-title":"Comput J"},{"key":"111_CR12","unstructured":"Lilius J, Paltor IP (1999) The semantics of UML state machines. Tech. rep., Turku Centre for Computer Science, \u00c5bo Akademi University, Turku (Finland)"},{"key":"111_CR13","unstructured":"MARTE (2008) A UML profile for MARTE: modeling and analysis of real-time embedded systems, Object Management Group. Document Number: ptc\/2008-06-09"},{"key":"111_CR14","doi-asserted-by":"crossref","unstructured":"Merseguer J (2003) Software performance engineering based on UML and Petri nets. PhD thesis, University of Zaragoza, Spain","DOI":"10.1007\/978-3-540-24663-3_13"},{"issue":"4","key":"111_CR15","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 (2008) Model-driven assessment of system dependability. Softw Syst Model 7(4):487\u2013502","journal-title":"Softw Syst Model"},{"key":"111_CR16","unstructured":"Papyrus (2010) www.papyrusuml.org\/ . CEA LIST"},{"key":"111_CR17","unstructured":"Risco-Martin J, Mittal S, Zeigler B, de\u00a0la Cruz J (2007) From UML state charts to DEVS state machines using XML. In: Workshop on multi-paradigm modeling within MoDELS, Nashville, Tennessee (USA), pp 35\u201348"},{"key":"111_CR18","first-page":"30","volume-title":"Proceedings of the 2nd international conference on performance evaluation methodolgies and tools (VALUETOOLS 2007)","author":"J Trowitzsch","year":"2007","unstructured":"Trowitzsch J, Jerzynek D, Zimmermann A (2007) A toolkit for performability evaluation based on stochastic UML state machines. In: Proceedings of the 2nd international conference on performance evaluation methodolgies and tools (VALUETOOLS 2007). ACM, Nantes, p\u00a030"},{"key":"111_CR19","unstructured":"UML2 (2010) UML Unified modeling language: superstructure. Object Management Group, http:\/\/www.omg.org , version 2.3"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-011-0111-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-011-0111-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-011-0111-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,27]],"date-time":"2021-11-27T05:09:46Z","timestamp":1637989786000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-011-0111-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7,1]]},"references-count":19,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2012,6]]}},"alternative-id":["111"],"URL":"https:\/\/doi.org\/10.1007\/s10626-011-0111-1","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,7,1]]}}}