{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:51:10Z","timestamp":1725562270055},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540219743"},{"type":"electronic","value":"9783540246862"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24686-2_13","type":"book-chapter","created":{"date-parts":[[2010,8,2]],"date-time":"2010-08-02T11:10:00Z","timestamp":1280747400000},"page":"208-228","source":"Crossref","is-referenced-by-count":10,"title":["XRTJ: An Extensible Distributed High-Integrity Real-Time Java Environment"],"prefix":"10.1007","author":[{"given":"Erik Yu-Shing","family":"Hu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andy","family":"Wellings","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guillem","family":"Bernat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Bacon, D., Sweeney, P.: Fast Static Analysis of C++ Virtual Function Calls. In: Proceedings of the ACM Conference on Obejct-oriented Programming Systems, Languages and Applications (OOPSLA 1996), San Jose, California (October 1996)","DOI":"10.1145\/236337.236371"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Bate, I., Bernat, G., Murphy, G., Puschner, P.: Low-Level Analysis of a Portable Java Byte Code WCET Analysis Framework. In: 6th IEEE Real-Time Computing Systems and Applications RTCSA 2000, December 2000, pp. 39\u201348 (2000)","DOI":"10.1109\/RTCSA.2000.896369"},{"key":"13_CR3","unstructured":"Bentley, S.: The Utilisation of the Java Language in Safety Critical System Development. MSc dissertation, Department of Computer Science, University of York (1999)"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Bernat, G., Burns, A., Wellings, A.: Portable Worst-Case Execution Time Analysis Using Java Byte Code. In: Proc. 6th Euromicro conference on Real-Time Systems, June 2000, pp. 81\u201388 (2000)","DOI":"10.1109\/EMRTS.2000.853995"},{"key":"13_CR5","volume-title":"Real-Time Specification for Java","author":"G. Bollella","year":"2000","unstructured":"Bollella, G., Gosling, J., Brosgol, B.M., Dibble, P., Furr, S., Hardin, D., Turnbull, M.: Real-Time Specification for Java. Addison Wesley, Reading (2000)"},{"key":"13_CR6","unstructured":"Brat, G., Havelund, K., Park, S., Visser, W.: Java PathFinder- Second generation of a Java model checker. In: Proc. of Post-CAV Workshop on Advances in Verification (2000)"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Carnahan, L., Ruark, M. (eds.): Requriements for Real-Time Extensions for the Java Platform, September 1999. NIST Special publications 500-243, National Institute of Standard and Technology (1999), http:\/\/www.nist.gov\/rt-java","DOI":"10.6028\/NIST.SP.500-243"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Choi, J.-D., Gupta, M., Serrano, M.J., Sreedhar, V.C., Midkiff, S.P.: Escape Analysis for Java. In: Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications - OOPSLA, pp. 1\u201319 (1999)","DOI":"10.1145\/320384.320386"},{"key":"13_CR9","unstructured":"Consortium, J.: Real-Time Core Extensions for Java platform. International J Consortium Specification, Revision 1.0.14 (September 2000), http:\/\/www.jconsortium.org\/rtjwg\/"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"de Miguel, M.: Solutions to Make Java-RMI Time Predictable. In: Proceedings of the 4th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing ISORC 2001, pp. 379\u2013386 (2001)","DOI":"10.1109\/ISORC.2001.922862"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/3-540-49538-X_5","volume-title":"ECOOP \u201995 - Object-Oriented Programming","author":"J. Dean","year":"1995","unstructured":"Dean, J., Grove, D., Chambers, C.: Optimisation of Object-Oriented programs using Static Class Hierarchy Analysis. In: Olthoff, W. (ed.) ECOOP 1995. LNCS, vol.\u00a0952, pp. 77\u2013101. Springer, Heidelberg (1995)"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/3-540-48743-3_12","volume-title":"ECOOP \u201999 - Object-Oriented Programming","author":"D. Detlefs","year":"1999","unstructured":"Detlefs, D., Agesen, O.: Inlining of Virtual Methods. In: Guerraoui, R. (ed.) ECOOP 1999. LNCS, vol.\u00a01628, pp. 258\u2013277. Springer, Heidelberg (1999)"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Engblom, J., Ermedahl, A., Altenbernd, P.: Facilitating Worst-Case Execution Times Analysis for Optimized Code. In: Proc. of the 10th Euromicro Real-Time Systems Workshop (June 1998)","DOI":"10.1109\/EMWRTS.1998.685079"},{"key":"13_CR14","volume-title":"Java Language Specification","author":"J. Gosling","year":"2000","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G.: Java Language Specification, 2nd edn. Addison-Wesley, Reading (2000)","edition":"2"},{"issue":"4","key":"13_CR15","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1145\/503112.503115","volume":"33","author":"P.H. Hartel","year":"2001","unstructured":"Hartel, P.H., Moreau, L.: Formalizing the Safety of Java, the Java Virtual Machine, and Java Card. ACM Computing Surveys\u00a033(4), 517\u2013588 (2001)","journal-title":"ACM Computing Surveys"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Hetcht, H., Hecht, M., Graff, S.: Review Guidelines for Software Languages for Use in Nuclear Power Plant Systems. NUREG\/CR- 6463, U.S. Nuclear Regulatory Commission (1997), http:\/\/fermi.sohar.com\/J1030\/index.htm","DOI":"10.2172\/569130"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Hu, E.Y.-S., Bernat, G., Wellings, A.J.: Addressing Dynamic Dispatching Issues in WCET Analysis for Object-Oriented Hard Real-Time Systems. In: Proceedings of the 5th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing ISORC 2002, April 2002, pp. 109\u2013116 (2002)","DOI":"10.1109\/ISORC.2002.1003667"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Hu, E.Y.-S., Bernat, G., Wellings, A.J.: A Static Timing Analysis Environment Using Java Architecture for Safety Critical Real-Time Systems. In: Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems WORDS-2002, January 2002, pp. 77\u201384 (2002)","DOI":"10.1109\/WORDS.2002.1000039"},{"key":"13_CR19","unstructured":"Hughes, M., Shoffner, M., Hamner, D.: Java Network Programming, 2nd edn., October 1999. Manning (1999)"},{"key":"13_CR20","unstructured":"Kopi. The Kopi Project. DMS Decision Management Systems Gmb, http:\/\/www.dms.at\/kopi\/"},{"key":"13_CR21","unstructured":"Kwon, J., Wellings, A., King, S.: A Safe Mobile Code Representation and Runtime Architecture for High-Integrity Real-Time Java Programs. In: Work-in-Progress Proceedings of the 22nd IEEE Real-Time Systems Symposium, pp. 37\u201340 (2001)"},{"key":"13_CR22","unstructured":"Kwon, J., Wellings, A., King, S.: Assessment of the Java Programming Language for Use in High Integrity Systems. Technical Report YCS 341, Department of Computer Science, University of York (2002), http:\/\/www.cs.york.ac.uk\/ftpdir\/reports\/YCS-2002-341.pdf"},{"key":"13_CR23","doi-asserted-by":"crossref","unstructured":"Kwon, J., Wellings, A., King, S.: Ravenscar-Java: A High Integrity Profile for Real-Time Java. In: Proceedings of Java Grande ISCOPE 2002, November 2002, pp. 131\u2013140 (2002)","DOI":"10.1145\/583810.583825"},{"key":"13_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/3-540-45418-7_13","volume-title":"Smart Card Programming and Security","author":"X. Leroy","year":"2001","unstructured":"Leroy, X.: On-Card Bytecode Verification for Java Card. In: Attali, S., Jensen, T. (eds.) E-smart 2001. LNCS, vol.\u00a02140, pp. 150\u2013164. Springer, Heidelberg (2001)"},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"Palencia, J.C., Harbour, M.G.: Exploiting precedence relations in the schedulability analysis of distributed real-time systems. In: Proc. of the 20th IEEE Real-Time Systems symposium (RTSS), pp. 328\u2013339 (1999)","DOI":"10.1109\/REAL.1999.818860"},{"key":"13_CR26","doi-asserted-by":"crossref","unstructured":"Pugh, W.: Fixing the Java Memory Model. In: Proceedings of Java Grande Conference 1999, pp. 89\u201398 (1999)","DOI":"10.1145\/304065.304106"},{"issue":"2\/3","key":"13_CR27","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1023\/A:1008119029962","volume":"18","author":"P. Puschner","year":"2000","unstructured":"Puschner, P., Burns, A.: A Review of Worst-Case Execution-Time Analysis. Real-Time Systems\u00a018(2\/3), 115\u2013128 (2000)","journal-title":"Real-Time Systems"},{"key":"13_CR28","doi-asserted-by":"crossref","unstructured":"Puschner, P., Wellings, A.: A Profile for High-Integrity Real-Time Java Programs. In: Proceedings of the 4th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2001, pp. 15\u201322 (2001)","DOI":"10.1109\/ISORC.2001.922813"},{"key":"13_CR29","doi-asserted-by":"crossref","unstructured":"Roychoudhury, A., Mitra, T.: Specifying Multithreaded Java Semantics for Program Verification. In: Proceedings of the International Conference on Softwre Engineering - ICSE, pp. 489\u2013499 (2002)","DOI":"10.1145\/581396.581399"},{"issue":"7","key":"13_CR30","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1145\/568014.379553","volume":"36","author":"A. Salcianu","year":"2001","unstructured":"Salcianu, A., Rinard, M.: Pointer and escape analysis for multithreaded programs. ACM SIGPLAN Notices\u00a036(7), 12\u201323 (2001)","journal-title":"ACM SIGPLAN Notices"},{"key":"13_CR31","unstructured":"Sun Microsystems. Java 2 Platform Micro Edition (J2ME) Technology for Creating Mobile Devices. White paper, Sun Microsystems (2002), http:\/\/java.sun.com\/j2me\/docs\/"},{"key":"13_CR32","unstructured":"TimeSys. Real-Time Java. TimeSys, http:\/\/www.timesys.com\/prodserv\/java\/"},{"key":"13_CR33","first-page":"117","volume":"40","author":"K. Tindell","year":"1994","unstructured":"Tindell, K., Clark, J.: Holistic Schedulability Analysis for Distributed Hard Real-Time Systems. Microprocessing and Microprogramming - Euromicro Journal (Special Issue on Parallel Embedded Real-Time Systems)\u00a040, 117\u2013134 (1994)","journal-title":"Microprocessing and Microprogramming - Euromicro Journal (Special Issue on Parallel Embedded Real-Time Systems)"},{"key":"13_CR34","doi-asserted-by":"crossref","unstructured":"Ventura, J., Siebert, F., Walter, A., Hunt, J.: HIDOORS - A high integrity distributed deterministic Java environment. In: Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems WORDS 2002, January 2002, pp. 113\u2013118 (2002)","DOI":"10.1109\/WORDS.2002.1000043"},{"key":"13_CR35","unstructured":"Vrchoticky, A.: Compilation Support for Fine-Grained Execution Time Analysis. In: Proc. of the ACM SIGPLAN Wrokshop on Language, Compiler and Tool Support for Real-Time Systems (1994)"},{"key":"13_CR36","doi-asserted-by":"crossref","unstructured":"Wellings, A., Clark, R., Jensen, D., Wells, D.: A Framework for Integrating the Real-Time Specification for Java and Java\u2019s Remote Method Invocation. In: Proceedings of the 5th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing ISORC 2002, April 2002, pp. 13\u201322 (2002)","DOI":"10.1109\/ISORC.2002.1003655"}],"container-title":["Lecture Notes in Computer Science","Real-Time and Embedded Computing Systems and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24686-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T23:25:02Z","timestamp":1559345102000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24686-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540219743","9783540246862"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24686-2_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}