{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,10]],"date-time":"2023-01-10T03:13:38Z","timestamp":1673320418427},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T00:00:00Z","timestamp":1133395200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Des Autom Embed Syst"],"published-print":{"date-parts":[[2005,12]]},"DOI":"10.1007\/s10617-006-0590-8","type":"journal-article","created":{"date-parts":[[2007,1,2]],"date-time":"2007-01-02T12:02:41Z","timestamp":1167739361000},"page":"229-251","source":"Crossref","is-referenced-by-count":12,"title":["Target software generation: an approach for automatic mapping of SystemC specifications onto real-time operating systems"],"prefix":"10.1007","volume":"10","author":[{"given":"Matthias","family":"Krause","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oliver","family":"Bringmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Rosenstiel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"590_CR1","unstructured":"CAN Specification 2.0. Robert Bosch GmbH, 1991."},{"key":"590_CR2","doi-asserted-by":"crossref","unstructured":"Ces\u00e1rio, W. and A. Jerraya. Component-Based Design for Multiprocessor Systems-on-Chips. Multiprocessor Systems-on-Chips, Elsevier, 2005.","DOI":"10.1016\/B978-012385251-9\/50029-3"},{"key":"590_CR3","unstructured":"Chevalier, J., O. Benny, M. Rondonneau, G. Bois, E. Aboulhamid, and F.-R. Boyer. SPACE: A Hardware\/Software SystemC Modeling Platform Including an RTOS. Forum on Specification and Design Languages, Frankfurt, 2003."},{"key":"590_CR4","doi-asserted-by":"crossref","unstructured":"Donlin, A. Transaction Level Modeling: Flows and Use Models. In Proceedings of the 2nd IEEE\/ACM\/IFIP International Conference on Hardware\/Software Codesign and System Synthesis, Stockholm, 2004.","DOI":"10.1145\/1016720.1016742"},{"key":"590_CR5","doi-asserted-by":"crossref","unstructured":"Donlin, A., A. Braun, and A. Rose. SystemC for Design and Modeling of Programmable Systems. In Proceedings of International Forum on Specification and Design Languages, Lille, 2004.","DOI":"10.1007\/978-3-540-30117-2_82"},{"key":"590_CR6","unstructured":"FlexRay Communications System Protocol Specification 2.1. FlexRay Consortium, 2005."},{"key":"590_CR7","unstructured":"Gallmeister, B.O. POSIX.4 - Programming for the Real World. O\u2019Reilly & Associates Inc., 1995."},{"key":"590_CR8","unstructured":"Groetker, T., S. Liao, G. Martin, and S. Swan. System Design with SystemC. Kluwer, 2002."},{"key":"590_CR9","unstructured":"Hassan, M., K. Sakanushi, Y. Takeuchi, and M. Imai. RTK-Spec TRON: A Simulation Model of an ITRON Based RTOS Kernel in SystemC. In Proceedings of Design Automation and Test in Europe (DATE), Munich, Germany, 2005."},{"key":"590_CR10","unstructured":"Hastono, P., S. Klaus, and S. Huss. An Integrated SystemC Framework for Real-Time Scheduling Assessments on System Level. In 25th IEEE International Real-Time Systems Symposium (RTSS), Lisbon, 2004."},{"key":"590_CR11","unstructured":"Hastono, P., S. Klaus, and S. Huss. Real-Time Operating System Services for Realistic SystemC Simulation Models of Embedded Systems. In Proceedings of International Forum on Specification and Design Languages, Lille, 2004."},{"key":"590_CR12","doi-asserted-by":"crossref","unstructured":"Herrera, F., V. Fern\u00e1ndes, P. S\u00e1nchez, and E. Villar. Embedded Software Generation from SystemC for Platform Based Design. SystemC Methodologies and Applications, Kluwer Academic Publishers, pp. 247\u2013272, 2003.","DOI":"10.1007\/0-306-48735-7_9"},{"key":"590_CR13","unstructured":"Herrera, F., H. Posadas, P. S\u00e1nchez, and E. Villar. Systematic Embedded Software Generation from SystemC. Design, Automation and Test in Europe Conference and Exhibition, Munich, 2003."},{"key":"590_CR14","doi-asserted-by":"crossref","unstructured":"Honda, S., T. Wakabayashi, H. Tomiyama, and H. Takada. RTOS-Centric Hardware\/Software Cosimulator for Embedded System Design. In Proceedings of CODES + ISSS \u201904, Stockholm, Sweden, 2004.","DOI":"10.1145\/1016720.1016760"},{"key":"590_CR15","unstructured":"Krause, M., O. Bringmann, and W. Rosenstiel. Communication Refinement and Target Software Generation using SystemC. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Dresden, 2006."},{"key":"590_CR16","unstructured":"Krause, M., O. Bringmann, and W. Rosenstiel. A SystemC-based Software and Communication Refinement Framework for Distributed Embedded Systems. In 13th Workshop on Synthesis And System Integration of Mixed Information Technologies, Nagoya, 2006."},{"key":"590_CR17","unstructured":"Le Moigne, R., O. Pasquier, and J.-P. Calvez. A Generic RTOS Model for Real-time Systems Simulation with SystemC. In Proceedings of Design Automation and Test in Europe - vol. 3, Paris, 2004."},{"key":"590_CR18","doi-asserted-by":"crossref","unstructured":"Madsen, J., K. Virk, and M.J. Gonzalez. A SystemC-Based Abstract Real-Time Operating System Model for Multiprocessor System-on-Chips. Multiprocessor Systems-on-Chips, Elsevier Inc., 2005.","DOI":"10.1016\/B978-012385251-9\/50025-6"},{"key":"590_CR19","unstructured":"OSEK\/VDX Operating Systems Version 2.0. OSEK\/VDX Steering Committee, 1997."},{"key":"590_CR20","doi-asserted-by":"crossref","unstructured":"Posadas, H., F. Herrera, V. Fern\u00e1ndez, P. Sanchez, E. Villar, and F. Blasco. Single Source Environment for Embedded Systems Based on SystemC. Design Automation for Embedded Systems, vol. 9, 2004.","DOI":"10.1007\/s10617-005-1199-z"},{"key":"590_CR21","unstructured":"Rose, A., S. Swan, J. Pierce, and J.-M. Fernandez. Transaction Level Modeling in SystemC. OSCI TLM Working Group White Paper, 2005."},{"key":"590_CR22","unstructured":"Samura, K. and H. Takada. \u03bcITRON Version 4.0 Specification. TRON Association."},{"key":"590_CR23","unstructured":"Siebenborn, A., O. Bringmann, and W. Rosenstiel. Communication Analysis for Network-on-Chip Design. In Proceedings of PARELEC, Dresden, September 2004."},{"key":"590_CR24","unstructured":"Siebenborn, A., O. Bringmann, and W. Rosenstiel. Communication Analysis for System-on-Chip Design. In Proceedings of Design Automation and Test in Europe (DATE), Paris, 2004."},{"key":"590_CR25","unstructured":"Yu, H., R. Doemer, and D. Gajski. Embedded Software Generation from System Level Design Languages. In Proceedings of the 2004 ASPDAC, Yokohama, 2004."},{"key":"590_CR26","doi-asserted-by":"crossref","unstructured":"Yu, H., A. Gerstlauer, and D. Gajski. RTOS Scheduling in Transaction Level Models. In Proc. of Intl. Conf. on Hardware\/Software Codesign and System Synthesis, CODES+ISSS 2003, Newport Beach, 2003.","DOI":"10.1145\/944645.944653"}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-006-0590-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10617-006-0590-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-006-0590-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T15:29:33Z","timestamp":1559230173000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10617-006-0590-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,12]]},"references-count":26,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2005,12]]}},"alternative-id":["590"],"URL":"https:\/\/doi.org\/10.1007\/s10617-006-0590-8","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"value":"0929-5585","type":"print"},{"value":"1572-8080","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,12]]}}}