{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T16:44:13Z","timestamp":1761324253439,"version":"3.37.3"},"reference-count":50,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2019,11,19]],"date-time":"2019-11-19T00:00:00Z","timestamp":1574121600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,11,19]],"date-time":"2019-11-19T00:00:00Z","timestamp":1574121600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"EU INTO-CPS","award":["664047"],"award-info":[{"award-number":["664047"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Des Autom Embed Syst"],"published-print":{"date-parts":[[2019,12]]},"DOI":"10.1007\/s10617-019-09227-0","type":"journal-article","created":{"date-parts":[[2019,11,19]],"date-time":"2019-11-19T12:03:33Z","timestamp":1574165013000},"page":"153-177","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Code generation for distributed embedded systems with VDM-RT"],"prefix":"10.1007","volume":"23","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7320-7684","authenticated-orcid":false,"given":"Miran","family":"Hasanagi\u0107","sequence":"first","affiliation":[]},{"given":"Tommaso","family":"Fabbri","sequence":"additional","affiliation":[]},{"given":"Peter Gorm","family":"Larsen","sequence":"additional","affiliation":[]},{"given":"Victor","family":"Bandur","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Tran-J\u00f8rgensen","sequence":"additional","affiliation":[]},{"given":"Julien","family":"Ouy","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,11,19]]},"reference":[{"key":"9227_CR1","unstructured":"Almohammad A (2013) Rigorous code generation for distributed real-time embedded systems. Ph.D. thesis, Northumbria University"},{"key":"9227_CR2","doi-asserted-by":"crossref","unstructured":"Anand M, Kim J, Lee I (2005) Code generation from hybrid systems models for distributed embedded systems. In: Eighth IEEE international symposium on object-oriented real-time distributed computing, ISORC 2005. IEEE, pp 166\u2013173","DOI":"10.1109\/ISORC.2005.20"},{"key":"9227_CR3","doi-asserted-by":"crossref","unstructured":"Bambagini M, Natale MD (2012) A code generation framework for distributed real-time embedded systems. In: IEEE 17th conference on emerging technologies & factory automation (ETFA). IEEE, pp 1\u201310","DOI":"10.1109\/ETFA.2012.6489586"},{"key":"9227_CR4","unstructured":"Bandur V, Tran-J\u00f8rgensen P, Hasanagic M, Lausdahl K (2017) Code-generating VDM for embedded devices. In: The 15th overture workshop. Newcastle"},{"key":"9227_CR5","unstructured":"Blochwitz T (2014) Functional mock-up interface for model exchange and co-simulation. https:\/\/www.fmi-standard.org\/downloads"},{"key":"9227_CR6","volume-title":"Formal methods for distributed processing: a survey of object-oriented approaches","author":"H Bowman","year":"2011","unstructured":"Bowman H, Derrick J (2011) Formal methods for distributed processing: a survey of object-oriented approaches. Cambridge University Press, New York"},{"key":"9227_CR7","unstructured":"Chiozzi G, Andolfato L, Karban R, Tejeda A (2011) A UML profile for code generation of component based distributed systems. In: Proceedings of the 13th international conference on accelerator and large experimental physics control systems"},{"key":"9227_CR8","unstructured":"Ciccozzi F, Cicchetti A, Sj\u00f6din M (2012) Full code generation from UML models for complex embedded systems. In: Second international software technology exchange workshop (STEW) November 28th, Kista, 2012"},{"issue":"4","key":"9227_CR9","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1145\/242223.242257","volume":"28","author":"EM Clarke","year":"1996","unstructured":"Clarke EM, Wing JM (1996) Formal methods: state of the art and future directions. ACM Comput Surv 28(4):626\u2013643","journal-title":"ACM Comput Surv"},{"key":"9227_CR10","volume-title":"Distributed systems: concept and design","author":"G Coulouris","year":"2007","unstructured":"Coulouris G, Dollimore J, Kindberg T, Blair G (2007) Distributed systems: concept and design. Addison-Wesley, Boston"},{"issue":"1","key":"9227_CR11","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/JPROC.2011.2161237","volume":"100","author":"JC Eidson","year":"2012","unstructured":"Eidson JC, Lee EA, Matic S, Seshia SA, Zou J (2012) Distributed real-time software for cyber-physical systems. Proc IEEE 100(1):45\u201359","journal-title":"Proc IEEE"},{"key":"9227_CR12","unstructured":"Fabbri T, Verhoef M, Bandur V, Perrotin M, Tsiodras T, Larsen PG (2016) Towards integration of overture into TASTE. In: Larsen PG, Plat N, Battle N (eds) The 14th overture workshop: towards analytical tool chains. Aarhus University, Department of Engineering, Cyprus, ECE-TR-28, pp 94\u2013107"},{"key":"9227_CR13","doi-asserted-by":"crossref","unstructured":"Fan YH, Wu JO, Wang SF (2012) Software synthesis of middleware for heterogeneous embedded systems. In: 2nd international conference on consumer electronics, communications and networks (CECNet), 2012. IEEE, pp 2084\u20132087","DOI":"10.1109\/CECNet.2012.6201427"},{"key":"9227_CR14","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/s00446-003-0091-y","volume":"16","author":"F Fich","year":"2004","unstructured":"Fich F, Ruppert E (2004) Hundreds of impossibility results for distributed computing. Distrib Comput 16:121\u2013163","journal-title":"Distrib Comput"},{"key":"9227_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/b138800","volume-title":"Validated designs for object-oriented systems","author":"J Fitzgerald","year":"2005","unstructured":"Fitzgerald J, Larsen PG, Mukherjee P, Plat N, Verhoef M (2005) Validated designs for object-oriented systems. Springer, New York. https:\/\/doi.org\/10.1007\/b138800"},{"key":"9227_CR16","doi-asserted-by":"crossref","unstructured":"Fredj M, Radermacher A, Gerard S, Terrier F (2010) eC3M: optimized model-based code generation for embedded distributed software systems. In: 10th annual international conference on new technologies of distributed systems (NOTERE), 2010. IEEE, pp 279\u2013284","DOI":"10.1109\/NOTERE.2010.5536628"},{"key":"9227_CR17","unstructured":"Gide L, Koljonen T, Lohstroh J, ten Berg A, Foster A (2016) Artemis strategic reseach agenda. Artemis. https:\/\/www.ecsel-austria.net\/newsfull\/items\/artemis-strategic-research-agenda-2016-sra-31.html"},{"issue":"3","key":"9227_CR18","doi-asserted-by":"publisher","first-page":"49:1","DOI":"10.1145\/3179993","volume":"51","author":"C Gomes","year":"2018","unstructured":"Gomes C, Thule C, Broman D, Larsen PG, Vangheluwe H (2018) Co-simulation: a survey. ACM Comput Surv 51(3):49:1\u201349:33","journal-title":"ACM Comput Surv"},{"key":"9227_CR19","unstructured":"Hasanagic M, Larsen PG, Tran-J\u00f8rgensen PWV (2015) Generating Java RMI for the distributed aspects of VDM-RT models. In: Proceedings of the 13th overture workshop. Center for Global Research in Advanced Software Science and Engineering, National Institute of Informatics, Chiyoda-Ku, pp 75\u201389. GRACE-TR-2015-06. URL http:\/\/grace-center.jp\/wp-content\/uploads\/2012\/05\/13thOverture-Proceedings.pdf"},{"issue":"3","key":"9227_CR20","doi-asserted-by":"publisher","first-page":"478","DOI":"10.1002\/spe.2671","volume":"49","author":"M Hasanagi\u0107","year":"2019","unstructured":"Hasanagi\u0107 M, Tran-J\u00f8rgensen PW, Nilsson RS, Larsen PG (2019) Realization of distributed system models using code generation extensions. Softw Pract Exp 49(3):478\u2013497","journal-title":"Softw Pract Exp"},{"key":"9227_CR21","unstructured":"Horstmann M, Kirtland M (1997) DCOM architecture. Dcom technical article, Microsoft Corporation, Redmond. http:\/\/msdn2.microsoft.com\/en-us\/library\/ms809311(d=printer).aspx"},{"key":"9227_CR22","unstructured":"Isasa JAE, J\u00f8rgensen PW, Ballegaard C (2014) Modelling energy consumption in embedded systems with VDM-RT. In: Proceedings of the 4th international ABZ conference"},{"key":"9227_CR23","unstructured":"Isasa JAE, Larsen PG (2013) Modelling different CPU power states in VDM-RT. In: Proceedings of the 11th overture workshop 2013. Aarhus University"},{"key":"9227_CR24","doi-asserted-by":"crossref","unstructured":"Kang DI, Gerber R, Golubchik L, Hollingsworth JK, Saksena M (1999) A software synthesis tool for distributed embedded system design. In: ACM SIGPLAN Notices, vol 34. ACM, pp 87\u201395","DOI":"10.1145\/315253.314468"},{"issue":"2\u20133","key":"9227_CR25","first-page":"305","volume":"3","author":"PG Larsen","year":"2009","unstructured":"Larsen PG, Fitzgerald J, Wolff S (2009) Methods for the development of distributed real-time embedded systems using VDM. Int J Softw Inf 3(2\u20133):305\u2013341","journal-title":"Int J Softw Inf"},{"key":"9227_CR26","doi-asserted-by":"crossref","unstructured":"Larsen PG, Fitzgerald J, Woodcock J, Fritzson P, Brauer J, Kleijn C, Lecomte T, Pfeil M, Green O, Basagiannis S, Sadovykh A (2016) 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). IEEE, Vienna. http:\/\/ieeexplore.ieee.org\/document\/7496424\/","DOI":"10.1109\/CPSData.2016.7496424"},{"key":"9227_CR27","doi-asserted-by":"crossref","unstructured":"Larsen PG, Fitzgerald J, Woodcock J, Gamble C, Payne R, Pierce K (2017) Features of integrated model-based co-modelling and co-simulation technology. In: Bernardeschi C, Masci P, Larsen P (eds) 1st Workshop on formal co-simulation of cyber-physical systems. LNCS, Trento","DOI":"10.1007\/978-3-319-74781-1_26"},{"key":"9227_CR28","unstructured":"Larsen PG, Hansen BS, Brunn H, Plat N, Toetenel H, Andrews DJ, Dawes J, Parkin G, et\u00a0al (1996) Information technology\u2014programming languages, their environments and system software interfaces\u2014Vienna development method\u2014specification language\u2014part 1: base language"},{"key":"9227_CR29","unstructured":"Larsen PG, Lausdahl K, Battle N, Fitzgerald J, Wolff S, Sahara S, Verhoef M, Tran-J\u00f8rgensen PWV, Oda T (2013) VDM-10 language manual. Technical report TR-001, the overture initiative. www.overturetool.org"},{"key":"9227_CR30","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-642-24559-6_14","volume-title":"Formal Methods and Software Engineering","author":"Kenneth Lausdahl","year":"2011","unstructured":"Lausdahl K, Larsen PG, Battle N (2011) A deterministic interpreter simulating a distributed real time system using VDM. In: Qin S, Qiu Z (eds) Proceedings of the 13th international conference on Formal methods and software engineering, Lecture notes in computer science, vol 6991. Springer, Berlin, pp 179\u2013194. https:\/\/doi.org\/10.1007\/978-3-642-24559-6_14"},{"key":"9227_CR31","doi-asserted-by":"crossref","unstructured":"Lednicki L, Carlson J (2014) A framework for generation of inter-node communication in component-based distributed embedded systems. In: 2014 IEEE Emerging technology and factory automation (ETFA). IEEE, pp 1\u20138","DOI":"10.1109\/ETFA.2014.7005222"},{"key":"9227_CR32","unstructured":"Mamais G, Tsiodras T, Lesens D, Perrotin M (2012) An ASN. 1 compiler for embedded\/space systems. Embedded real time software and systems ERTS. https:\/\/www.researchgate.net\/publication\/229422184_An_ASN1_compiler_for_embeddedspace_systems"},{"key":"9227_CR33","unstructured":"Mukherjee P, Bousquet F, Delabre J, Paynter S, Larsen PG (2000) Exploring timing properties using VDM++ on an industrial application. In: Bicarregui JC, Fitzgerald JS (eds) Proceedings of the second VDM workshop. www.vdmportal.org"},{"key":"9227_CR34","unstructured":"Nielsen CB (2010) Dynamic reconfiguration of distributed systems in VDM-RT. Master\u2019s thesis, Aarhus University"},{"key":"9227_CR35","unstructured":"OMG: The common object request broker: core specification (2002)"},{"key":"9227_CR36","unstructured":"Ortega RB, Borriello G (1998) Communication synthesis for distributed embedded systems. In: 1998 IEEE\/ACM international conference on computer-aided design, ICCAD 98, digest of technical papers. IEEE, pp 437\u2013444"},{"key":"9227_CR37","doi-asserted-by":"crossref","unstructured":"Perrotin M, Conquet E, Delange J, Schiele A, Tsiodras T (2011) TASTE: a real-time software engineering tool-chain overview, status, and future. In: SDL forum. Springer, pp 26\u201337. https:\/\/www.semanticscholar.org\/paper\/TASTE%3A-A-Real-Time-Software-Engineering-Tool-Chain-Perrotin-Conquet\/7208c84f1134beb37ff95b5ba9c86ea4860d49ae","DOI":"10.1007\/978-3-642-25264-8_4"},{"key":"9227_CR38","doi-asserted-by":"crossref","unstructured":"Riedl M, Diedrich C, Naumann F, Simon R (2004) An object based approach for distributed automation. In: 7th AFRICON Conference in Africa, AFRICON, 2004, vol 2. IEEE, pp 1253\u20131260","DOI":"10.1109\/AFRICON.2004.1406892"},{"key":"9227_CR39","doi-asserted-by":"crossref","unstructured":"Riedl M, Zipper H, Bangemann T, Meier M (2011) Distributed automation system supports process monitoring and control. In: 2011 IEEE international symposium on, industrial electronics (ISIE). IEEE, pp1711\u20131715","DOI":"10.1109\/ISIE.2011.5984319"},{"key":"9227_CR40","first-page":"15","volume-title":"The ns-3 network simulator","author":"GF Riley","year":"2010","unstructured":"Riley GF, Henderson TR (2010) The ns-3 network simulator. Springer, Berlin, pp 15\u201334"},{"issue":"4","key":"9227_CR41","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/98.943998","volume":"8","author":"M Satyanarayanan","year":"2001","unstructured":"Satyanarayanan M (2001) Pervasive computing: vision and challenges. IEEE Pers Commun 8(4):10\u201317","journal-title":"IEEE Pers Commun"},{"key":"9227_CR42","doi-asserted-by":"crossref","unstructured":"Schreiner D, Schordan M, Goschka KM (2009) Component based middleware-synthesis for AUTOSAR basic software. In: IEEE international symposium on object\/component\/service-oriented real-time distributed computing, 2009. ISORC\u201909. IEEE, pp 236\u2013243","DOI":"10.1109\/ISORC.2009.47"},{"key":"9227_CR43","unstructured":"Singh D, Kaiser WJ (2010) The atom leap platform for energy-efficient embedded computing. https:\/\/escholarship.org\/uc\/item\/88b146bk"},{"key":"9227_CR44","unstructured":"Sun: Java remote method invocation specification (2000)"},{"key":"9227_CR45","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.simpat.2018.12.005","volume":"92","author":"C Thule","year":"2019","unstructured":"Thule C, Lausdahl K, Gomes C, Meisl G, Larsen PG (2019) Maestro: the INTO-CPS co-simulation framework. Simul Model Pract Theory 92:45\u201361. https:\/\/doi.org\/10.1016\/j.simpat.2018.12.005","journal-title":"Simul Model Pract Theory"},{"issue":"10","key":"9227_CR46","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1145\/1167515.1167489","volume":"41","author":"BL Titzer","year":"2006","unstructured":"Titzer BL (2006) Virgil: objects on the head of a pin. ACM SIGPLAN Not 41(10):191\u2013208","journal-title":"ACM SIGPLAN Not"},{"key":"9227_CR47","unstructured":"Verhoef M (2009) Modeling and validating distributed embedded real-time control systems. Ph.D. thesis, Radboud University Nijmegen"},{"key":"9227_CR48","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/11813040_11","volume-title":"FM 2006: Formal Methods","author":"Marcel Verhoef","year":"2006","unstructured":"Verhoef M, Larsen PG, Hooman J (2006) Modeling and validating distributed embedded real-time systems with VDM++. In: Misra J, Nipkow T, Sekerinski E (eds) FM 2006: formal methods, lecture notes in computer science 4085. Springer, pp 147\u2013162. https:\/\/doi.org\/10.1007\/11813040_11"},{"issue":"6","key":"9227_CR49","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1007\/s10009-006-0019-5","volume":"8","author":"E Wandeler","year":"2006","unstructured":"Wandeler E, Thiele L, Verhoef M, Lieverse P (2006) System architecture evaluation using modular performance analysis: a case study. Int J Softw Tools Technol Transf 8(6):649\u2013667","journal-title":"Int J Softw Tools Technol Transf"},{"issue":"4","key":"9227_CR50","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1592434.1592436","volume":"41","author":"J Woodcock","year":"2009","unstructured":"Woodcock J, Larsen PG, Bicarregui J, Fitzgerald J (2009) Formal methods: practice and experience. ACM Comput Surv 41(4):1\u201336. https:\/\/doi.org\/10.1145\/1592434.1592436","journal-title":"ACM Comput Surv"}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-019-09227-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10617-019-09227-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-019-09227-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T04:42:44Z","timestamp":1605674564000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10617-019-09227-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11,19]]},"references-count":50,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2019,12]]}},"alternative-id":["9227"],"URL":"https:\/\/doi.org\/10.1007\/s10617-019-09227-0","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"type":"print","value":"0929-5585"},{"type":"electronic","value":"1572-8080"}],"subject":[],"published":{"date-parts":[[2019,11,19]]},"assertion":[{"value":"27 January 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 October 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 November 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}