{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T11:56:31Z","timestamp":1743076591243,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030848101"},{"type":"electronic","value":"9783030848118"}],"license":[{"start":{"date-parts":[[2021,8,8]],"date-time":"2021-08-08T00:00:00Z","timestamp":1628380800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,8,8]],"date-time":"2021-08-08T00:00:00Z","timestamp":1628380800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-030-84811-8_5","type":"book-chapter","created":{"date-parts":[[2021,8,7]],"date-time":"2021-08-07T13:05:30Z","timestamp":1628341530000},"page":"90-110","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["HUBCAP: A Novel Collaborative Approach to Model-Based Design of\u00a0Cyber-Physical Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4589-1500","authenticated-orcid":false,"given":"Peter Gorm","family":"Larsen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8882-4500","authenticated-orcid":false,"given":"Hugo Daniel","family":"Macedo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7041-1807","authenticated-orcid":false,"given":"John","family":"Fitzgerald","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Holger","family":"Pfeifer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2652-6812","authenticated-orcid":false,"given":"Martin","family":"Benedikt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9091-7899","authenticated-orcid":false,"given":"Stefano","family":"Tonetta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angelo","family":"Marguglio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuseppe","family":"Veneziano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lorenzo","family":"Sutton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergio","family":"Gusmeroli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8455-6177","authenticated-orcid":false,"suffix":"Jr.","given":"George","family":"Suciu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,8,8]]},"reference":[{"issue":"3","key":"5_CR1","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/s00366-012-0286-6","volume":"29","author":"H Van der Auweraer","year":"2013","unstructured":"Van der Auweraer, H., Anthonis, J., De Bruyne, S., Leuridan, J.: Virtual engineering at work: the challenges for designing mechatronic products. Eng. Comput. 29(3), 389\u2013408 (2013). https:\/\/doi.org\/10.1007\/s00366-012-0286-6","journal-title":"Eng. Comput."},{"key":"5_CR2","unstructured":"Beckers, J., Heemels, M., Bukkems, B., Muller, G.: Effective industrial modeling: the example of happy flow. In: Heemels, M., Muller, G. (eds.) Boderc: Model-based Design of High-Tech Systems, Chapter 6, pp. 77\u201388. Embedded Systems Institute, Den Dolech 2, Eindhoven, The Netherlands, second edn., March 2007"},{"key":"5_CR3","unstructured":"Blochwitz, T.: Functional Mock-up Interface for Model Exchange and Co-Simulation, July 2014. https:\/\/www.fmi-standard.org\/downloads"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"518","DOI":"10.1007\/978-3-319-21690-4_36","volume-title":"Computer Aided Verification","author":"M Bozzano","year":"2015","unstructured":"Bozzano, M., et al.: Formal design and safety analysis of AIR6110 wheel brake system. In: Kroening, D., P\u0103s\u0103reanu, C.S. (eds.) CAV 2015. LNCS, vol. 9206, pp. 518\u2013535. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21690-4_36"},{"key":"5_CR5","unstructured":"Cook, N.: Enterprise 2.0: How Social Software Will Change the Future of Work. Gower Publishing Limited (2008)"},{"key":"5_CR6","volume-title":"Innovation Radar: Identifying Innovations and Innovators with High Potential in ICT FP7, CIP & H2020 Projects","author":"G De Prato","year":"2015","unstructured":"De Prato, G., Nepelski, D., Piroli, G., et al.: Innovation Radar: Identifying Innovations and Innovators with High Potential in ICT FP7, CIP & H2020 Projects. Science and Policy Report, Joint Research Centre (2015)"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-030-30985-5_4","volume-title":"From Software Engineering to Formal Methods and Tools, and Back","author":"J Fitzgerald","year":"2019","unstructured":"Fitzgerald, J., Larsen, P.G., Pierce, K.: Multi-modelling and co-simulation in the engineering of cyber-physical systems: towards the digital twin. In: ter Beek, M.H., Fantechi, A., Semini, L. (eds.) From Software Engineering to Formal Methods and Tools, and Back. LNCS, vol. 11865, pp. 40\u201355. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-30985-5_4"},{"key":"5_CR8","doi-asserted-by":"publisher","DOI":"10.1002\/9781118989166","volume-title":"Principles of Object-Oriented Modeling and Simulation with Modelica 3.3: A Cyber-Physical Approach","author":"P Fritzson","year":"2015","unstructured":"Fritzson, P.: Principles of Object-Oriented Modeling and Simulation with Modelica 3.3: A Cyber-Physical Approach, 2nd edn. IEEE Press, Wiley, Hoboken (2015). https:\/\/doi.org\/10.1002\/9781118989166","edition":"2"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Gomes, C., Thule, C., Broman, D., Larsen, P.G., Vangheluwe, H.: Co-simulation: a survey. ACM Comput. Surv. 51(3), 49:1\u201349:33 (2018)","DOI":"10.1145\/3179993"},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1016\/j.scico.2017.06.012","volume":"162","author":"N Jomaa","year":"2018","unstructured":"Jomaa, N., Nowak, D., Grimaud, G., Hym, S.: Formal proof of dynamic memory isolation based on mmu. Sci. Comput. Program. 162, 76\u201392 (2018)","journal-title":"Sci. Comput. Program."},{"issue":"27","key":"5_CR11","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1016\/j.ifacol.2019.12.688","volume":"52","author":"O Kainz","year":"2019","unstructured":"Kainz, O., Jakab, F., Michalko, M., Hud\u00e1k, M., Petija, R.: Enhanced approaches to automated monitoring environmental quality in non-isolated thermodynamic system. IFAC-PapersOnLine 52(27), 365\u2013376 (2019)","journal-title":"IFAC-PapersOnLine"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Larsen, P.G., et al.: Integrated tool chain for model-based design of cyber-physical systems: the INTO-CPS project. In: CPS Data Workshop. Vienna, Austria, April 2016","DOI":"10.1109\/CPSData.2016.7496424"},{"key":"5_CR13","doi-asserted-by":"publisher","unstructured":"Larsen, P.G., et al.: An online MBSE collaboration platform, INSTICC. In: Proceedings of the 10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH, pp. 263\u2013270, July 2020. https:\/\/doi.org\/10.5220\/0009892802630270","DOI":"10.5220\/0009892802630270"},{"key":"5_CR14","doi-asserted-by":"publisher","unstructured":"Lee, J., Bagheri, B., Kao, H.A.: Cyber-physical systems architecture for industry 4.0-based manufacturing systems. Manufacturing Letters 3, 18\u201323 (2015). https:\/\/doi.org\/10.1016\/j.mfglet.2014.12.001, http:\/\/www.sciencedirect.com\/science\/article\/pii\/S221384631400025X","DOI":"10.1016\/j.mfglet.2014.12.001"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1007\/978-3-642-40203-6_29","volume-title":"Computer Security \u2013 ESORICS 2013","author":"HD Macedo","year":"2013","unstructured":"Macedo, H.D., Touili, T.: Mining malware specifications through static reachability analysis. In: Crampton, J., Jajodia, S., Mayes, K. (eds.) ESORICS 2013. LNCS, vol. 8134, pp. 517\u2013535. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40203-6_29"},{"key":"5_CR16","volume-title":"Examples Compendium 3","author":"M Mansfield","year":"2017","unstructured":"Mansfield, M., et al.: Examples Compendium 3. Tech. rep, The INTO-CPS Project (2017)"},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/978-3-642-02424-5_21","volume-title":"Applications and Theory of Petri Nets","author":"I Poliakov","year":"2009","unstructured":"Poliakov, I., Khomenko, V., Yakovlev, A.: Workcraft \u2013 a framework for interpreted graph models. In: Franceschinis, G., Wolf, K. (eds.) PETRI NETS 2009. LNCS, vol. 5606, pp. 333\u2013342. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02424-5_21"},{"key":"5_CR18","unstructured":"Rasmussen, M.B., Thule, C., Macedo, H.D., Larsen, P.G.: Migrating the INTO-CPS application to the cloud. In: Gamble, C., Couto, L.D. (eds.) The 17th Overture Workshop. Newcastle University Technical Report Series, pp. 47\u201361. CS-TR-1530, Porto, Portugal, October 2019"},{"key":"5_CR19","series-title":"Management for Professionals","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-97788-1_1","volume-title":"Co-Creation","author":"T Redlich","year":"2019","unstructured":"Redlich, T., Moritz, M., Wulfsberg, J.P.: Introduction: co-creation in the Era of bottom-up economics. In: Redlich, T., Moritz, M., Wulfsberg, J.P. (eds.) Co-Creation. MP, pp. 1\u20136. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-319-97788-1_1"},{"key":"5_CR20","doi-asserted-by":"publisher","unstructured":"S-18 Aircraft and Sys Dev and Safety Assessment Committee: AIR 6110, Contiguous Aircraft\/System Development Process Example. Standard, SAE International (2011). https:\/\/doi.org\/10.4271\/AIR6110","DOI":"10.4271\/AIR6110"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Suciu, G., Istrate, C., Petrache, A., Schlachet, D., Buteau, T.: On demand secure isolation using security models for different system management platforms. In: Advanced Topics in Optoelectronics, Microelectronics, and Nanotechnologies IX, vol. 10977, p. 109770R. International Society for Optics and Photonics (2018)","DOI":"10.1117\/12.2324942"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Suciu, G., Necula, L., Iosu, R., Usurelu, T., Ceaparu, M.: Iot and cloud-based energy monitoring and simulation platform. In: 2019 11th International Symposium on Advanced Topics in Electrical Engineering (ATEE), pp. 1\u20134. IEEE (2019)","DOI":"10.1109\/ATEE.2019.8724961"},{"key":"5_CR23","doi-asserted-by":"publisher","unstructured":"Sztipanovits, J., Bapty, T., Neema, S., Koutsoukos, X., Jackson, E.: Design Tool Chain for Cyber-physical Systems: Lessons Learned. In: Proceedings of the 52nd Annual Design Automation Conference, pp. 81:1\u201381:6. DAC 2015, ACM, New York, NY, USA (2015). https:\/\/doi.org\/10.1145\/2744769.2747922","DOI":"10.1145\/2744769.2747922"}],"container-title":["Lecture Notes in Networks and Systems","Simulation and Modeling Methodologies, Technologies and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-84811-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,7]],"date-time":"2021-08-07T13:05:40Z","timestamp":1628341540000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-84811-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,8,8]]},"ISBN":["9783030848101","9783030848118"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-84811-8_5","relation":{},"ISSN":["2367-3370","2367-3389"],"issn-type":[{"type":"print","value":"2367-3370"},{"type":"electronic","value":"2367-3389"}],"subject":[],"published":{"date-parts":[[2021,8,8]]},"assertion":[{"value":"8 August 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SIMULTECH","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Simulation and Modeling Methodologies, Technologies and Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lieusaint","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 July 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 July 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"simultech2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}