{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T14:33:44Z","timestamp":1743086024779,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030672195"},{"type":"electronic","value":"9783030672201"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-67220-1_21","type":"book-chapter","created":{"date-parts":[[2021,1,16]],"date-time":"2021-01-16T08:03:07Z","timestamp":1610784187000},"page":"280-294","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Semantic-Aware, Accurate and Efficient API for (Co-)Simulation of CPS"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0981-0750","authenticated-orcid":false,"given":"Giovanni","family":"Liboni","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6962-7846","authenticated-orcid":false,"given":"Julien","family":"Deantoni","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,1,17]]},"reference":[{"key":"21_CR1","unstructured":"Andr\u00e9, C.: Syntax and semantics of the clock constraint specification language. Technical report 6925, INRIA (2009)"},{"key":"21_CR2","unstructured":"IEEE Standards Association and others: IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA)\u2014Framework and Rules. Institute of Electrical and Electronics Engineers, New York. IEEE Standard (1516-2010), pp. 10\u20131109 (2010)"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Awais, M.U., Palensky, P., Elsheikh, A., Widl, E., Matthias, S.: The high level architecture RTI as a master to the functional mock-up interface components. In: 2013 International Conference on Computing, Networking and Communications (ICNC), pp. 315\u2013320. IEEE (2013)","DOI":"10.1109\/ICCNC.2013.6504102"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"Bastian, J., Clau\u00df, C., Wolf, S., Schneider, P.: Master for co-simulation using FMI. In: Proceedings of the 8th International Modelica Conference, March 20th\u201322nd, Technical Univeisity, Dresden, Germany, pp. 115\u2013120, No. 63. Link\u00f6ping University Electronic Press (2011)","DOI":"10.3384\/ecp11063115"},{"issue":"1","key":"21_CR5","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/JPROC.2002.805826","volume":"91","author":"A Benveniste","year":"2003","unstructured":"Benveniste, A., Caspi, P., Edwards, S.A., Halbwachs, N., Le Guernic, P., De Simone, R.: The synchronous languages 12 years later. Proc. IEEE 91(1), 64\u201383 (2003)","journal-title":"Proc. IEEE"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Bousse, E., Degueule, T., Vojtisek, D., Mayerhofer, T., Deantoni, J., Combemale, B.: Execution framework of the GEMOC studio (tool demo). In: Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, pp. 84\u201389. ACM (2016)","DOI":"10.1145\/2997364.2997384"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Broman, D, et al.: Determinate composition of FMUS for co-simulation. In: Proceedings of the Eleventh ACM International Conference on Embedded Software, p. 2. IEEE Press (2013)","DOI":"10.1109\/EMSOFT.2013.6658580"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Broman, D., Greenberg, L., Lee, E.A., Masin, M., Tripakis, S., Wetter, M.: Requirements for hybrid cosimulation standards. In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC 2015, pp. 179\u2013188. Association for Computing Machinery, New York (2015)","DOI":"10.1145\/2728606.2728629"},{"key":"21_CR9","doi-asserted-by":"publisher","unstructured":"Centomo, S., Deantoni, J., De Simone, R.: Using SystemC cyber models in an FMI co-simulation environment. In: 19th Euromicro Conference on Digital System Design 31 August - 2 September 2016. 19th Euromicro Conference on Digital System Design, Limassol, Cyprus, vol. 19, August 2016. https:\/\/doi.org\/10.1109\/DSD.2016.86. https:\/\/hal.inria.fr\/hal-01358702","DOI":"10.1109\/DSD.2016.86"},{"key":"21_CR10","doi-asserted-by":"publisher","unstructured":"Combemale, B., Deantoni, J., Baudry, B., France, R.B., J\u00e9z\u00e9quel, J., Gray, J.: Globalizing modeling languages. Computer 47(6), 68\u201371 (2014). https:\/\/doi.org\/10.1109\/MC.2014.147","DOI":"10.1109\/MC.2014.147"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"Cremona, F., Lohstroh, M., Broman, D., Di Natale, M., Lee, E.A., Tripakis, S.: Step revision in hybrid co-simulation with FMI. In: 14th ACM-IEEE International Conference on Formal Methods and Models for System Design. IEEE, Kanpur, November 2016","DOI":"10.1109\/MEMCOD.2016.7797762"},{"key":"21_CR12","unstructured":"Deantoni, J., Andr\u00e9, C., Gascon, R.: CCSL denotational semantics. Research report RR-8628, Inria, November 2014. https:\/\/hal.inria.fr\/hal-01082274"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"Garlan, D., Shaw, M.: An introduction to software architecture. In: Advances in Software Engineering and Knowledge Engineering 1(3.4) (1993)","DOI":"10.1142\/9789812798039_0001"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"Lee, E.A.: Cyber physical systems: design challenges. In: 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), pp. 363\u2013369 (2008)","DOI":"10.1109\/ISORC.2008.25"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Liboni, G., Deantoni, J.: WIP on a coordination language to automate the generation of co-simulations. In: 2019 Forum for Specification and Design Languages (FDL), pp. 1\u20134. IEEE (2019)","DOI":"10.1109\/FDL.2019.8876914"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Liboni, G., Deantoni, J., Portaluri, A., Quaglia, D., De Simone, R.: Beyond Time-triggered co-simulation of cyber-physical systems for performance and accuracy improvements. In: 10th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, Manchester, United Kingdom, January 2018. https:\/\/hal.inria.fr\/hal-01675396","DOI":"10.1145\/3180665.3180668"},{"issue":"6","key":"21_CR17","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1145\/267896.267903","volume":"22","author":"N Medvidovic","year":"1997","unstructured":"Medvidovic, N., Taylor, R.N.: A framework for classifying and comparing architecture description languages. ACM SIGSOFT Softw. Eng. Notes 22(6), 60\u201376 (1997)","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"key":"21_CR18","unstructured":"Modelisar: FMI for Model Exchange and Co-Simulation, July 2014. https:\/\/fmi-standard.org\/downloads#version2"},{"key":"21_CR19","doi-asserted-by":"publisher","unstructured":"Mustafiz, S., Gomes, C., Vangheluwe, H., Barroca, B.: Modular design of hybrid languages by explicit modeling of semantic adaptation. In: 2016 Symposium on Theory of Modeling and Simulation (TMS-DEVS), pp. 1\u20138, April 2016. https:\/\/doi.org\/10.23919\/TMS.2016.7918835","DOI":"10.23919\/TMS.2016.7918835"},{"key":"21_CR20","doi-asserted-by":"crossref","unstructured":"Neema, H., et al.: Model-based integration platform for FMI co-simulation and heterogeneous simulations of cyber-physical systems. In: Proceedings of the 10th International Modelica Conference, Lund, Sweden, pp. 235\u2013245, No. 096. Link\u00f6ping University Electronic Press (2014)","DOI":"10.3384\/ecp14096235"},{"key":"21_CR21","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1016\/S0065-2458(08)60208-9","volume":"46","author":"GA Papadopoulos","year":"1998","unstructured":"Papadopoulos, G.A., Arbab, F.: Coordination models and languages. Adv. Comput. 46, 329\u2013400 (1998)","journal-title":"Adv. Comput."},{"key":"21_CR22","unstructured":"Savicks, V., Butler, M., Colley, J.: Co-simulating event-B and continuous models via FMI. In: Proceedings of the 2014 Summer Simulation Multiconference, p. 37. Society for Computer Simulation International (2014)"},{"key":"21_CR23","doi-asserted-by":"crossref","unstructured":"Schierz, T., Arnold, M., Clau\u00df, C.: Co-simulation with communication step size control in an FMI compatible master algorithm. In: Proceedings of the 9th International MODELICA Conference, Munich, Germany, pp. 205\u2013214, No. 076. Link\u00f6ping University Electronic Press (2012)","DOI":"10.3384\/ecp12076205"},{"key":"21_CR24","unstructured":"Tavella, J.P., et al.: Toward an Hybrid Co-simulation with the FMI-CS Standard, Research report, April 2016. https:\/\/hal-centralesupelec.archives-ouvertes.fr\/hal-01301183"},{"key":"21_CR25","doi-asserted-by":"publisher","unstructured":"Tavella, J.P., et al.: Toward an accurate and fast hybrid multi-simulation with the FMI-CS standard. In: 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), pp. 1\u20135. IEEE, Berlin, September 2016. https:\/\/doi.org\/10.1109\/ETFA.2016.7733616","DOI":"10.1109\/ETFA.2016.7733616"},{"key":"21_CR26","doi-asserted-by":"crossref","unstructured":"Thule, C., Gomes, C., Deantoni, J., Larsen, P.G., Brauer, J., Vangheluwe, H.: Towards the verification of hybrid co-simulation algorithms. In: Workshop on Formal Co-Simulation of Cyber-Physical Systems (SEFM satellite), Toulouse, France, June 2018. https:\/\/hal.inria.fr\/hal-01871531","DOI":"10.1007\/978-3-030-04771-9_1"},{"key":"21_CR27","doi-asserted-by":"crossref","unstructured":"Tripakis, S.: Bridging the semantic gap between heterogeneous modeling formalisms and FMI. In: 2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS), pp. 60\u201369. IEEE (2015)","DOI":"10.1109\/SAMOS.2015.7363660"},{"key":"21_CR28","unstructured":"Van Acker, B., Denil, J., Vangheluwe, H., De Meulenaere, P.: Generation of an optimised master algorithm for FMI co-simulation. In: Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, DEVS 2015, pp. 205\u2013212. Society for Computer Simulation International, San Diego (2015)"},{"key":"21_CR29","doi-asserted-by":"publisher","unstructured":"Wang, B., Baras, J.S.: Hybridsim: a modeling and co-simulation toolchain for cyber-physical systems. In: Proceedings of the 2013 IEEE\/ACM 17th International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2013, pp. 33\u201340. IEEE Computer Society, Washington, DC (2013). https:\/\/doi.org\/10.1109\/DS-RT.2013.12. http:\/\/dx.doi.org\/10.1109\/DS-RT.2013.12","DOI":"10.1109\/DS-RT.2013.12"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-67220-1_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,1,16]],"date-time":"2021-01-16T08:23:08Z","timestamp":1610785388000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-67220-1_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030672195","9783030672201"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-67220-1_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"17 January 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SEFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Engineering and Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Amsterdam","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","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":"14 September 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 September 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sefm2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/event.cwi.nl\/sefm2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}