{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,14]],"date-time":"2025-06-14T11:10:04Z","timestamp":1749899404674,"version":"3.41.0"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319517377"},{"type":"electronic","value":"9783319517384"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-51738-4_1","type":"book-chapter","created":{"date-parts":[[2017,1,12]],"date-time":"2017-01-12T12:51:32Z","timestamp":1484225492000},"page":"1-16","source":"Crossref","is-referenced-by-count":2,"title":["A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications"],"prefix":"10.1007","author":[{"given":"Waheed","family":"Ahmad","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bugra M.","family":"Yildiz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arend","family":"Rensink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mari\u00eblle","family":"Stoelinga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,1,13]]},"reference":[{"key":"1_CR1","unstructured":"Software Engineering Group, University of Paderborn. https:\/\/www.hni.uni-paderborn.de\/en\/software-engineering\/ . Accessed 14 Jan 2016"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Ahmad, W., H\u00f6lzenspies, P.K.F., Stoelinga, M.I.A., van de Pol, J.: Green computing: power optimisation of VFI-based real-time multiprocessor dataflow applications. In: DSD 2015, pp. 271\u2013275, August 2015","DOI":"10.1109\/DSD.2015.59"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Ahmad, W., Yildiz, B.M., Rensink, A., Stoelinga, M.: A model-driven framework for hardware-software co-design of dataflow applications. Technical report TR-CTIT-16-09, University of Twente (2016)","DOI":"10.1007\/978-3-319-51738-4_1"},{"key":"1_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4614-4821-1","volume-title":"Model-Based Design of Adaptive Embedded Systems","author":"T Basten","year":"2013","unstructured":"Basten, T., Hamberg, R., Reckers, F., Verriet, J.: Model-Based Design of Adaptive Embedded Systems. Springer Publishing Company, New York (2013)"},{"issue":"4","key":"1_CR5","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1145\/1059816.1059823","volume":"32","author":"G Behrmann","year":"2005","unstructured":"Behrmann, G., Larsen, K.G., Rasmussen, J.I.: Optimal scheduling using priced timed automata. SIGMETRICS Perform. Eval. Rev. 32(4), 34\u201340 (2005)","journal-title":"SIGMETRICS Perform. Eval. Rev."},{"key":"1_CR6","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/0-387-26151-6_8","volume-title":"Advances in Design and Specification Languages for SoCs","author":"L Bond\u00e9","year":"2005","unstructured":"Bond\u00e9, L., Dumoulin, C., Dekeyser, J.-L.: Metamodels and MDA transformations for embedded systems. In: Boulet, P. (ed.) Advances in Design and Specification Languages for SoCs, pp. 89\u2013105. Springer, New York (2005)"},{"key":"1_CR7","first-page":"139","volume":"43","author":"AR Silva da","year":"2015","unstructured":"da Silva, A.R.: Model-driven engineering: a survey supported by the unified conceptual model. Comput. Lang. Syst. Struct. 43, 139\u2013155 (2015)","journal-title":"Comput. Lang. Syst. Struct."},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Geilen, M., Basten, T., Stuijk, E.: Minimising buffer requirements of synchronous dataflow graphs with model checking. In: DAC 2005, pp. 819\u2013824 (2005)","DOI":"10.1145\/1065579.1065796"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Gray, I., Matragkas, N., Audsley, N., Indrusiak, L., Kolovos, D., Paige, R.: Model-based hardware generation and programming - the MADES approach. In: ISORCW 2011, pp. 88\u201396, March 2011","DOI":"10.1109\/ISORCW.2011.20"},{"key":"1_CR10","doi-asserted-by":"crossref","first-page":"966","DOI":"10.1016\/j.micpro.2013.09.001","volume":"37","author":"K Gr\u00fcttner","year":"2013","unstructured":"Gr\u00fcttner, K., Hartmann, P.A., Hylla, K., Rosinger, S., Nebel, W., Herrera, F., Villar, E., Brandolese, C., Fornaciari, W., Palermo, G., Ykman-Couvreur, C., Quaglia, D., Ferrero, F., Valencia, R.: The COMPLEX reference framework for HW\/SW co-design and power management supporting platform-based design-space exploration. Microprocess. Microsyst. Embed. Hardw. Des. 37, 966\u2013980 (2013)","journal-title":"Microprocess. Microsyst. Embed. Hardw. Des."},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Hausmans, J.P., Geuns, S.J., Wiggers, M.H., Bekooij, M.J.: Compositional temporal analysis model for incremental hard real-time system design. In: EMSOFT 2012, pp. 185\u2013194 (2012)","DOI":"10.1145\/2380356.2380390"},{"issue":"1s","key":"1_CR12","first-page":"61:1","volume":"12","author":"P Herber","year":"2013","unstructured":"Herber, P., Glesner, S.: A HW\/SW co-verification framework for SystemC. ACM TECS 12(1s), 61:1\u201361:23 (2013)","journal-title":"ACM TECS"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-540-69927-9_4","volume-title":"Theory and Practice of Model Transformations","author":"DS Kolovos","year":"2008","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.A.C.: The epsilon transformation language. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 46\u201360. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-69927-9_4"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Kolovos, D.S., Rose, L.M., Paige, R.F., Polack, F.A.C.: Raising the level of abstraction in the development of GMF-based graphical model editors. In: MISE 2009, pp. 13\u201319 (2009)","DOI":"10.1109\/MISE.2009.5069891"},{"key":"1_CR15","first-page":"56","volume":"56","author":"EA Lee","year":"2002","unstructured":"Lee, E.A.: Embedded software. Adv. Comput. 56, 56\u201397 (2002). http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0065245802800043","journal-title":"Adv. Comput."},{"key":"1_CR16","unstructured":"Lee, E.A., Messerschmitt, D.G.: Synchronous data flow: describing signal processing algorithm for parallel computation. In: COMPCON 1987, pp. 310\u2013315 (1987)"},{"issue":"5","key":"1_CR17","doi-asserted-by":"crossref","first-page":"695","DOI":"10.1109\/TCAD.2012.2235126","volume":"32","author":"S Park","year":"2013","unstructured":"Park, S., Park, J., Shin, D., Wang, Y., Xie, Q., Pedram, M., Chang, N.: Accurate modeling of the delay and energy overhead of dynamic voltage and frequency scaling in modern microprocessors. IEEE Trans. Comput Aided Des. Integr. Circuits Syst. (TCAD) 32(5), 695\u2013708 (2013)","journal-title":"IEEE Trans. Comput Aided Des. Integr. Circuits Syst. (TCAD)"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-642-16277-0_3","volume-title":"Model-Based Engineering of Embedded Real-Time Systems","author":"J Sprinkle","year":"2010","unstructured":"Sprinkle, J., Rumpe, B., Vangheluwe, H., Karsai, G.: Metamodelling. In: Giese, H., Karsai, G., Lee, E., Rumpe, B., Sch\u00e4tz, B. (eds.) MBEERTS 2007. LNCS, vol. 6100, pp. 57\u201376. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-16277-0_3"},{"key":"1_CR19","volume-title":"EMF: Eclipse Modeling Framework","author":"D Steinberg","year":"2008","unstructured":"Steinberg, D., Budinsky, F., Merks, E., Paternostro, M.: EMF: Eclipse Modeling Framework. Pearson Education, Boston (2008)"},{"key":"1_CR20","unstructured":"Stuijk, S.: Predictable mapping of streaming applications on multiprocessors. Ph.D. thesis (2007)"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Stuijk, S., Geilen, M., Basten, T.: SDF $$^3$$ : SDF for free. In: ACSD 2006, pp. 276\u2013278, June 2006","DOI":"10.1109\/ACSD.2006.23"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Theelen, B., Geilen, M.C.W., Basten, T., Voeten, J.P.M., Gheorghita, S.V., Stuijk, S.: A scenario-aware data flow model for combined long-run average and worst-case performance analysis. In: MEMOCODE 2006, pp. 185\u2013194 (2006)","DOI":"10.1109\/MEMCOD.2006.1695924"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Viola, P., Jones, M.: Rapid object detection using a boosted cascade of simple features. In: CVPR 2001, vol. 1, pp. I-511\u2013I-518 (2001)","DOI":"10.1109\/CVPR.2001.990517"},{"key":"1_CR24","unstructured":"V\u00f6lter, M., Stahl, T., Bettin, J., Haase, A., Helsen, S.: Model-Driven Software Development: Technology, Engineering, Management. John Wiley & Sons (2013)"},{"key":"1_CR25","unstructured":"Wiggers, M.H.. Aperiodic multiprocessor scheduling for real-time stream processing applications. Ph.D. thesis (2009)"}],"container-title":["Lecture Notes in Computer Science","Cyber Physical Systems. Design, Modeling, and Evaluation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-51738-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,14]],"date-time":"2025-06-14T10:33:11Z","timestamp":1749897191000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-51738-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319517377","9783319517384"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-51738-4_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}