{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T09:48:01Z","timestamp":1725702481724},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642340314"},{"type":"electronic","value":"9783642340321"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34032-1_20","type":"book-chapter","created":{"date-parts":[[2012,9,25]],"date-time":"2012-09-25T20:44:41Z","timestamp":1348605881000},"page":"190-204","source":"Crossref","is-referenced-by-count":8,"title":["Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective"],"prefix":"10.1007","author":[{"given":"Francesco","family":"Flammini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Marrone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicola","family":"Mazzocca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Nardone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valeria","family":"Vittorini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"ARTEMIS-2008-1-100022 CHESS - composition with guarantees for high-integrity embedded components software assembly, \n                    \n                      https:\/\/www.artemis-ju.eu\/chess"},{"key":"20_CR2","unstructured":"MBAT: Combined Model-based Analysis and Testing of Embedded Systems, \n                    \n                      http:\/\/www.mbat-artemis.eu\/"},{"key":"20_CR3","unstructured":"PRIDE - ambiente di progettazione integrato per sistemi dependable, transformations for dependability analysis, deliverable 2.1 (February 2003)"},{"key":"20_CR4","unstructured":"Model driven architecture guide, Version 1.0.1, OMG document (2003)"},{"key":"20_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-642-24270-0_2","volume-title":"Computer Safety, Reliability, and Security","author":"S. Bernardi","year":"2011","unstructured":"Bernardi, S., Flammini, F., Marrone, S., Merseguer, J., Papa, C., Vittorini, V.: Model-Driven Availability Evaluation of Railway Control Systems. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol.\u00a06894, pp. 15\u201328. Springer, Heidelberg (2011)"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Bernardi, S., Merseguer, J., Petriu, D.C.: A dependability profile within MARTE. Journal of Software and Systems Modeling (2009)","DOI":"10.1007\/s10270-009-0128-1"},{"issue":"5","key":"20_CR7","first-page":"265","volume":"16","author":"A. Bondavalli","year":"2001","unstructured":"Bondavalli, A., Dal Cin, M., Latella, D., Majzik, I., Pataricza, A., Savoia, G.: Dependability analysis in the early phases of UML-based system design. Comput. Syst. Sci. Eng.\u00a016(5), 265\u2013275 (2001)","journal-title":"Comput. Syst. Sci. Eng."},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Causevic, A., Sundmark, D., Punnekkat, S.: An industrial survey on contemporary aspects of software testing. In: 2010 Third International Conference on Software Testing, Verification and Validation (ICST), pp. 393\u2013401 (April 2010)","DOI":"10.1109\/ICST.2010.52"},{"issue":"4","key":"20_CR9","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1145\/242223.242257","volume":"28","author":"E.M. Clarke","year":"1996","unstructured":"Clarke, E.M., Wing, J.M.: Formal methods: state of the art and future directions. ACM Comput. Surv.\u00a028(4), 626\u2013643 (1996)","journal-title":"ACM Comput. Surv."},{"key":"20_CR10","unstructured":"Dai, Z.: Model-driven testing with UML 2.0. In: Proceedings of the 2nd European Workshop on Model Driven Architecture (2004)"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"Flammini, F.: Railway safety, reliability, and security: Technologies and systems engineering. IGI Global (2012)","DOI":"10.4018\/978-1-4666-1643-1"},{"key":"20_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/11767589_23","volume-title":"Petri Nets and Other Models of Concurrency - ICATPN 2006","author":"E. G\u00f3mez-Mart\u00ednez","year":"2006","unstructured":"G\u00f3mez-Mart\u00ednez, E., Merseguer, J.: ArgoSPE: Model-Based Software Performance Engineering. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol.\u00a04024, pp. 401\u2013410. Springer, Heidelberg (2006)"},{"key":"20_CR13","unstructured":"Holzmann, G.J.: The SPIN model checker (September 2003)"},{"issue":"4","key":"20_CR14","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1109\/2.585157","volume":"30","author":"M.C. Hsueh","year":"1997","unstructured":"Hsueh, M.C., Tsai, T.K., Iyer, R.K.: Fault injection techniques and tools. Computer\u00a030(4), 75\u201382 (1997)","journal-title":"Computer"},{"key":"20_CR15","doi-asserted-by":"crossref","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, pp. 445\u2013448. ACM (November 2007)","DOI":"10.1145\/1321631.1321705"},{"key":"20_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-642-16265-7_16","volume-title":"Integrated Formal Methods","author":"S. Marrone","year":"2010","unstructured":"Marrone, S., Papa, C., Vittorini, V.: Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems. In: M\u00e9ry, D., Merz, S. (eds.) IFM 2010. LNCS, vol.\u00a06396, pp. 215\u2013228. Springer, Heidelberg (2010)"},{"key":"20_CR17","unstructured":"UML profile for modeling and analysis of real-time and embedded systems (marte), Version 1.0, OMG document (2009)"},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"Moreno, G.A., Merson, P.: Model-driven performance analysis. In: Proceedings of the 4th International Conference on the Quality of Software Architectures, QoSA (2008)","DOI":"10.1007\/978-3-540-87879-7_9"},{"key":"20_CR19","unstructured":"UML testing profile, Version 1.1, OMG document (2012)"},{"key":"20_CR20","doi-asserted-by":"crossref","unstructured":"Petriu, D.B., Woodside, M.: A metamodel for generating performance models from UML designs. In: Proceedings of the 7th Int. Conference on the Unified Modeling Language. Modelling Languages and Applications, pp. 41\u201353 (2004)","DOI":"10.1007\/978-3-540-30187-5_4"},{"key":"20_CR21","doi-asserted-by":"crossref","unstructured":"Petriu, D.B., Woodside, M.: An intermediate metamodel with scenarios and resources for generating performance models from UML designs. In: Software and Systems Modeling, Special Issue, SoSyM, pp. 163\u2013184 (2007)","DOI":"10.1007\/s10270-006-0026-8"},{"key":"20_CR22","first-page":"14","volume-title":"A system dependability modeling framework using AADL and GSPNs","author":"A. Rugina","year":"2007","unstructured":"Rugina, A., Kanoun, K., Ka\u00e2niche, M.: A system dependability modeling framework using AADL and GSPNs, pp. 14\u201338. Springer, Heidelberg (2007)"},{"key":"20_CR23","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":"20_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-642-24270-0_22","volume-title":"Computer Safety, Reliability, and Security","author":"K. Tadano","year":"2011","unstructured":"Tadano, K., Xiang, J., Kawato, M., Maeno, Y.: Automatic Synthesis of SRN Models from System Operation Templates for Availability Analysis. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol.\u00a06894, pp. 296\u2013309. Springer, Heidelberg (2011)"},{"key":"20_CR25","unstructured":"UIC. ERTMS\/ETCS class1 system requirements specification, ref. SUBSET-026, issue 2.2.2 (2002)"},{"key":"20_CR26","unstructured":"UNISIG. ERTMS\/ETCS RAMS requirements specification, ref. 96s1266"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34032-1_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T08:41:36Z","timestamp":1620117696000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34032-1_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642340314","9783642340321"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34032-1_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}