{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:58:58Z","timestamp":1725566338258},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540236641"},{"type":"electronic","value":"9783540304708"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30470-8_45","type":"book-chapter","created":{"date-parts":[[2010,9,23]],"date-time":"2010-09-23T17:42:15Z","timestamp":1285263735000},"page":"278-291","source":"Crossref","is-referenced-by-count":1,"title":["Supporting Mixed Criticality Applications in a Ravenscar-Java Environment"],"prefix":"10.1007","author":[{"given":"Hao","family":"Cai","sequence":"first","affiliation":[]},{"given":"Andy","family":"Wellings","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"45_CR1","unstructured":"ARINC653: Avionics Application Software Standard Interface(Draft 15). Airline Electronic Engineering Committee (AEEC), June 17 (1996)"},{"key":"45_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1007\/978-3-540-39962-9_44","volume-title":"JRTES, On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops","author":"A. Burns","year":"2003","unstructured":"Burns, A., Wellings, A.J.: Processing Group Parameters in the Real-time Specification for Java. In: Meersman, R., Tari, Z. (eds.) OTM-WS 2003. LNCS, vol.\u00a02889, pp. 360\u2013370. Springer, Heidelberg (2003)"},{"key":"45_CR3","volume-title":"The Real-time Specification for Java","author":"G. Bollela","year":"2000","unstructured":"Bollela, G., Brosgol, B., Dibble, P., Furr, S., Gosling, J., Hardin, D., Turnbull, M.: The Real-time Specification for Java. Addison Wesley, Reading (2000)"},{"key":"45_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/978-3-540-39962-9_41","volume-title":"JRTES, On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops","author":"H. Cai","year":"2003","unstructured":"Cai, H., Wellings, A.: Towards a High Integrity Real-time Java Virtual Machine. In: Meersman, R., Tari, Z. (eds.) OTM-WS 2003. LNCS, vol.\u00a02889, pp. 319\u2013334. Springer, Heidelberg (2003)"},{"key":"45_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/978-3-540-39962-9_53","volume-title":"JRTES, On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops","author":"M.T. Higuera-Toledano","year":"2003","unstructured":"Higuera-Toledano, M.T.: Memory Management Design to the Concurrent Execution of RTSJ Applications. In: Meersman, R., Tari, Z. (eds.) OTM-WS 2003. LNCS, vol.\u00a02889, pp. 479\u2013489. Springer, Heidelberg (2003)"},{"key":"45_CR6","doi-asserted-by":"crossref","unstructured":"Kwon, J., Wellings, A.J., King, S.: Ravenscar-Java: A High Integrity Profile for Real- Time Java. In: Proceeding of the Joint ACM Java Grande \u2013 ISCOPE 2002 Conference (2002)","DOI":"10.1145\/583810.583825"},{"key":"45_CR7","doi-asserted-by":"crossref","unstructured":"Puschner, P., Wellings, A.J.: A Profile for High Integrity Real-time Java Programs. In: IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (2001)","DOI":"10.1109\/ISORC.2001.922813"},{"key":"45_CR8","unstructured":"Soper, P., et al.: JavaTM Application Isolation API Specification (JSR-121) Public Review Draft. Sun Microsystems, http:\/\/jcp.org\/en\/jsr\/detail?id=121 (accessed October, 2003)"},{"key":"45_CR9","series-title":"A Generic Fault-Tolerant Architecture for Real-time Dependable Systems","first-page":"99","volume-title":"Multilevel Integrity Mechanisms","author":"E. Totel","year":"2001","unstructured":"Totel, E., Beus-Dukic, L., Blanquart, J.-P., Deswarte, Y., Nicomette, V., Powell, D., Wellings, A.: Multilevel Integrity Mechanisms. A Generic Fault-Tolerant Architecture for Real-time Dependable Systems, pp. 99\u2013119. Kluwer Academic Publishers, Dordrecht (2001)"},{"key":"45_CR10","doi-asserted-by":"crossref","unstructured":"Lipari, G., Bini, E.: Resource Partitioning among Real-time Applications. In: Euromicro Conference on Real-time Systems (2003)","DOI":"10.1109\/EMRTS.2003.1212738"},{"key":"45_CR11","doi-asserted-by":"crossref","unstructured":"Back, G., Hsieh, W.C., Lepreau, J.: Processes in KaffeOS: Isolation, Resource Management, and Sharing in Java. In: Proceedings of the 4th Symposium on Operating Systems Design & Implementation (2000)","DOI":"10.21236\/ADA440101"},{"key":"45_CR12","unstructured":"Hawblitzel, C., Chang, C.-C., Czajkowski, G., Hu, D., von Eicken, T.: Implementing Multiple Protection Domains in Java. In: Proceedings of the USENIX, Annual Technical Conference, New Orleans, LA, pp. 259\u2013270 (1998)"},{"key":"45_CR13","doi-asserted-by":"crossref","unstructured":"Balfanz, D., Gong, L.: Experience with Secure Multi-Processing in Java. In: Proc. Of the Eighteenth International Conf. on Distributed Computing Systems (May 1998)","DOI":"10.1109\/ICDCS.1998.679754"},{"key":"45_CR14","doi-asserted-by":"crossref","unstructured":"Dillenberger, D., Bordawekar, R., Clark, C.W., Durand, D., Emmes, D., Gohda, O., Howard, S., Oliver, M.F., Samuel, F., John, R.W.S.: Building a Java virtual machine for server applications: The JVM on OS\/390. IBM Systems Journal\u00a039(1) (2000)","DOI":"10.1147\/sj.391.0194"},{"key":"45_CR15","unstructured":"Cai, H., Wellings, A.: A Real-time Isolate Specification for Ravenscar-Java. In: IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (2004)"},{"key":"45_CR16","doi-asserted-by":"crossref","unstructured":"Gai, P., Abeni, L., Giorgi, M., Buttazzo, G.: A New Kernel Approach for Modular Real-Time systems Development. In: Proceedings of the 13th IEEE Euromicro Conference on Real-Time Systems (June 2001)","DOI":"10.1109\/EMRTS.2001.934032"},{"key":"45_CR17","unstructured":"Sun Microsystem, The K virtual machine, KVM (2004), http:\/\/java.sun.com\/products\/cldc\/wp\/index.html"},{"key":"45_CR18","doi-asserted-by":"crossref","unstructured":"Czajkowski, G., Daynes, L.: Multitasking without Compromise: a Virtual Machine Evolution. In: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (2001)","DOI":"10.1145\/504282.504292"},{"key":"45_CR19","doi-asserted-by":"crossref","unstructured":"Bernat, G., Burns, A., Wellings, A.J.: Portable Worst-Case Execution Time Analysis Using Java Byte Code. In: Proceedings of the 12th EuroMicro Conference on Real-Time Systems, Stockholm (June 2000)","DOI":"10.1109\/EMRTS.2000.853995"},{"key":"45_CR20","series-title":"Lecture Notes in Computer Science","first-page":"411","volume-title":"Java for Realtime Embedded Systems (JRTES), On The Move to Meaningful Internet Systems 2003: OTM 2003 workshops","author":"E. Yu-Shing Hu","year":"2003","unstructured":"Yu-Shing Hu, E., Wellings, A.J., Bernat, G.: Deriving Java Virtual Machine Timing Models for Portable Worst-Case Execution Time Analysis. In: Meersman, R., Tari, Z. (eds.) OTM-WS 2003. LNCS, vol.\u00a02889, pp. 411\u2013424. Springer, Heidelberg (2003)"},{"key":"45_CR21","unstructured":"POSIX.13, IEEE std. 1003.13-1998. Information Technology \u2013standardized application environment Profile \u2013 POSIX Realtime Application Support (AEP), The Institute of Electrical and Electronics Engineers (1998)"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30470-8_45.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:53:23Z","timestamp":1605743603000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30470-8_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540236641","9783540304708"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30470-8_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}