{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T11:13:25Z","timestamp":1768907605970,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":49,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,6,23]],"date-time":"2019-06-23T00:00:00Z","timestamp":1561248000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,6,23]]},"DOI":"10.1145\/3316482.3326360","type":"proceedings-article","created":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T21:02:18Z","timestamp":1559941338000},"page":"123-134","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["From Java to real-time Java: a model-driven methodology with automated toolchain (invited paper)"],"prefix":"10.1145","author":[{"given":"Wanli","family":"Chang","sequence":"first","affiliation":[{"name":"University of York, UK"}]},{"given":"Shuai","family":"Zhao","sequence":"additional","affiliation":[{"name":"University of York, UK"}]},{"given":"Ran","family":"Wei","sequence":"additional","affiliation":[{"name":"University of York, UK"}]},{"given":"Andy","family":"Wellings","sequence":"additional","affiliation":[{"name":"University of York, UK"}]},{"given":"Alan","family":"Burns","sequence":"additional","affiliation":[{"name":"University of York, UK"}]}],"member":"320","published-online":{"date-parts":[[2019,6,23]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1324969.1324974"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1993.0034"},{"key":"e_1_3_2_1_3_1","unstructured":"Neil C Audsley Yu Chan Ian Gray and Andy J Wellings. 2014. Real-Time Big Data: the JUNIPER Approach. (2014).  Neil C Audsley Yu Chan Ian Gray and Andy J Wellings. 2014. Real-Time Big Data: the JUNIPER Approach. (2014)."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2006.7"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-92997-2_16"},{"key":"e_1_3_2_1_6_1","volume-title":"High integrity Ada: the SPARK approach","author":"Barnes John","unstructured":"John Barnes . 1997. High integrity Ada: the SPARK approach . Vol. 189 . Addison-Wesley Reading . John Barnes. 1997. High integrity Ada: the SPARK approach. Vol. 189. Addison-Wesley Reading."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-005-0079-0"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.846318"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2014.04.007"},{"key":"e_1_3_2_1_10_1","volume-title":"Analysable Real-Time Systems: Programmed in Ada","author":"Burns Alan","unstructured":"Alan Burns and Andy Wellings . 2016. Analysable Real-Time Systems: Programmed in Ada . CreateSpace Independent Publishing Platform . Alan Burns and Andy Wellings. 2016. Analysable Real-Time Systems: Programmed in Ada. CreateSpace Independent Publishing Platform."},{"key":"e_1_3_2_1_11_1","unstructured":"Alan Burns and Andrew J Wellings. 2001. Real-time systems and programming languages: Ada 95 real-time Java and real-time POSIX. Pearson Education.   Alan Burns and Andrew J Wellings. 2001. Real-time systems and programming languages: Ada 95 real-time Java and real-time POSIX . Pearson Education."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1561\/1000000045"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3121427"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2613933"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/CPSNA.2015.16"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1978802.1978814"},{"key":"e_1_3_2_1_17_1","volume-title":"9th HiPEAC workshop on Reconfigurable Computing.","author":"Gray Ian","year":"2015","unstructured":"Ian Gray , Neil Cameron Audsley , Jamie Garside , Yu Chan , and Andrew John Wellings . 2015 . FPGA-based acceleration for Real-Time Big Data Systems . In 9th HiPEAC workshop on Reconfigurable Computing. Ian Gray, Neil Cameron Audsley, Jamie Garside, Yu Chan, and Andrew John Wellings. 2015. FPGA-based acceleration for Real-Time Big Data Systems. In 9th HiPEAC workshop on Reconfigurable Computing."},{"key":"e_1_3_2_1_18_1","volume-title":"Wellings","author":"Gray Ian","year":"2015","unstructured":"Ian Gray , Yu Chan , Jamie Garside , Neil C. Audsley , and Andy J . Wellings . 2015 . FPGA-based hardware acceleration for Real-Time Big Data systems. Ian Gray, Yu Chan, Jamie Garside, Neil C. Audsley, and Andy J. Wellings. 2015. FPGA-based hardware acceleration for Real-Time Big Data systems."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2003.09.016"},{"key":"e_1_3_2_1_20_1","volume-title":"International Conference on Software Language Engineering. Springer, 374-383","author":"Heidenreich Florian","year":"2009","unstructured":"Florian Heidenreich , Jendrik Johannes , Mirko Seifert , and Christian Wende . 2009 . Closing the gap between modelling and java . In International Conference on Software Language Engineering. Springer, 374-383 . Florian Heidenreich, Jendrik Johannes, Mirko Seifert, and Christian Wende. 2009. Closing the gap between modelling and java. In International Conference on Software Language Engineering. Springer, 374-383."},{"key":"e_1_3_2_1_21_1","volume-title":"2nd international workshop on the certification of safety-critical software controlled systems (SafeCert","author":"Henties Thomas","year":"2009","unstructured":"Thomas Henties , James J Hunt , Doug Locke , Kelvin Nilsen , Martin Schoeberl , and Jan Vitek . 2009 . Java for safety-critical applications . In 2nd international workshop on the certification of safety-critical software controlled systems (SafeCert 2009). Thomas Henties, James J Hunt, Doug Locke, Kelvin Nilsen, Martin Schoeberl, and Jan Vitek. 2009. Java for safety-critical applications. In 2nd international workshop on the certification of safety-critical software controlled systems (SafeCert 2009)."},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems. ACM, 125-134","author":"Yu-Shing Hu Erik","year":"2006","unstructured":"Erik Yu-Shing Hu , Eric Jenn , Nicolas Valot , and Alejandro Alonso . 2006 . Safety critical applications and hard real-time profile for Java: a case study in avionics . In Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems. ACM, 125-134 . Erik Yu-Shing Hu, Eric Jenn, Nicolas Valot, and Alejandro Alonso. 2006. Safety critical applications and hard real-time profile for Java: a case study in avionics. In Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems. ACM, 125-134."},{"key":"e_1_3_2_1_23_1","volume-title":"Developing mobile browsers in a product line","author":"Jaaksi Ari","year":"2002","unstructured":"Ari Jaaksi . 2002. Developing mobile browsers in a product line . IEEE software 19, 4 ( 2002 ), 73-80. Ari Jaaksi. 2002. Developing mobile browsers in a product line. IEEE software 19, 4 (2002), 73-80."},{"key":"e_1_3_2_1_24_1","first-page":"1592","volume-title":"IFAC Proceedings Volumes 47","author":"Juan A","year":"2014","unstructured":"A Juan , Jorge Garrido , Juan Zamorano , and Alejandro Alonso . 2014 . Model-driven design of real-time software for an experimental satellite . IFAC Proceedings Volumes 47 , 3 (2014), 1592 - 1598 . A Juan, Jorge Garrido, Juan Zamorano, and Alejandro Alonso. 2014. Model-driven design of real-time software for an experimental satellite. IFAC Proceedings Volumes 47, 3 (2014), 1592-1598."},{"key":"e_1_3_2_1_25_1","volume-title":"Proceedings of the 9th OOPSLA workshop on Domain-Specific Modeling.","author":"K\u00e4rn\u00e4 Juha","year":"2009","unstructured":"Juha K\u00e4rn\u00e4 , Juha-Pekka Tolvanen , and Steven Kelly . 2009 . Evaluating the use of domain-specific modeling in practice . In Proceedings of the 9th OOPSLA workshop on Domain-Specific Modeling. Juha K\u00e4rn\u00e4, Juha-Pekka Tolvanen, and Steven Kelly. 2009. Evaluating the use of domain-specific modeling in practice. In Proceedings of the 9th OOPSLA workshop on Domain-Specific Modeling."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69927-9_4"},{"key":"e_1_3_2_1_28_1","volume-title":"XM 2013-Extreme Modeling Workshop. 48","author":"Kolovos Dimitrios S","year":"2013","unstructured":"Dimitrios S Kolovos , Ran Wei , and Konstantinos Barmpis . 2013 . An approach for efficient querying of large relational datasets with oclbased languages . In XM 2013-Extreme Modeling Workshop. 48 . Dimitrios S Kolovos, Ran Wei, and Konstantinos Barmpis. 2013. An approach for efficient querying of large relational datasets with oclbased languages. In XM 2013-Extreme Modeling Workshop. 48."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2015.35"},{"key":"e_1_3_2_1_30_1","volume-title":"Implementing a Cloud Platform for Autonomous Driving. arXiv preprint arXiv:1704.02696","author":"Liu Shaoshan","year":"2017","unstructured":"Shaoshan Liu , Jie Tang , ChaoWang, QuanWang, and Jean-Luc Gaudiot . 2017. Implementing a Cloud Platform for Autonomous Driving. arXiv preprint arXiv:1704.02696 ( 2017 ). Shaoshan Liu, Jie Tang, ChaoWang, QuanWang, and Jean-Luc Gaudiot. 2017. Implementing a Cloud Platform for Autonomous Driving. arXiv preprint arXiv:1704.02696 (2017)."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2017.4451224"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-39083-3_4"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69100-6_31"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2346"},{"key":"e_1_3_2_1_35_1","volume-title":"An introduction to formal specification and Z","author":"Potter Ben","unstructured":"Ben Potter , David Till , and Jane Sinclair . 1996. An introduction to formal specification and Z . Prentice Hall PTR. Ben Potter, David Till, and Jane Sinclair. 1996. An introduction to formal specification and Z. Prentice Hall PTR."},{"key":"e_1_3_2_1_36_1","volume-title":"Synchronization in real-time systems: a priority inheritance approach","author":"Rajkumar Ragunathan","unstructured":"Ragunathan Rajkumar . 2012. Synchronization in real-time systems: a priority inheritance approach . Vol. 151 . Springer Science & Business Media . Ragunathan Rajkumar. 2012. Synchronization in real-time systems: a priority inheritance approach. Vol. 151. Springer Science & Business Media."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.58"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.3963"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2007.9"},{"key":"e_1_3_2_1_40_1","volume-title":"Lehoczky","author":"Sha Lui","year":"1990","unstructured":"Lui Sha , Ragunathan Rajkumar , and John P . Lehoczky . 1990 . Priority Inheritance Protocols: An Approach to Real-Time Synchronization . 39, 9 (1990). Lui Sha, Ragunathan Rajkumar, and John P. Lehoczky. 1990. Priority Inheritance Protocols: An Approach to Real-Time Synchronization. 39, 9 (1990)."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1288940.1288954"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837855.1806654"},{"key":"e_1_3_2_1_43_1","volume-title":"Javolution-Solution for Real Time Embedded System. In 2018 International Conference on Research in Intelligent and Computing in Engineering (RICE). IEEE, 1-10","author":"Sonar Rashmi P","year":"2018","unstructured":"Rashmi P Sonar and Rani S Lande . 2018 . Javolution-Solution for Real Time Embedded System. In 2018 International Conference on Research in Intelligent and Computing in Engineering (RICE). IEEE, 1-10 . Rashmi P Sonar and Rani S Lande. 2018. Javolution-Solution for Real Time Embedded System. In 2018 International Conference on Research in Intelligent and Computing in Engineering (RICE). IEEE, 1-10."},{"key":"e_1_3_2_1_44_1","volume-title":"An introduction to MISRA C++. SAE international journal of passenger cars-electronic and electrical systems 1","author":"Tapp Chris","year":"2008","unstructured":"Chris Tapp . 2008. An introduction to MISRA C++. SAE international journal of passenger cars-electronic and electrical systems 1 , 2008 -01- 0664 (2008), 265-268. Chris Tapp. 2008. An introduction to MISRA C++. SAE international journal of passenger cars-electronic and electrical systems 1, 2008-01- 0664 (2008), 265-268."},{"key":"e_1_3_2_1_45_1","volume-title":"Advances in Computer, Information, and Systems Sciences, and Engineering","author":"Thramboulidis Kleanthis","unstructured":"Kleanthis Thramboulidis . 2007. IEC 61499 in factory automation . In Advances in Computer, Information, and Systems Sciences, and Engineering . Springer , 115-124. Kleanthis Thramboulidis. 2007. IEC 61499 in factory automation. In Advances in Computer, Information, and Systems Sciences, and Engineering. Springer, 115-124."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2005.1612500"},{"key":"e_1_3_2_1_47_1","volume-title":"Embedded System Design: Topics, Techniques and Trends","author":"Wawersich Christian","unstructured":"Christian Wawersich , Michael Stilkerich , and Wolfgang Schr\u00f6der-Preikschat . 2007. An OSEK\/VDX-based multi-JVM for automotive appliances. In Embedded System Design: Topics, Techniques and Trends . Springer , 85-96. Christian Wawersich, Michael Stilkerich, and Wolfgang Schr\u00f6der-Preikschat. 2007. An OSEK\/VDX-based multi-JVM for automotive appliances. In Embedded System Design: Topics, Techniques and Trends. Springer, 85-96."},{"key":"e_1_3_2_1_48_1","volume-title":"Concurrent and real-time programming in Java","author":"Wellings Andrew J","unstructured":"Andrew J Wellings . 2004. Concurrent and real-time programming in Java . John Wiley New York . Andrew J Wellings. 2004. Concurrent and real-time programming in Java. John Wiley New York."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2822304.2822305"},{"key":"e_1_3_2_1_51_1","volume-title":"Dimitrios S. Kolovos, and Richard F. Paige.","author":"Zolotas Athanasios","year":"2018","unstructured":"Athanasios Zolotas , Ran Wei , Simos Gerasimou , Horacio Hoyos Rodriguez , Dimitrios S. Kolovos, and Richard F. Paige. 2018 . Towards Automatic Generation of UML Profile Graphical Editors for Papyrus. In Modelling Foundations and Applications, Alfonso Pierantonio and Salvador Trujillo (Eds.). Springer International Publishing , Cham, 12- 27. Athanasios Zolotas, Ran Wei, Simos Gerasimou, Horacio Hoyos Rodriguez, Dimitrios S. Kolovos, and Richard F. Paige. 2018. Towards Automatic Generation of UML Profile Graphical Editors for Papyrus. In Modelling Foundations and Applications, Alfonso Pierantonio and Salvador Trujillo (Eds.). Springer International Publishing, Cham, 12- 27."}],"event":{"name":"LCTES '19: 20th ACM SIGPLAN\/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems","location":"Phoenix AZ USA","acronym":"LCTES '19","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 20th ACM SIGPLAN\/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3316482.3326360","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3316482.3326360","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:16Z","timestamp":1750204396000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3316482.3326360"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,23]]},"references-count":49,"alternative-id":["10.1145\/3316482.3326360","10.1145\/3316482"],"URL":"https:\/\/doi.org\/10.1145\/3316482.3326360","relation":{},"subject":[],"published":{"date-parts":[[2019,6,23]]},"assertion":[{"value":"2019-06-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}