{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,8]],"date-time":"2024-07-08T22:36:17Z","timestamp":1720478177485},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2014,5,25]],"date-time":"2014-05-25T00:00:00Z","timestamp":1400976000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2014,11]]},"DOI":"10.1007\/s10009-014-0320-7","type":"journal-article","created":{"date-parts":[[2014,5,24]],"date-time":"2014-05-24T14:52:25Z","timestamp":1400943145000},"page":"669-683","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":19,"title":["Towards Model-Driven V&V assessment of railway control systems"],"prefix":"10.1007","volume":"16","author":[{"given":"Stefano","family":"Marrone","sequence":"first","affiliation":[]},{"given":"Francesco","family":"Flammini","sequence":"additional","affiliation":[]},{"given":"Nicola","family":"Mazzocca","sequence":"additional","affiliation":[]},{"given":"Roberto","family":"Nardone","sequence":"additional","affiliation":[]},{"given":"Valeria","family":"Vittorini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,5,25]]},"reference":[{"key":"320_CR1","unstructured":"CRYSTAL: CRitical sYSTem engineering AcceLeration. http:\/\/www.crystal-artemis.eu\/"},{"key":"320_CR2","unstructured":"MBAT: Combined Model-based Analysis and Testing of Embedded Systems. http:\/\/www.mbat-artemis.eu\/"},{"key":"320_CR3","unstructured":"MOGENTES2: Model-Based Generation of Test-Cases Frame Programme 7, Project ID: ICT-216679. http:\/\/www.mogentes.eu\/"},{"key":"320_CR4","unstructured":"SCADE Technical Manual (2005)"},{"key":"320_CR5","unstructured":"Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. John Wiley and Sons"},{"key":"320_CR6","doi-asserted-by":"crossref","unstructured":"Asztalos, M., Lengyel, L., Levendovszky, T.: Towards automated, formal verification of model transformations. In Proc. of ICST \u201910, pages 15\u201324, Washington, DC, USA. IEEE Computer Society (2010)","DOI":"10.1109\/ICST.2010.42"},{"issue":"4","key":"320_CR7","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1145\/1530873.1530876","volume":"36","author":"S Baarir","year":"2009","unstructured":"Baarir, S., Beccuti, M., Cerotti, D., De Pierro, M., Donatelli, S., Franceschinis, G.: The greatspn tool: Recent enhancements. SIGMETRICS Perform. Eval. Rev. 36(4), 4\u20139 (2009)","journal-title":"SIGMETRICS Perform. Eval. Rev."},{"key":"320_CR8","unstructured":"Baker, P., Dai, Z.R., Grabowski, J., Haugen, \u00d8., Schieferdecker, I., Williams, C.: Model-Driven Testing: Using the UML Testing Profile. Springer-Verlag New York Inc, Secaucus, NJ, USA (2007)"},{"key":"320_CR9","doi-asserted-by":"crossref","unstructured":"Behm, Patrick, Benoit, Paul, Faivre, Alain, Meynadier, Jean-Marc: M\u00e9t\u00e9or: A successful application of b in a large project. In JeannetteM. Wing, Jim Woodcock, and Jim Davies, editors, FM99 Formal Methods, volume 1708 of LNCS, pages 369\u2013387. Springer, Berlin Heidelberg (1999)","DOI":"10.1007\/3-540-48119-2_22"},{"key":"320_CR10","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1016\/j.ress.2013.06.032","volume":"120","author":"S Bernardi","year":"2013","unstructured":"Bernardi, S., Flammini, F., Marrone, S., Mazzocca, N., Merseguer, J., Nardone, R., Vittorini, V.: Enabling the usage of UML in the verification of railway systems: The DAM-rail approach. Reliability Engineering and System Safety 120, 112\u2013126 (2013)","journal-title":"Reliability Engineering and System Safety"},{"key":"320_CR11","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 Proc. of the Int. Conference SAFECOMP\u201911, pages 15\u201328 (2011)","DOI":"10.1007\/978-3-642-24270-0_2"},{"key":"320_CR12","doi-asserted-by":"crossref","unstructured":"Bernardi, S., Merseguer, J., Petriu, D. C.: A dependability profile within MARTE. In Journal of Software and Systems Modeling (2009)","DOI":"10.1007\/s10270-009-0128-1"},{"key":"320_CR13","unstructured":"CENELEC. EN50126 railways applications - the specification and demonstration of reliability, availability, maintainability and safety (RAMS) (1999)"},{"key":"320_CR14","unstructured":"Dai, Z.: Model-driven testing with UML 2.0. In Proc. of the 2nd European Workshop on Model Driven, Architecture (2004)"},{"key":"320_CR15","doi-asserted-by":"crossref","unstructured":"Fantechi, A., Gnesi, S.: On the adoption of model checking in safety-related software industry. In Proceedings of the 30th International Conference on Computer Safety, Reliability, and Security, SAFECOMP\u201911, pages 383\u2013396 (2011)","DOI":"10.1007\/978-3-642-24270-0_28"},{"key":"320_CR16","doi-asserted-by":"crossref","unstructured":"Flammini, F., Marrone, S., Mazzocca, N., Nardone, R., Vittorini, V.: Model-driven V&V processes for computer based control systems: A unifying perspective. In Proc. ISOLA 2012, LNCS, pages 190\u2013204. Springer, Berlin Heidelberg (2012)","DOI":"10.1007\/978-3-642-34032-1_20"},{"key":"320_CR17","doi-asserted-by":"crossref","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)","DOI":"10.1109\/MODEVA.2004.1425846"},{"key":"320_CR18","unstructured":"Fuentes-Fern\u00e1ndez, L., Vallecillo-Moreno, A.: An introduction to UML profiles. UML and Model, Engineering, 2 (2004)"},{"issue":"6","key":"320_CR19","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1145\/318774.318939","volume":"24","author":"A Gargantini","year":"1999","unstructured":"Gargantini, A., Heitmeyer, C.: Using model checking to generate tests from requirements specifications. SIGSOFT Softw. Eng. Notes 24(6), 146\u2013162 (1999)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"320_CR20","doi-asserted-by":"crossref","unstructured":"Gnesi, S., Margaria, T. (eds.): Formal Methods for Industrial Critical Systems: A Survey of Applications. John Wiley & Sons Inc, Hoboken, NJ, USA (2012)","DOI":"10.1002\/9781118459898"},{"key":"320_CR21","unstructured":"Holzmann, G.: SPIN model checker, the: primer and reference manual. Addison-Wesley Professional (2003)"},{"key":"320_CR22","unstructured":"Hyoung, S. H., Insup, L., Oleg, S., Sung, D. C.: Automatic test generation from statecharts using model checking. In In Proc. of FATES\u201901, pages 15\u201330 (2001)"},{"key":"320_CR23","doi-asserted-by":"crossref","unstructured":"Javed, A. Z., Strooper, P. A., Watson, G. N.: Automated generation of test cases using model-driven architecture. In Proc. of AST \u201907, pages 3-, Washington, DC, USA. IEEE Computer Society (2007)","DOI":"10.1109\/AST.2007.2"},{"key":"320_CR24","doi-asserted-by":"crossref","unstructured":"Jouault, F., Kurtev, I.: Transforming models with atl. In: Bruel, Jean-Michel (ed.) Satellite Events at the MoDELS 2005 Conference, volume 3844 of LNCS, pp. 128\u2013138. Springer, Berlin Heidelberg (2006)","DOI":"10.1007\/11663430_14"},{"key":"320_CR25","doi-asserted-by":"crossref","unstructured":"Kent, S.: Model driven engineering. In Proc. of the International Conference on Integrated Formal Methods, IFM \u201902, pages 286\u2013298 (2002)","DOI":"10.1007\/3-540-47884-1_16"},{"key":"320_CR26","doi-asserted-by":"crossref","unstructured":"Lagarde, F., Espinoza, H., Terrier, F., G\u00e9rard, S.: Improving UML profile design practices by leveraging conceptual domain models. In Proc. of the Int. conference on Automated Software Engineering, pages 445\u2013448, New York, NY, USA. ACM (2007)","DOI":"10.1145\/1321631.1321705"},{"key":"320_CR27","doi-asserted-by":"crossref","unstructured":"Marrone, S., Papa, C., Vittorini, V.: Multiformalism and transformation inheritance for dependability analysis of critical systems. In Proc. of 8th Integrated formal methods, IFM\u201910, pages 215\u2013228, Berlin, Heidelberg. Springer-Verlag (2010)","DOI":"10.1007\/978-3-642-16265-7_16"},{"key":"320_CR28","unstructured":"UML profile for modeling and analysis of real-time and embedded systems (MARTE). Version 1.0, OMG document (2009)"},{"key":"320_CR29","unstructured":"Mathworks. Simulink. [online]. http:\/\/www.mathworks.com\/products\/simulink\/"},{"key":"320_CR30","unstructured":"Mazzini, S., Latella, D., Viva, D.: PRIDE: An integrated software development environment for dependable systems. DASIA 2004: Data Systems in, Aerospace (2004)"},{"key":"320_CR31","unstructured":"Mussa, M., Ouchani, S., Al Sammane, W., Hamou-Lhadj, A.: A survey of model-driven testing techniques. Quality Software, International Conference on, pages 167\u2013172, (2009)"},{"key":"320_CR32","unstructured":"UML testing profile (2012). Version 1.1, OMG document."},{"key":"320_CR33","doi-asserted-by":"crossref","unstructured":"Selic, B.: A systematic approach to domain-specific language design using UML. In ISORC \u201907, pages 2\u20139, Washington, DC, USA. IEEE Computer Society (2007)","DOI":"10.1109\/ISORC.2007.10"},{"key":"320_CR34","doi-asserted-by":"crossref","unstructured":"Woodcock, J., Larsen, P.G., Bicarregui, J., Fitzgerald, J.: Formal methods: Practice and experience. ACM Computing Surveys, 41(4) (2009)","DOI":"10.1145\/1592434.1592436"},{"key":"320_CR35","doi-asserted-by":"crossref","unstructured":"Zander, J., Schieferdecker, I., Mosterman, P. J.: A taxonomy of model-based testing for embedded systems from multiple industry domains. Model-Based Testing for Embedded Systems, pages 3\u201322 (2011)","DOI":"10.1201\/b11321-2"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-014-0320-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-014-0320-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-014-0320-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,10]],"date-time":"2019-08-10T23:26:34Z","timestamp":1565479594000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-014-0320-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5,25]]},"references-count":35,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2014,11]]}},"alternative-id":["320"],"URL":"https:\/\/doi.org\/10.1007\/s10009-014-0320-7","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,5,25]]}}}