{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,16]],"date-time":"2024-09-16T17:22:55Z","timestamp":1726507375729},"reference-count":31,"publisher":"Elsevier BV","content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Reliability Engineering & System Safety"],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1016\/j.ress.2013.06.032","type":"journal-article","created":{"date-parts":[[2013,7,21]],"date-time":"2013-07-21T03:33:41Z","timestamp":1374377621000},"page":"112-126","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":43,"special_numbering":"C","title":["Enabling the usage of UML in the verification of railway systems: The DAM-rail approach"],"prefix":"10.1016","volume":"120","author":[{"given":"S.","family":"Bernardi","sequence":"first","affiliation":[]},{"given":"F.","family":"Flammini","sequence":"additional","affiliation":[]},{"given":"S.","family":"Marrone","sequence":"additional","affiliation":[]},{"given":"N.","family":"Mazzocca","sequence":"additional","affiliation":[]},{"given":"J.","family":"Merseguer","sequence":"additional","affiliation":[]},{"given":"R.","family":"Nardone","sequence":"additional","affiliation":[]},{"given":"V.","family":"Vittorini","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"year":"2005","series-title":"Secure systems development with UML","author":"J\u00fcrjens","key":"10.1016\/j.ress.2013.06.032_bib1"},{"issue":"2","key":"10.1016\/j.ress.2013.06.032_bib2","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/s10270-006-0026-8","article-title":"An intermediate metamodel with scenarios and resources for generating performance models from UML designs","volume":"6","author":"Petriu","year":"2007","journal-title":"Software and Systems Modeling"},{"key":"10.1016\/j.ress.2013.06.032_bib3","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1007\/s10270-008-0084-1","article-title":"Model-driven assessment of system dependability","volume":"7","author":"Mustafiz","year":"2008","journal-title":"Software and Systems Modeling"},{"key":"10.1016\/j.ress.2013.06.032_bib4","doi-asserted-by":"crossref","unstructured":"Cortellessa V, Singh H, Cukic H. Early reliability assessment of UML based software models In: Proceedings of the third international workshop on software and performance, WOSP '02. ACM, New York, NY, USA; 2002. pp. 302\u20139.","DOI":"10.1145\/584408.584415"},{"key":"10.1016\/j.ress.2013.06.032_bib5","doi-asserted-by":"crossref","unstructured":"Casola V, Fasolino A, Mazzocca N, Tramontana P. An AHP-based framework for quality and security evaluation. In: Proceedings of the 12th IEEE international conference on computational science and engineering, CSE 2009, vol. 3; 2009. pp. 405\u201311.","DOI":"10.1109\/CSE.2009.391"},{"key":"10.1016\/j.ress.2013.06.032_bib6","doi-asserted-by":"crossref","unstructured":"Bernardi S, Flammini F, Marrone S, Merseguer J, Papa C, Vittorini V. Model-driven availability evaluation of railway control systems. In: SAFECOMP 2011. Lecture notes in computer science, vol. 6894; 2011.","DOI":"10.1007\/978-3-642-24270-0_2"},{"key":"10.1016\/j.ress.2013.06.032_bib7","doi-asserted-by":"crossref","unstructured":"Selic B. A systematic approach to domain-specific language design using UML. In: The 10th IEEE international symposium on object and component-oriented real-time distributed computing (ISORC'07); 2007.","DOI":"10.1109\/ISORC.2007.10"},{"issue":"3","key":"10.1016\/j.ress.2013.06.032_bib8","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":"Software and System Modeling"},{"key":"10.1016\/j.ress.2013.06.032_bib9","doi-asserted-by":"crossref","unstructured":"Codetta Raiteri D, Iacono M, Franceschinis G, Vittorini V. Repairable fault tree for the automatic evaluation of repair policies. In: Proceedings of the 2004 international conference on dependable systems and networks; 2004. pp. 659\u201368.","DOI":"10.1109\/DSN.2004.1311936"},{"issue":"4","key":"10.1016\/j.ress.2013.06.032_bib10","first-page":"50","article-title":"Bayesian networks without tears","volume":"12","author":"Charniak","year":"1991","journal-title":"AI Magazine"},{"key":"10.1016\/j.ress.2013.06.032_bib11","unstructured":"UNISIG, ERTMS\/ETCS RAMS requirements specification, ref. 96s1266."},{"key":"10.1016\/j.ress.2013.06.032_bib12","unstructured":"CENELEC, EN50126 railways applications \u2013 the specification and demonstration of reliability, availability, maintainability and safety (RAMS); 1999."},{"key":"10.1016\/j.ress.2013.06.032_bib13","unstructured":"OMG, Unified modeling language: infrastructure and superstructure, version 2.4, formal\/11-08-05; May 2011."},{"key":"10.1016\/j.ress.2013.06.032_bib14","unstructured":"OMG, Object constraint language, version 2.3, formal\/12-01-01; January 2012."},{"key":"10.1016\/j.ress.2013.06.032_bib15","unstructured":"OMG, UML profile for MARTE: modeling and analysis of real-time embedded systems, version 1.1, formal\/11-06-02; June 2011."},{"issue":"1","key":"10.1016\/j.ress.2013.06.032_bib16","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 Transactions on Dependable and Secure Computing"},{"key":"10.1016\/j.ress.2013.06.032_bib17","doi-asserted-by":"crossref","unstructured":"F. Lagarde, et al. Improving UML profile design practices by leveraging conceptual domain models. In: The 22nd international conference on automated software engineering, Atlanta, USA. ACM; 2007. p. 445\u20138.","DOI":"10.1145\/1321631.1321705"},{"key":"10.1016\/j.ress.2013.06.032_bib18","unstructured":"G. Cozman, JavaBayes \u2013 user manual, version 0.346."},{"issue":"3","key":"10.1016\/j.ress.2013.06.032_bib19","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1109\/TR.1997.664017","article-title":"Performance and reliability analysis of computer systems (an example-based approach using the Sharpe software)","volume":"46","author":"Sahner","year":"1997","journal-title":"IEEE Transactions on Reliability"},{"issue":"4","key":"10.1016\/j.ress.2013.06.032_bib20","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1145\/1530873.1530876","article-title":"The GreatSPN tool","volume":"36","author":"Baarir","year":"2009","journal-title":"SIGMETRICS Performance Evaluation Review"},{"key":"10.1016\/j.ress.2013.06.032_bib21","unstructured":"Fleurey F, Steel J, Baudry B. Validation in model-driven engineering: testing model transformations. In: First international workshop on model, design and validation; 2004."},{"key":"10.1016\/j.ress.2013.06.032_bib22","doi-asserted-by":"crossref","unstructured":"Asztalos M, Lengyel L, Levendovszky T. Towards automated, formal verification of model transformations. In: Proceedings of ICST '10. IEEE Computer Society, Washington, DC, USA; 2010. pp. 15\u201324.","DOI":"10.1109\/ICST.2010.42"},{"issue":"3","key":"10.1016\/j.ress.2013.06.032_bib23","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1007\/s10270-009-0134-3","article-title":"Module superimposition","volume":"9","author":"Wagelaar","year":"2010","journal-title":"Software and System Modeling"},{"issue":"1\u20132","key":"10.1016\/j.ress.2013.06.032_bib24","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","article-title":"ATL","volume":"72","author":"Jouault","year":"2008","journal-title":"Science of Computer Programming"},{"key":"10.1016\/j.ress.2013.06.032_bib25","doi-asserted-by":"crossref","unstructured":"Marrone, S, Papa, C, Vittorini, V. Multiformalism and transformation inheritance for dependability analysis of critical systems. In: Proceedings of eighth integrated formal methods, IFM'10; 2010. pp. 215\u201328.","DOI":"10.1007\/978-3-642-16265-7_16"},{"issue":"3","key":"10.1016\/j.ress.2013.06.032_bib26","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/S0951-8320(00)00077-6","article-title":"Improving the analysis of dependable systems by mapping fault trees into Bayesian networks","volume":"71","author":"Bobbio","year":"2001","journal-title":"Reliability Engineering and System Safety"},{"key":"10.1016\/j.ress.2013.06.032_bib27","unstructured":"UIC, ERTMS\/ETCS class1 system requirements specification, ref. SUBSET-026, issue 2.2.2; 2002."},{"key":"10.1016\/j.ress.2013.06.032_bib28","doi-asserted-by":"crossref","unstructured":"Flammini, F, Mazzocca, N, Iacono, M, Marrone, S. Using Repairable Fault Trees for the evaluation of design choices for critical repairable systems. In: Proceedings of HASE'05; 2005. pp. 163\u201372.","DOI":"10.1109\/HASE.2005.26"},{"key":"10.1016\/j.ress.2013.06.032_bib29","doi-asserted-by":"crossref","unstructured":"Fiaschetti, A, Lavorato, F, Suraci, V, Palo, A, Taglialatela, A, Morgagni, A, et al. On the use of semantic technologies to model and control security, privacy and dependability in complex systems. In: Proceedings of SAFECOMP'11; 2011. pp. 467\u201379.","DOI":"10.1007\/978-3-642-24270-0_34"},{"key":"10.1016\/j.ress.2013.06.032_bib30","doi-asserted-by":"crossref","unstructured":"Fantechi A, Flammini F, Gnesi S. Formal methods for intelligent transportation systems. In: Proceedings of the fifth international conference on leveraging applications of formal methods, verification and validation: applications and case studies, ISoLA'12; 2012. pp. 187\u20139.","DOI":"10.1007\/978-3-642-34032-1_19"},{"key":"10.1016\/j.ress.2013.06.032_bib31","doi-asserted-by":"crossref","unstructured":"Hutchinson J. An empirical assessment of model driven development in industry. Ph.D. thesis, B.Sc. Hons Lancaster University; 2011.","DOI":"10.1145\/1985793.1985858"}],"container-title":["Reliability Engineering & System Safety"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S095183201300197X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S095183201300197X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,7,19]],"date-time":"2019-07-19T00:32:04Z","timestamp":1563496324000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S095183201300197X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12]]},"references-count":31,"alternative-id":["S095183201300197X"],"URL":"https:\/\/doi.org\/10.1016\/j.ress.2013.06.032","relation":{},"ISSN":["0951-8320"],"issn-type":[{"type":"print","value":"0951-8320"}],"subject":[],"published":{"date-parts":[[2013,12]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Enabling the usage of UML in the verification of railway systems: The DAM-rail approach","name":"articletitle","label":"Article Title"},{"value":"Reliability Engineering & System Safety","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.ress.2013.06.032","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2013 Elsevier Ltd. All rights reserved.","name":"copyright","label":"Copyright"}]}}