{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,31]],"date-time":"2024-05-31T15:14:08Z","timestamp":1717168448719},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2014,7,30]],"date-time":"2014-07-30T00:00:00Z","timestamp":1406678400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Computing"],"published-print":{"date-parts":[[2015,3]]},"DOI":"10.1007\/s00607-014-0416-7","type":"journal-article","created":{"date-parts":[[2014,7,29]],"date-time":"2014-07-29T07:26:24Z","timestamp":1406618784000},"page":"281-307","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Light-weight Synchronous Java (SJL): An approach for programming deterministic reactive systems with Java"],"prefix":"10.1007","volume":"97","author":[{"given":"Christian","family":"Motika","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reinhard","family":"von Hanxleden","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,7,30]]},"reference":[{"key":"416_CR1","doi-asserted-by":"crossref","unstructured":"Andalam S, Roop PS, Girault A (2010) Deterministic, predictable and light-weight multithreading using pret-c. In: Proceedings of the conference on design, automation and test in Europe (DATE\u201910). Dresden, Germany, pp 1653\u20131656","DOI":"10.1109\/DATE.2010.5457078"},{"key":"416_CR2","unstructured":"Andr\u00e9 C (1996) SyncCharts: a visual representation of reactive behaviors. Technical report RR 95\u201352, rev RR 96\u201356, I3S, Sophia-Antipolis, France"},{"key":"416_CR3","doi-asserted-by":"crossref","unstructured":"Axer P, Ernst R, Falk H, Girault A, Grund D, Guan N, Jonsson B, Marwedel P, Reineke J, Rochange C, Sebastian M, von Hanxleden R, Wilhelm R, Yi W (2013) Building timing predictable embedded systems. In: Proceedings of ACM transactions on embedded computing systems, (accepted)","DOI":"10.1145\/2560033"},{"key":"416_CR4","doi-asserted-by":"crossref","unstructured":"Berry G (2000) The foundations of Esterel. In: Plotkin G, Stirling C, Tofte M (eds) Proof, language and interaction: essays in honour of Robin Milner. MIT Press, Cambridge","DOI":"10.7551\/mitpress\/5641.003.0021"},{"key":"416_CR5","volume-title":"The real-time specification for Java","author":"G Bollella","year":"2000","unstructured":"Bollella G, Gosling J, Brosgol BM, Dibble P (2000) The real-time specification for Java. Addison-Wesley Longman Publishing Co., Inc., Boston"},{"issue":"5","key":"416_CR6","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1002\/cpe.919","volume":"18","author":"F Boussinot","year":"2006","unstructured":"Boussinot F (2006) Fairthreads: mixing cooperative and preemptive threads in C. Concur Comput Pract Exp 18(5):445\u2013469","journal-title":"Concur Comput Pract Exp"},{"key":"416_CR7","doi-asserted-by":"crossref","unstructured":"Caspi P, Pilaud D, Halbwachs N, Plaice JA (1987) Lustre: a declarative language for real-time programming. In: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on principles of programming languages (POPL\u201987), ACM, Munich, Germany, pp 178\u2013188. doi: 10.1145\/41625.41641","DOI":"10.1145\/41625.41641"},{"issue":"7","key":"416_CR8","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1145\/366663.366704","volume":"6","author":"ME Conway","year":"1963","unstructured":"Conway ME (1963) Design of a separable transition-diagram compiler. Commun ACM 6(7):396\u2013408. doi: 10.1145\/366663.366704","journal-title":"Commun ACM"},{"issue":"4","key":"416_CR9","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1002\/spe.4380210406","volume":"21","author":"F Boussinot","year":"1991","unstructured":"Boussinot F (1991) Reactive C: an extension of C to program reactive systems. Soft Pract Exp 21(4):401\u2013428","journal-title":"Soft Pract Exp"},{"key":"416_CR10","doi-asserted-by":"crossref","unstructured":"Fuhrmann H, von Hanxleden R (2010) Taming graphical modeling. In: Proceedings of the ACM\/IEEE 13th international conference on model driven engineering languages and systems (MoDELS\u201910), LNCS, vol 6394. Springer, Berlin, Heidelberg, pp 196\u2013210. doi: 10.1007\/978-3-642-16145-2_14","DOI":"10.1007\/978-3-642-16145-2_14"},{"key":"416_CR11","unstructured":"von Hanxleden R (2099) SyncCharts in C-A proposal for light-weight, deterministic concurrency. In: Proceedings of the international conference on embedded software (EMSOFT\u201909), ACM, Grenoble, France, pp 225\u2013234"},{"key":"416_CR12","doi-asserted-by":"crossref","unstructured":"von Hanxleden R, Mendler M, Aguado J, Duderstadt B, Fuhrmann I, Motika C, Mercer S, O\u2019Brien O (2013) Sequentially constructive concurrency: a conservative extension of the synchronous model of computation. In: Proceedings of the design, automation and test in Europe conference (DATE\u201913), IEEE, Grenoble, France","DOI":"10.7873\/DATE.2013.128"},{"key":"416_CR13","unstructured":"Heinold M (2010) Synchronous Java Bachelor thesis. Christian-Albrechts-Universit\u00e4t zu Kiel, Department of Computer Science"},{"key":"416_CR14","unstructured":"Henties T, Hunt JJ, Locke D, Nilsen K, Schoeberl M, Vitek J (2009) Java for safety-critical applications. In: 2nd international workshop on the certification of safety-critical software controlled systems (SafeCert 2009)"},{"key":"416_CR15","unstructured":"K\u00f6ser N (2010) SyncCharts in C auf multicore dimploma thesis. Christian-Albrechts-Universit\u00e4t zu Kiel, Department of Computer Science"},{"issue":"5","key":"416_CR16","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1109\/MC.2006.180","volume":"39","author":"EA Lee","year":"2006","unstructured":"Lee EA (2006) The problem with threads. IEEE Comput 39(5):33\u201342","journal-title":"IEEE Comput"},{"key":"416_CR17","doi-asserted-by":"crossref","unstructured":"Lickly B, Liu I, Kim S, Patel HD, Edwards SA, Lee EA (2008) Predictable programming on a precision timed architecture. In: Proceedings of compilers, architectures, and synthesis of embedded systems (CASES\u201908), Atlanta, GA, USA","DOI":"10.1145\/1450095.1450117"},{"key":"416_CR18","doi-asserted-by":"crossref","unstructured":"Miyoshi A, Kitayama T, Tokuda H (1997) Implementation and evaluation of real-time Java threads. In: Proceedings of the 18th IEEE real-time systems symposium (RTSS\u201997), San Francisco, CA, USA, pp 166\u2013175. doi: 10.1109\/REAL.1997.641279","DOI":"10.1109\/REAL.1997.641279"},{"key":"416_CR19","doi-asserted-by":"crossref","unstructured":"Motika C, von Hanxleden R, Heinold M (2013) Programming deterministice reactive systems with synchronous Java (invited paper). In: Proceedings of the 9th workshop on software technologies for future embedded and ubiquitous systems (SEUS 2013), IEEE Proceedings, Paderborn, Germany","DOI":"10.1109\/ISORC.2013.6913222"},{"key":"416_CR20","doi-asserted-by":"crossref","unstructured":"Nadeem M, Biglari-Abhari M, Salcic Z (2011) RJOP: a customized Java processor for reactive embedded systems. In: Proceedings of the 48th design automation conference (DAC\u201911), ACM, New York, NY, USA, pp 1038\u20131043. doi: 10.1145\/2024724.2024952","DOI":"10.1145\/2024724.2024952"},{"issue":"6","key":"416_CR21","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1145\/276609.276619","volume":"41","author":"K Nilsen","year":"1998","unstructured":"Nilsen K (1998) Adding real-time capabilities to Java. Commun ACM 41(6):49\u201356. doi: 10.1145\/276609.276619","journal-title":"Commun ACM"},{"key":"416_CR22","doi-asserted-by":"crossref","unstructured":"Plsek A, Zhao L, Sahin VH, Tang D, Kalibera T, Vitek J (2010) Developing safety critical Java applications with oSCJ\/L0. In: Proceedings of the 8th international workshop on Java technologies for real-time and embedded systems (JTRES\u201910), ACM, Prague, Czech Republic, pp 95\u2013101. doi: 10.1145\/1850771.1850786","DOI":"10.1145\/1850771.1850786"},{"key":"416_CR23","doi-asserted-by":"crossref","unstructured":"Schoeberl M (2006) A time predictable Java processor. In: Proceedings of the design, automation and test in Europe conference (DATE\u201906). Munich, Germany, pp 800\u2013805","DOI":"10.1109\/DATE.2006.244146"},{"key":"416_CR24","doi-asserted-by":"crossref","unstructured":"Schoeberl M (2007) Mission modes for safety critical java. In: Proceedings of the 5th IFIP WG 10.2 international conference on software technologies for embedded and ubiquitous systems (SEUS\u201907), Springer, Santorini Island, Greece, pp 105\u2013113. http:\/\/dl.acm.org\/citation.cfm?id=1778978.1778991","DOI":"10.1007\/978-3-540-75664-4_11"},{"issue":"1\u20132","key":"416_CR25","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1016\/j.sysarc.2007.06.001","volume":"54","author":"M Schoeberl","year":"2008","unstructured":"Schoeberl M (2008) A Java processor architecture for embedded real-time systems. J Syst Arch (JSA) 54(1\u20132):265\u2013286","journal-title":"J Syst Arch (JSA)"},{"key":"416_CR26","doi-asserted-by":"crossref","unstructured":"Stadler L, W\u00fcrthinger T, Wimmer C (2010) Efficient coroutines for the Java platform. In: Proceedings of the 8th international conference on the principles and practice of programming in Java (PPPJ\u201910). ACM, Vienna, Austria, pp 20\u201328","DOI":"10.1145\/1852761.1852765"},{"issue":"4","key":"416_CR27","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/S0020-0190(02)00286-7","volume":"84","author":"M Sung","year":"2002","unstructured":"Sung M, Kim S, Park S, Chang N, Shin H (2002) Comparative performance evaluation of java threads for embedded applications: Linux thread vs. green thread. Inf Process Lett 84(4):221\u2013225. doi: 10.1016\/S0020-0190(02)00286-7","journal-title":"Inf Process Lett"},{"key":"416_CR28","doi-asserted-by":"crossref","unstructured":"Traulsen C, Amende T, von Hanxleden R (2011) Compiling SyncCharts to Synchronous C. In: Proceedings of the design, automation and test in Europe conference (DATE\u201911), IEEE, Grenoble, France, pp 563\u2013566","DOI":"10.1109\/DATE.2011.5763284"}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-014-0416-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00607-014-0416-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-014-0416-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,31]],"date-time":"2024-05-31T14:53:47Z","timestamp":1717167227000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00607-014-0416-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7,30]]},"references-count":28,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,3]]}},"alternative-id":["416"],"URL":"https:\/\/doi.org\/10.1007\/s00607-014-0416-7","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,7,30]]}}}