{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:50:24Z","timestamp":1740099024140,"version":"3.37.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319747804"},{"type":"electronic","value":"9783319747811"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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":[[2018]]},"DOI":"10.1007\/978-3-319-74781-1_29","type":"book-chapter","created":{"date-parts":[[2018,2,1]],"date-time":"2018-02-01T10:22:24Z","timestamp":1517480544000},"page":"423-437","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Co-simulation of Semi-autonomous Systems: The\u00a0Line Follower Robot Case Study"],"prefix":"10.1007","author":[{"given":"Maurizio","family":"Palmieri","sequence":"first","affiliation":[]},{"given":"Cinzia","family":"Bernardeschi","sequence":"additional","affiliation":[]},{"given":"Paolo","family":"Masci","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,2,2]]},"reference":[{"issue":"6","key":"29_CR1","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1016\/j.ipl.2016.02.001","volume":"116","author":"C Bernardeschi","year":"2016","unstructured":"Bernardeschi, C., Domenici, A.: Verifying safety properties of a nonlinear control by interactive theorem proving with the Prototype Verification System. Inf. Process. Lett. 116(6), 409\u2013415 (2016)","journal-title":"Inf. Process. Lett."},{"key":"29_CR2","unstructured":"Bernardeschi, C., Domenici, A., Masci, P.: A PVS-simulink integrated environment for model-based analysis of cyber-physical systems. IEEE Trans. Softw. Eng. PP(99), 1 (2017)"},{"key":"29_CR3","doi-asserted-by":"crossref","unstructured":"Blochwitz, T., Otter, M., Arnold, M., Bausch, C., Clau\u00df, C., Elmqvist, H., Junghanns, A., Mau\u00df, J., Monteiro, M., Neidhold, T., Neumerkel, D., Olsson, H., Peetz, J.-V., Wolf, S.: The Functional Mockup Interface for tool independent exchange of simulation models. In: Proceedings of the 8th International Modelica Conference, pp. 105\u2013114. Link\u00f6ping University Electronic Press (2011)","DOI":"10.3384\/ecp11063105"},{"key":"29_CR4","doi-asserted-by":"crossref","unstructured":"Blochwitz, T., Otter, M., \u00c5kesson, J., Arnold, M., Clau\u00df, C., Elmqvist, H., Friedrich, M., Junghanns, A., Mau\u00df, J., Neumerkel, D., Olsson, H., Viel, A.: Functional Mockup Interface 2.0: the standard for tool independent exchange of simulation models. In: Proceedings of the 9th International Modelica Conference, pp. 173\u2013184. The Modelica Association (2012)","DOI":"10.3384\/ecp12076173"},{"issue":"3","key":"29_CR5","first-page":"22","volume":"38","author":"JF Broenink","year":"1997","unstructured":"Broenink, J.F.: Modelling, simulation and analysis with 20-sim. J. A 38(3), 22\u201325 (1997)","journal-title":"J. A"},{"key":"29_CR6","doi-asserted-by":"crossref","unstructured":"Cremona, F., Lohstroh, M., Broman, D., Tripakis, S., Lee, E.A., Masin, M.: Hybrid co-simulation: it\u2019s about time. Technical report UCB\/EECS-2017-6, University of California, Berkeley, April 2017","DOI":"10.1145\/3239372.3242896"},{"key":"29_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/978-3-642-16265-7_2","volume-title":"Integrated Formal Methods","author":"J Fitzgerald","year":"2010","unstructured":"Fitzgerald, J., Larsen, P.G., Pierce, K., Verhoef, M., Wolff, S.: Collaborative modelling and co-simulation in the development of dependable embedded systems. In: M\u00e9ry, D., Merz, S. (eds.) IFM 2010. LNCS, vol. 6396, pp. 12\u201326. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16265-7_2"},{"key":"29_CR8","doi-asserted-by":"crossref","unstructured":"Fitzgerald, J.S., Larsen, P.G., Verhoef, M.: Vienna Development Method. Wiley, Hoboken (2007)","DOI":"10.1002\/9780470050118.ecse447"},{"issue":"2","key":"29_CR9","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1109\/MCS.2016.2643244","volume":"37","author":"F Franchetti","year":"2017","unstructured":"Franchetti, F., Low, T.M., Mitsch, S., Mendoza, J.P., Gui, L., Phaosawasdi, A., Padua, D., Kar, S., Moura, J.M.F., Franusich, M., Johnson, J., Platzer, A., Veloso, M.M.: High-assurance spiral: end-to-end guarantees for robot and car control. IEEE Control Syst. 37(2), 82\u2013103 (2017)","journal-title":"IEEE Control Syst."},{"key":"29_CR10","unstructured":"Gomes, C., Thule, C., Broman, D., Larsen, P.G., Vangheluwe, H.: Co-simulation: state of the art. arXiv:1702.00686 (2017)"},{"key":"29_CR11","doi-asserted-by":"crossref","unstructured":"Harrison, M.D., Masci, P., Campos, J.C., Curzon, P.: Verification of user interface software: the example of use-related safety requirements and programmable medical devices. IEEE Trans. Hum.-Mach. Syst. (2017, to appear)","DOI":"10.1109\/THMS.2017.2717910"},{"key":"29_CR12","unstructured":"Hooman, J., Mulyar, N., Posta, L.: Coupling simulink and UML models. In: Schnieder, B., Tarnai, G. (eds.) Proceedings of Symposium FORMS\/FORMATS, Formal Methods for Automation and Safety in Railway and Automotive Systems, pp. 304\u2013311 (2004)"},{"key":"29_CR13","unstructured":"INTO-CPS: Integrated Tool Chain for Model-based Design of Cyber-Physical Systems $$^{\\textregistered }$$ , Horizon H2020 project. Grant #644047 (2015)"},{"key":"29_CR14","volume-title":"Analysis and Simulation of Multiport Systems; the Bond Graph Approach to Physical System Dynamics","author":"D Karnopp","year":"1968","unstructured":"Karnopp, D., Rosenberg, R.: Analysis and Simulation of Multiport Systems; the Bond Graph Approach to Physical System Dynamics. M.I.T. Press, Cambridge (1968)"},{"key":"29_CR15","doi-asserted-by":"crossref","unstructured":"Larsen, P.G., Fitzgerald, J., Woodcock, J., Fritzson, P., Brauer, J., Kleijn, C., Lecomte, T., Pfeil, M., Green, O., Basagiannis, S., Sadovykh, A.: Integrated tool chain for model-based design of cyber-physical systems: the INTO-CPS project. In: 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data), pp. 1\u20136 (2016)","DOI":"10.1109\/CPSData.2016.7496424"},{"key":"29_CR16","doi-asserted-by":"crossref","unstructured":"Larsen, P.G., Battle, N., Ferreira, M., Fitzgerald, J., Lausdahl, K., Verhoef, M.: The overture initiative integrating tools for VDM. SIGSOFT Softw. Eng. Notes 35(1), 1\u20136 (2010)","DOI":"10.1145\/1668862.1668864"},{"key":"29_CR17","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-642-54118-6_5","volume-title":"Collaborative Design for Embedded Systems","author":"PG Larsen","year":"2014","unstructured":"Larsen, P.G., Gamble, C., Pierce, K., Ribeiro, A., Lausdahl, K.: Support for co-modelling and co-simulation: the Crescendo tool. In: Fitzgerald, J., Larsen, P.G., Verhoef, M. (eds.) Collaborative Design for Embedded Systems, pp. 97\u2013114. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54118-6_5"},{"issue":"12","key":"29_CR18","doi-asserted-by":"crossref","first-page":"1217","DOI":"10.1109\/43.736561","volume":"17","author":"EA Lee","year":"1998","unstructured":"Lee, E.A., Sangiovanni-Vincentelli, A.: A framework for comparing models of computation. IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 17(12), 1217\u20131229 (1998)","journal-title":"IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."},{"key":"29_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1007\/978-3-319-21690-4_30","volume-title":"Computer Aided Verification","author":"P Masci","year":"2015","unstructured":"Masci, P., Oladimeji, P., Zhang, Y., Jones, P., Curzon, P., Thimbleby, H.: PVSio-web 2.0: joining PVS to HCI. In: Kroening, D., P\u0103s\u0103reanu, C.S. (eds.) CAV 2015. LNCS, vol. 9206, pp. 470\u2013478. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21690-4_30"},{"issue":"2","key":"29_CR20","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/s11334-013-0200-4","volume":"11","author":"P Masci","year":"2015","unstructured":"Masci, P., Ruk\u0161enas, R., Oladimeji, P., Cauchi, A., Gimblett, A., Li, Y., Curzon, P., Thimbleby, H.: The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps. Innov. Syst. Softw. Eng. 11(2), 73\u201393 (2015)","journal-title":"Innov. Syst. Softw. Eng."},{"key":"29_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-642-54804-8_14","volume-title":"Fundamental Approaches to Software Engineering","author":"P Masci","year":"2014","unstructured":"Masci, P., Zhang, Y., Jones, P., Curzon, P., Thimbleby, H.: Formal verification of medical device user interfaces using PVS. In: Gnesi, S., Rensink, A. (eds.) FASE 2014. LNCS, vol. 8411, pp. 200\u2013214. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54804-8_14"},{"key":"29_CR22","unstructured":"Mu\u00f1oz, C., Rapid prototyping in PVS. Technical report NIA 2003\u201303, NASA\/CR-2003-212418, National Institute of Aerospace, Hampton, VA, USA (2003)"},{"key":"29_CR23","doi-asserted-by":"crossref","unstructured":"Attarzadeh Niaki, S.H., Sander, I.: Co-simulation of embedded systems in a heterogeneous MoC-based modeling framework. In: 2011 6th IEEE International Symposium on Industrial and Embedded Systems, pp. 238\u2013247, June 2011","DOI":"10.1109\/SIES.2011.5953667"},{"key":"29_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"748","DOI":"10.1007\/3-540-55602-8_217","volume-title":"Automated Deduction\u2014CADE-11","author":"S Owre","year":"1992","unstructured":"Owre, S., Rushby, J.M., Shankar, N.: PVS: a prototype verification system. In: Kapur, D. (ed.) CADE 1992. LNCS, vol. 607, pp. 748\u2013752. Springer, Heidelberg (1992). https:\/\/doi.org\/10.1007\/3-540-55602-8_217"},{"issue":"1","key":"29_CR25","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1109\/TCAD.2003.819898","volume":"23","author":"I Sander","year":"2004","unstructured":"Sander, I., Jantsch, A.: System modeling and transformational design refinement in ForSyDe. IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 23(1), 17\u201332 (2004)","journal-title":"IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."},{"key":"29_CR26","unstructured":"Sj\u00f6stedt, C.-J., T\u00f6rngren, M., Shi, J., Chen, D.-J., Ahlsten, V.: Mapping simulink to UML in the design of embedded systems: investigating scenarios and transformations. In: OMER4 Post-proceedings, pp. 137\u2013160 (2008). QC 20100810"},{"key":"29_CR27","doi-asserted-by":"crossref","unstructured":"Wang, B., Baras, J.S.: HybridSim: a modeling and co-simulation toolchain for cyber-physical systems. In: 2013 IEEE\/ACM 17th International Symposium on Distributed Simulation and Real Time Applications (DS-RT), pp. 33\u201340 (2013)","DOI":"10.1109\/DS-RT.2013.12"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-74781-1_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T00:20:31Z","timestamp":1570666831000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-74781-1_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319747804","9783319747811"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-74781-1_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}