{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:03:56Z","timestamp":1725458636502},"publisher-location":"Boston","reference-count":12,"publisher":"Kluwer Academic Publishers","isbn-type":[{"type":"print","value":"1402075286"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/0-306-48709-8_5","type":"book-chapter","created":{"date-parts":[[2005,12,30]],"date-time":"2005-12-30T11:21:38Z","timestamp":1135941698000},"page":"55-68","source":"Crossref","is-referenced-by-count":1,"title":["RTOS Modeling for System Level Design"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Gerstlauer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haobo","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel D.","family":"Gajski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"G. C. Buttazzo. Hard Real-Time Computing Systems. Kluwer Academic Publishers, 1999.","key":"5_CR1"},{"doi-asserted-by":"crossref","unstructured":"J. Cortadella. \u201cTask Generation and Compile Time Scheduling for Mixed Data-Control Embedded Software.\u201d In Proceedings of Design Automation Conference (DAC), June 2000.","key":"5_CR2","DOI":"10.1145\/337292.337553"},{"doi-asserted-by":"crossref","unstructured":"D. Desmet, D. Verkest, and H. De Man. \u201cOperating System Based Software Generation for System-on-Chip.\u201d In Proceedings of Design Automation Conference (DAC), June 2000.","key":"5_CR3","DOI":"10.1145\/337292.337509"},{"doi-asserted-by":"crossref","unstructured":"R. D\u00f6mer, A. Gerstlauer, and D. D. Gajski. SpecC Language Reference Manual, Version 2.0. SpecC Technology Open Consortium, December 2002.","key":"5_CR4","DOI":"10.1007\/978-1-4615-1481-7_6"},{"doi-asserted-by":"crossref","unstructured":"L. Gauthier, S. Yoo, and A. A. Jerraya. \u201cAutomatic Generation and Targeting of Application-Specific Operating Systems and Embedded Systems Software.\u201d IEEE Transactions on CAD, November 2001.","key":"5_CR5","DOI":"10.1109\/43.959858"},{"doi-asserted-by":"crossref","unstructured":"A. Gerstlauer and D. D. Gajski. \u201cSystem-Level Abstraction Semantics.\u201d In Proceedings of International Symposium on System Synthesis (ISSS), October 2002.","key":"5_CR6","DOI":"10.1145\/581199.581251"},{"doi-asserted-by":"crossref","unstructured":"A. Gerstlauer, R. D\u00f6mer, J. Peng, and D. D. Gajski. System Design: A Practical Guide with SpecC. Kluwer Academic Publishers, 2001.","key":"5_CR7","DOI":"10.1007\/978-1-4615-1481-7"},{"unstructured":"A. Gerstlauer, S. Zhao, D. D. Gajski, and A. Horak. \u201cDesign of a GSM Vocoder using SpecC Methodology.\u201d Technical Report ICS-TR-99-11, UC Irvine, February 1999.","key":"5_CR8"},{"unstructured":"T. Gr\u00f6tker, S. Liao, G. Martin, and S. Swan. System Design with SystemC. Kluwer Academic Publishers, 2002.","key":"5_CR9"},{"doi-asserted-by":"crossref","unstructured":"D. Steppner, N. Rajan, and D. Hui. \u201cEmbedded Application Design Using a Real-Time OS.\u201d In Proceedings of Design Automation Conference (DAC), June 1999.","key":"5_CR10","DOI":"10.1145\/309847.310566"},{"unstructured":"H. Tomiyama, Y. Cao, and K. Murakami. \u201cModeling Fixed-Priority Preemptive Multi-Task Systems in SpecC.\u201d In Proceedings of Workshop on Synthesis and System Integration of Mixed Technologies (SASIMI), October 2001.","key":"5_CR11"},{"unstructured":"H. Yu, A. Gerstlauer, and D. D. Gajski. \u201cRTOS Modeling in System Level Synthesis.\u201d Technical Report CECS-TR-02-25, UC Irvine, August 2002.","key":"5_CR12"}],"container-title":["Embedded Software for SoC"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/0-306-48709-8_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:52:14Z","timestamp":1605642734000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/0-306-48709-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["1402075286"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/0-306-48709-8_5","relation":{},"subject":[]}}