{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:05:28Z","timestamp":1725516328205},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540698388"},{"type":"electronic","value":"9783540698395"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-69839-5_58","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T16:07:43Z","timestamp":1218557263000},"page":"790-799","source":"Crossref","is-referenced-by-count":0,"title":["Static Worst-Case Execution Time Analysis Tool for Embedded Operating Systems"],"prefix":"10.1007","author":[{"given":"H. H.","family":"Park","sequence":"first","affiliation":[]},{"given":"JiMan","family":"Hong","sequence":"additional","affiliation":[]},{"given":"S. M.","family":"Yang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2-3","key":"58_CR1","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1023\/A:1008119029962","volume":"18","author":"P. Puschener","year":"2000","unstructured":"Puschener, P., Burns, A.: A review of worst-case execution-time analysis. Real-Time Systems Guest Editorial\u00a018(2-3), 115\u2013128 (2000)","journal-title":"Real-Time Systems Guest Editorial"},{"key":"58_CR2","unstructured":"The eclipse project., \n                    \n                      http:\/\/www.eclipse.org"},{"key":"58_CR3","doi-asserted-by":"crossref","unstructured":"Colin, A., Puaut, I.: A modular and retargetable framework for tree-based wcet analysis. In: Proc. 13th Euromicro Conference of Real-Time Systems (ECRTS 2001) (2001)","DOI":"10.1109\/EMRTS.2001.933995"},{"key":"58_CR4","unstructured":"RTEMS project., \n                    \n                      http:\/\/www.rtems.com\/"},{"key":"58_CR5","unstructured":"Carlsson, M., Engblom, J., Ermedahl, A., Lindblad, J., Lisper, B.: Worst-Case Execution Time Analysis of Disable Interrupt Regions in an Commercial Real-Time Operating System. In: Proc. 2nd International Workshop on Real-Time Tools (RTTOOLS 2002) (2002)"},{"key":"58_CR6","unstructured":"Enea, Enea Embedded Technology, \n                    \n                      http:\/\/www.enea.com"},{"key":"58_CR7","unstructured":"Sandell, D., Ermedahl, A., Gustafsson, J., Lisper, B.: Static Timing Analysis of Real-Time Operating System Code. In: 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA 2004), Cyprus (2004)"},{"key":"58_CR8","volume-title":"Compilers, principles, techniques, and tools","author":"A.V. Aho","year":"1998","unstructured":"Aho, A.V., Sethi, R., Ullman, J.D.: Compilers, principles, techniques, and tools. Addison-Wesley, Reading (1998)"},{"key":"58_CR9","unstructured":"Javacc Home, \n                    \n                      https:\/\/javacc.dev.java.net\/"},{"key":"58_CR10","unstructured":"Intel.: XScale Microarchitecture for the PXA255 Processor User\u2019s Manual. Intel Corporation (2003)"},{"key":"58_CR11","unstructured":"GNU GCC Extension, \n                    \n                      http:\/\/gcc.gnu.org\/extensions.html"}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2013 ICCSA 2008"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69839-5_58.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:09:23Z","timestamp":1620014963000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69839-5_58"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540698388","9783540698395"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69839-5_58","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}