{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T18:06:24Z","timestamp":1743098784114,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540877844"},{"type":"electronic","value":"9783540877851"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-87785-1_3","type":"book-chapter","created":{"date-parts":[[2008,9,24]],"date-time":"2008-09-24T05:22:11Z","timestamp":1222233731000},"page":"21-33","source":"Crossref","is-referenced-by-count":2,"title":["Model Based Synthesis of Embedded Software"],"prefix":"10.1007","author":[{"given":"Daniel D.","family":"Gajski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samar","family":"Abdi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ines","family":"Viskic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Altera SOPC Builder, http:\/\/www.altera.com\/"},{"key":"3_CR2","unstructured":"Automotive Open System Architecture, http:\/\/www.autosar.org\/"},{"key":"3_CR3","unstructured":"Embedded System Environment, http:\/\/www.cecs.uci.edu\/~ese\/"},{"key":"3_CR4","unstructured":"OSEK, http:\/\/www.osek-vdx.org\/"},{"key":"3_CR5","unstructured":"SystemC, OSCI, http:\/\/www.systemc.org\/"},{"key":"3_CR6","unstructured":"Xilinx Embedded Development Kit, http:\/\/www.xilinx.com\/"},{"key":"3_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-6127-9","volume-title":"Hardware-Software Co-Design of Embedded Systems: The POLIS Approach","author":"F. Balarin","year":"1997","unstructured":"Balarin, F., et al.: Hardware-Software Co-Design of Embedded Systems: The POLIS Approach. Kluwer, Dordrecht (1997)"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Cortadella, J., et al.: Task generation and compile time scheduling for mixed data-control embedded software. In: Proceedings of the Design Automation Conference (June 2000)","DOI":"10.1145\/337292.337553"},{"key":"3_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4515-6","volume-title":"SpecC: Specification Language and Methodology","author":"D. Gajski","year":"2000","unstructured":"Gajski, D., Zhu, J., Domer, R., Gerstlauer, A., Zhao, S.: SpecC: Specification Language and Methodology. Kluwer Academic Publishers, Dordrecht (January 2000)"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Gerstlauer, A., Shin, D., Peng, J., Domer, R., Gajski, D.D.: Automatic, layer-based generation of system-on-chip bus communication models. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems\u00a026(9) (September 2007)","DOI":"10.1109\/TCAD.2007.895794"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Guthier, L., Yoo, S., Jerraya, A.: Automatic generation and targeting of application specific operating systems and embedded systems software. In: Proceedings of the Design Automation and Test Conference in Europe, pp. 679\u2013685 (2001)","DOI":"10.1109\/DATE.2001.915098"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Herrera, F., Posadas, H., Snchez, P., Villar, E.: Systematic embedded software generation from systemc. In: Proceedings of the Design Automation and Test Conference in Europe (2003)","DOI":"10.1109\/DATE.2003.1253600"},{"key":"3_CR13","first-page":"2","volume-title":"SEAS 2007: Proceedings of the 4th International Workshop on Software Engineering for Automotive Systems","author":"H. Kopetz","year":"2007","unstructured":"Kopetz, H., Obermaisser, R., Salloum, C.E., Huber, B.: Automotive software development for a multi-core system-on-a-chip. In: SEAS 2007: Proceedings of the 4th International Workshop on Software Engineering for Automotive Systems, Washington, DC, USA, p. 2. IEEE Computer Society, Los Alamitos (2007)"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Krause, M., Bringmann, O., Rosenstiel, W.: Target software generation: an approach for automatic mapping of systemc specifications onto real-time operating systems. Design Automation for Embedded Systems\u00a010(4) (December 2005)","DOI":"10.1007\/s10617-006-0590-8"},{"key":"3_CR15","unstructured":"Makkelainen, T.: Hds from system-house perspective. In: Hardware dependent Software Workshop at DAC (2007)"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Nacul, A.C., Givargis, T.: Lightweight multitasking support for embedded systems using the phantom serializing compiler. In: Proceedings of the Design Automation and Test Conference in Europe, pp. 742\u2013747 (2005)","DOI":"10.1109\/DATE.2005.197"},{"key":"3_CR17","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1145\/1176254.1176327","volume-title":"CODES+ISSS 2006: Proceedings of the 4th international conference on Hardware\/software codesign and system synthesis","author":"S. Pasricha","year":"2006","unstructured":"Pasricha, S., Park, Y.-H., Kurdahi, F.J., Dutt, N.: System-level power-performance trade-offs in bus matrix communication architecture synthesis. In: CODES+ISSS 2006: Proceedings of the 4th international conference on Hardware\/software codesign and system synthesis, pp. 300\u2013305. ACM, New York (2006)"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Pinto, A., Carloni, L.P., Sangiovanni-Vincentelli, A.L.: Constraint-driven communication synthesis. In: Proceedings of the Design Automation Conference, pp. 783\u2013788 (2002)","DOI":"10.1145\/513918.514114"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Ritz, S., et al.: High-level software synthesis for the design of communication systems. IEEE Journal on Selected Areas in Communications (April 1993)","DOI":"10.1109\/49.219550"},{"key":"3_CR20","unstructured":"Ryu, K.K., Mooney, V.: Automated bus generation for multiprocessor soc design. In: Proceedings of the Design Automation and Test Conference in Europe, p. 10282 (2003)"},{"key":"3_CR21","unstructured":"Sangiovanni-Vincentelli, A., et al.: A next-generation design framework for platform-based design. In: Conference on Using Hardware Design and Verification Languages (DVCon) (February 2007)"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Schirner, G., Gerstlauer, A., D\u00f6mer, R.: Automatic generation of hardware dependent software for mpsocs from abstract system specifications. In: Proceedings of the Asia-Pacific Design Automation Conference, pp. 271\u2013276 (2008)","DOI":"10.1109\/ASPDAC.2008.4483954"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Yu, H., D\u00f6mer, R., Gajski, D.: Embedded software generation from system level design languages. In: Proceedings of the Asia-Pacific Design Automation Conference, pp. 463\u2013468 (2004)","DOI":"10.1109\/ASPDAC.2004.1337620"}],"container-title":["Lecture Notes in Computer Science","Software Technologies for Embedded and Ubiquitous Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87785-1_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T02:02:28Z","timestamp":1738375348000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87785-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540877844","9783540877851"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87785-1_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}