{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:15:13Z","timestamp":1742397313066},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540204947"},{"type":"electronic","value":"9783540399629"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39962-9_48","type":"book-chapter","created":{"date-parts":[[2010,9,8]],"date-time":"2010-09-08T18:56:39Z","timestamp":1283972199000},"page":"411-424","source":"Crossref","is-referenced-by-count":7,"title":["Deriving Java Virtual Machine Timing Models for Portable Worst-Case Execution Time Analysis"],"prefix":"10.1007","author":[{"given":"Erik Yu-Shing","family":"Hu","sequence":"first","affiliation":[]},{"given":"Andy J.","family":"Wellings","sequence":"additional","affiliation":[]},{"given":"Guillem","family":"Bernat","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"48_CR1","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: Proceedings of the 6th IEEE Real- Time Computing Systems and Applications RTCSA-2000, December 2000, pp. 39\u201348 (2000)","DOI":"10.1109\/RTCSA.2000.896369"},{"key":"48_CR2","doi-asserted-by":"crossref","unstructured":"Bernat, G., Burns, A., Wellings, A.: Portable Worst-Case Execution Time Analysis Using Java Byte Code. In: Proceedings of the 6th Euromicro Conference on Real-Time Systems, June 2000, pp. 81\u201388 (2000)","DOI":"10.1109\/EMRTS.2000.853995"},{"key":"48_CR3","doi-asserted-by":"crossref","unstructured":"Bernat, G., Colin, A., Petters, S.: WCET Analysis of Probabilistic Hard Real- Time Systems. In: Proceedings of the 23rd IEEE Real-Time Systems Symposium (December 2002)","DOI":"10.1109\/REAL.2002.1181582"},{"key":"48_CR4","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":"48_CR5","unstructured":"Chapman, R., Burns, A., Wellings, A.: Integrated Program Proof and Worst- Case Timing Analysis of SPARK Ada. In: Proceedings of the Workshop on Language, Compiler, and Tool Support for Real-Time Systems (June 1994)"},{"key":"48_CR6","unstructured":"Consortium, J.: Real-Time Core Extensions for Java platform. International J Consortium Specification, Revision 1.0.14 (September 2000), \n                    \n                      http:\/\/www.jconsortium.org\/rtjwg\/"},{"key":"48_CR7","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":"48_CR8","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":"48_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/978-3-540-24686-2_13","volume-title":"Real-Time and Embedded Computing Systems and Applications","author":"E.Y.-S. Hu","year":"2004","unstructured":"Hu, E.Y.-S., Kwon, J., Wellings, A.J.: XRTJ: An Extensible Distributed High-Integrity Real-Time Java Environment. In: Chen, J., Hong, S. (eds.) RTCSA 2003. LNCS, vol.\u00a02968, pp. 371\u2013391. Springer, Heidelberg (2004)"},{"key":"48_CR10","unstructured":"Hu, E.Y.-S., Wellings, A.J., Bernat, G.: A Novel Gain Time Reclaiming Framework Integrating WCET Analysis for Object-Oriented Real-Time Systems. In: Proceedings of the 2nd International Workshop on Worst-Case Execution Time Analysis WCET-2002 (June 2002)"},{"key":"48_CR11","unstructured":"Hu, E.Y.-S., Wellings, A.J., Bernat, G.: Gain Time Reclaiming in High Performance Real-Time Java Systems. In: Proceedings of the 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing ISORC-2003, May 2003, pp. 249\u2013256 (2003)"},{"key":"48_CR12","unstructured":"Intel\u2019s Applications Notes. Using the RDTSC Instruction for Performance Monitoring. Intel., \n                    \n                      http:\/\/cedar.intel.com\/software\/idap\/media\/pdf\/rdtscpm1.pdf"},{"key":"48_CR13","unstructured":"Kopi. The Kopi Project. DMS Decision Management Systems Gmb, \n                    \n                      http:\/\/www.dms.at\/kopi\/"},{"issue":"7","key":"48_CR14","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1109\/32.392980","volume":"21","author":"S. Lim","year":"1995","unstructured":"Lim, S., Bae, Y., Jang, G., Rhee, B., Min, S., Park, C., Shin, H., Park, K., Kim, C.: An accurate worst case timing analysis for RISC processors. IEEE Transactions on Software Engineering\u00a021(7), 593\u2013604 (1995)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"48_CR15","unstructured":"Lindgren, M.: Measurement and Simulation Based Techniques for Real-Time Systems Analysis. Dissertation, Uppsala University, Sweden (2000)"},{"key":"48_CR16","unstructured":"Mueller, F.: Static Cache Simulation and its Applications. Ph.d thesis, Department of Computer Science, Florida State University (July 1994)"},{"key":"48_CR17","unstructured":"Petters, S., Farber, G.: Making Worst Case Execution Time Analysis for Hard Real-Time Tasks. In: Proceedings of the 6th International Conference on Real-Time Computing Systems and Application RTCSA-1999 (December 1999)"},{"issue":"2\/3","key":"48_CR18","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"},{"issue":"7","key":"48_CR19","doi-asserted-by":"publisher","first-page":"875","DOI":"10.1109\/32.29487","volume":"15","author":"A. Shaw","year":"1989","unstructured":"Shaw, A.: Reasoning about Time in Higher-Level Language Software. IEEE Transactions on Software Engineering\u00a015(7), 875\u2013889 (1989)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"48_CR20","unstructured":"Terrasa, A., Bernat, G.: Extracting Temporal Properties from Real-Time Systems by Automatic Tracing Analysis. In: Proceedings of the 9th International Conference on Real-Time and Embedded Computing Systems and Applications RTCSA- 2003, February 2003, pp. 483\u2013502 (2003)"},{"key":"48_CR21","unstructured":"TimeSys. Real-Time Java. TimeSys, \n                    \n                      http:\/\/www.timesys.com\/prodserv\/java\/"}],"container-title":["Lecture Notes in Computer Science","On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39962-9_48","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,20]],"date-time":"2019-03-20T02:23:39Z","timestamp":1553048619000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39962-9_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540204947","9783540399629"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39962-9_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}