{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T04:12:31Z","timestamp":1748751151673,"version":"3.41.0"},"publisher-location":"Cham","reference-count":44,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319272177"},{"type":"electronic","value":"9783319272184"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-27218-4_10","type":"book-chapter","created":{"date-parts":[[2015,12,9]],"date-time":"2015-12-09T17:39:11Z","timestamp":1449682751000},"page":"140-154","source":"Crossref","is-referenced-by-count":5,"title":["Visualization, Simulation and Validation for Cyber-Virtual Systems"],"prefix":"10.1007","author":[{"given":"Jan Olaf","family":"Blech","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria","family":"Spichkova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ian","family":"Peake","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heinz","family":"Schmidt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,12,10]]},"reference":[{"key":"10_CR1","unstructured":"Blech, J.O., Spichkova, M., Peake, I.D., Schmidt, H.W.: Cyber-virtual systems - simulation, validation and visualization. In: Filipe, J., Maciaszek, L.A. (eds.) ENASE 2014 - Proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering, Lisbon, Portugal, 28\u201330 April 2014, pp. 218\u2013225. SciTePress (2014)"},{"key":"10_CR2","unstructured":"Schlager, M.: Hardware-in-the-loop simulation (2008)"},{"key":"10_CR3","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1016\/S0967-0661(98)00205-6","volume":"7","author":"R Isermann","year":"1999","unstructured":"Isermann, R., Schaffnit, J., Sinsel, S.: Hardware-in-the-loop simulation for the design and testing of engine-control systems. Control Eng. Pract. 7, 643\u2013653 (1999)","journal-title":"Control Eng. Pract."},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. In: 4th IEEE International Conference on Software Engineering and Formal Methods (SEFM), pp. 3\u201312. IEEE (2006)","DOI":"10.1109\/SEFM.2006.27"},{"key":"10_CR5","unstructured":"Donath, U., Haufe, J., Blochwitz, T., Neidhold, T.: A new approach for modeling and verification of discrete control components within a modelica environment (2008)"},{"key":"10_CR6","volume-title":"Principles of Object-Oriented Modeling and Simulation with Modelica 2.1","author":"P Fritzson","year":"2004","unstructured":"Fritzson, P.: Principles of Object-Oriented Modeling and Simulation with Modelica 2.1. Wiley-IEEE Computer Society Press, New York (2004)"},{"key":"10_CR7","unstructured":"Anderson, A., Fritzson, P.: Models for distributed real-time simulation in a vehicle co-simulator setup. In: Nilsson, H. (ed.) Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools. Linkoping University Electronic Press (2013)"},{"key":"10_CR8","unstructured":"Tundis, A., Rogovchenko-Buffoni, L., Fritzson, P., Garro, A.: Modeling system requirements in modelica: definition and comparison of candidate approaches. In: Nilsson, H. (ed.) Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools. Linkoping University Electronic Press (2013)"},{"key":"10_CR9","doi-asserted-by":"publisher","DOI":"10.1002\/9781118094259","volume-title":"Introduction to Modeling and Simulation of Technical and Physical Systems with Modelica","author":"P Fritzson","year":"2011","unstructured":"Fritzson, P.: Introduction to Modeling and Simulation of Technical and Physical Systems with Modelica. Wiley-IEEE Computer Society Press, New York (2011)"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/BFb0031558","volume-title":"Hybrid Systems IV","author":"A Deshpande","year":"1997","unstructured":"Deshpande, A., G\u00f6ll\u00fc, A., Varaiya, P.: SHIFT: a formalism and a programming language for dynamic networks of hybrid automata. In: Antsaklis, P.J., Kohn, W., Nerode, A., Sastry, S.S. (eds.) HS 1996. LNCS, vol. 1273, pp. 113\u2013133. Springer, Heidelberg (1997)"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1007\/11730637_30","volume-title":"Hybrid Systems: Computation and Control","author":"F Kratz","year":"2006","unstructured":"Kratz, F., Sokolsky, O., Pappas, G.J., Lee, I.: R-Charon, a modeling language for reconfigurable hybrid systems. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol. 3927, pp. 392\u2013406. Springer, Heidelberg (2006)"},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 200\u2013236. Springer, Heidelberg (2004)"},{"key":"10_CR13","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.jlap.2005.10.005","volume":"68","author":"DAV Beek","year":"2006","unstructured":"Beek, D.A.V., Man, K.L., Reniers, M.A., Rooda, J.E., Schiffelers, R.R.H.: Syntax and consistent equation semantics of hybrid Chi. J. Logic Algebraic Program. 68, 129\u2013210 (2006)","journal-title":"J. Logic Algebraic Program."},{"key":"10_CR14","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1038\/scientificamerican0501-34","volume":"284","author":"T Berners-Lee","year":"2001","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O., et al.: The semantic web. Sci. Am. 284, 28\u201337 (2001)","journal-title":"Sci. Am."},{"key":"10_CR15","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1109\/5254.912382","volume":"16","author":"S Staab","year":"2001","unstructured":"Staab, S., Studer, R., Schnurr, H.P., Sure, Y.: Knowledge processes and ontologies. IEEE Intell. Syst. 16, 26\u201334 (2001)","journal-title":"IEEE Intell. Syst."},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/978-3-642-22110-1_30","volume-title":"Computer Aided Verification","author":"G Frehse","year":"2011","unstructured":"Frehse, G., Le Guernic, C., Donz\u00e9, A., Cotton, S., Ray, R., Lebeltel, O., Ripado, R., Girard, A., Dang, T., Maler, O.: SpaceEx: scalable verification of hybrid systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 379\u2013395. Springer, Heidelberg (2011)"},{"key":"10_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/978-3-642-13962-8_9","volume-title":"Programs, Proofs, Processes","author":"L Cardelli","year":"2010","unstructured":"Cardelli, L., Gardner, P.: Processes in space. In: Ferreira, F., L\u00f6we, B., Mayordomo, E., Mendes Gomes, L. (eds.) CiE 2010. LNCS, vol. 6158, pp. 78\u201387. Springer, Heidelberg (2010)"},{"key":"10_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/978-3-540-24597-1_22","volume-title":"FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science","author":"D Hirschkoff","year":"2003","unstructured":"Hirschkoff, D., Lozes, \u00c9., Sangiorgi, D.: Minimality results for the spatial logics. In: Pandya, P.K., Radhakrishnan, J. (eds.) FSTTCS 2003. LNCS, vol. 2914, pp. 252\u2013264. Springer, Heidelberg (2003)"},{"key":"10_CR19","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1145\/982962.964013","volume":"39","author":"S Dal Zilio","year":"2004","unstructured":"Dal Zilio, S., Lugiez, D., Meyssonnier, C.: A logic you can count on. ACM SIGPLAN Not. 39, 135\u2013146 (2004)","journal-title":"ACM SIGPLAN Not."},{"key":"10_CR20","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1023\/A:1020083231504","volume":"17","author":"B Bennett","year":"2002","unstructured":"Bennett, B., Cohn, A.G., Wolter, F., Zakharyaschev, M.: Multi-dimensional modal logic as a framework for spatio-temporal reasoning. Appl. Intell. 17, 239\u2013251 (2002)","journal-title":"Appl. Intell."},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Vogel-Heuser, B., Feldmann, S., Werner, T., Diedrich, C.: Modeling network architecture and time behavior of distributed control systems in industrial plant. In: 37th Annual Conference of the IEEE Industrial Electronics Society, IECON (2011)","DOI":"10.1109\/IECON.2011.6119656"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"Hadlich, T., Diedrich, C., Eckert, K., Frank, T., Fay, A., Vogel-Heuser, B.: Common communication model for distributed automation systems. In: 9th IEEE International Conference on Industrial Informatics, IEEE INDIN (2011)","DOI":"10.1109\/INDIN.2011.6034850"},{"key":"10_CR23","volume-title":"Embedded Systems Design: An Introduction to Processes, Tools, and Techniques","author":"A Berger","year":"2002","unstructured":"Berger, A.: Embedded Systems Design: An Introduction to Processes, Tools, and Techniques. CMP Books, San Francisco (2002)"},{"key":"10_CR24","unstructured":"Sapienza, G., Crnkovic, I., Seceleanu, T.: Towards a methodology for hardware and software design separation in embedded systems. In: Proceedings of the Seventh International Conference on Software Engineering Advances (ICSEA), pp. 557\u2013562. IARIA (2012)"},{"key":"10_CR25","unstructured":"Spichkova, M., Campetelli, A.: Towards system development methodologies: from software to cyber-physical domain. In: First International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2012) (2012)"},{"key":"10_CR26","unstructured":"Dominka, S., Schiller, F., Kain, S.: Hybrid commissioning from hardware-in-the-loop simulation to real production plants. In: Proceedings of the 18th IASTED International Conference on Modeling and Simulation (MS 2007), pp. 544\u2013549 (2007)"},{"key":"10_CR27","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1109\/LES.2013.2239605","volume":"5","author":"A Hazra","year":"2013","unstructured":"Hazra, A., Ghosh, P., Vadlamudi, S.G., Chakrabarti, P.P., Dasgupta, P.: Formal methods for early analysis of functional reliability in component-based embedded applications. Embed. Syst. Lett. 5, 8\u201311 (2013)","journal-title":"Embed. Syst. Lett."},{"key":"10_CR28","series-title":"Lecture Notes in Computer Science","volume-title":"Model-Based Testing of Reactive Systems","year":"2005","unstructured":"Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.): Model-Based Testing of Reactive Systems. LNCS, vol. 3472. Springer, Heidelberg (2005)"},{"key":"10_CR29","doi-asserted-by":"crossref","unstructured":"Pretschner, A., Philipps, J.: Methodological issues in model-based testing. In: Model-Based Testing of Reactive Systems, pp. 181\u2013291 (2005)","DOI":"10.1007\/11498490_13"},{"key":"10_CR30","unstructured":"Spichkova, M., Schmidt, H., Peake, I.: From abstract modelling to remote cyber-physical integration\/interoperability testing. In: Improving Systems and Software Engineering Conference (2013)"},{"key":"10_CR31","doi-asserted-by":"crossref","unstructured":"Blech, J.O., Schmidt, H., Peake, I., Kande, M., Ramaswamy, S., Sudarsan, S.D., Narayanan, V.: Collaborative engineering through integration of architectural, social and spatial models. In: Emerging Technologies and Factory Automation (ETFA). IEEE Computer (2014)","DOI":"10.1109\/ETFA.2014.7005271"},{"key":"10_CR32","unstructured":"Peake, I., Blech, J.O., Fernando, L.: Towards reconstructing architectural models of software tools by runtime analysis. In: 3rd International Workshop on Experiences and Empirical Studies in Software Modelling (2013)"},{"key":"10_CR33","doi-asserted-by":"crossref","unstructured":"Spichkova, M.: Design of formal languages and interfaces: \u201cformal\u201d does not mean \u201cunreadable\u201d. In Blashki, K., Isaias, P. (eds.) Emerging Research and Trends in Interactivity and the Human-Computer Interface. IGI Global (2013)","DOI":"10.4018\/978-1-4666-4623-0.ch015"},{"key":"10_CR34","unstructured":"Spichkova, M.: Human Factors of Formal Methods. In: Proceedings of IADIS Interfaces and Human Computer Interaction, IHCI 2012 (2012)"},{"key":"10_CR35","unstructured":"Spichkova, M., Zhu, X., Mou, D.: Do we really need to write documentation for a system? In: International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2013) (2013)"},{"key":"10_CR36","unstructured":"Spichkova, M.: Specification and seamless verification of embedded real-time systems: FOCUS on Isabelle. Ph.D. thesis, Technische Universit\u00e4t M\u00fcnchen (2007)"},{"key":"10_CR37","unstructured":"Spichkova, M.: Stream processing components: Isabelle\/HOL formalisation and case studies. Archive of Formal Proofs (2013)"},{"key":"10_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/978-3-642-34026-0_30","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"JO Blech","year":"2012","unstructured":"Blech, J.O., Falcone, Y., Rue\u00df, H., Sch\u00e4tz, B.: Behavioral specification based runtime monitors for OSGi services. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol. 7609, pp. 405\u2013419. Springer, Heidelberg (2012)"},{"key":"10_CR39","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/503271.503226","volume":"26","author":"L Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. SIGSOFT Softw. Eng. Notes 26, 109\u2013120 (2001)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"10_CR40","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2237796.2237814","volume":"37","author":"JO Blech","year":"2012","unstructured":"Blech, J.O., Sch\u00e4tz, B.: Towards a formal foundation of behavioral types for uml state-machines. ACM SIGSOFT Softw. Eng. Notes 37, 1\u20138 (2012)","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"key":"10_CR41","doi-asserted-by":"crossref","unstructured":"Blech, J.O.: Towards a framework for behavioral specifications of OSGI components. In: 11th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA), pp. 79\u201393 (2013)","DOI":"10.4204\/EPTCS.108.6"},{"key":"10_CR42","unstructured":"Blech, J.O., Schmidt, H.: Towards modeling and checking the spatial and interaction behavior of widely distributed systems. In: Improving Systems and Software Engineering Conference (2013)"},{"key":"10_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Moura de","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.S.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"key":"10_CR44","unstructured":"Spichkova, M., Blech, J.O., Herrmann, P., Schmidt, H.W.: Modeling spatial aspects of safety-critical systems with focus-st. In: Boulanger, F., Famelis, M., Ratiu, D. (eds.) Proceedings of the 11th Workshop on Model-Driven Engineering, Verification and Validation co-located with 17th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MODELS 2014, Valencia, Spain, September 30, 2014. Volume 1235 of CEUR Workshop Proceedings, pp. 49\u201358. CEUR-WS.org (2014)"}],"container-title":["Communications in Computer and Information Science","Evaluation of Novel Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-27218-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T18:36:36Z","timestamp":1748716596000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-27218-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319272177","9783319272184"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-27218-4_10","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2015]]}}}