{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T13:17:45Z","timestamp":1648732665797},"reference-count":59,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2015,4,17]],"date-time":"2015-04-17T00:00:00Z","timestamp":1429228800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Des Autom Embed Syst"],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1007\/s10617-015-9161-1","type":"journal-article","created":{"date-parts":[[2015,4,16]],"date-time":"2015-04-16T10:10:42Z","timestamp":1429179042000},"page":"389-419","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Towards closing the specification gap by integrating algorithm-level and system-level design"],"prefix":"10.1007","volume":"19","author":[{"given":"Jiaxing","family":"Zhang","sequence":"first","affiliation":[]},{"given":"Gunar","family":"Schirner","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,4,17]]},"reference":[{"issue":"1","key":"9161_CR1","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/s10766-005-0001-y","volume":"34","author":"S Abdi","year":"2006","unstructured":"Abdi S, Gajski D (2006) Verification of system level model transformations. Int J Parallel Program 34(1):29\u201359","journal-title":"Int J Parallel Program"},{"key":"9161_CR2","doi-asserted-by":"crossref","unstructured":"Altintas I, Berkley C, Jaeger E, Jones M, Ludascher B, Mock S (2004) Kepler: an extensible system for design and execution of scientific workflows. In: Proceedings of the 16th international conference on scientific and statistical database management, pp 423\u2013424","DOI":"10.1109\/SSDM.2004.1311241"},{"key":"9161_CR3","unstructured":"Baleani M, Ferrari A, Mangeruca L, Sangiovanni-vincentelli AL, Freund U, Schlenker E, J. Wolff H (2005) Correct-by-construction transformations across design environments for modelbased embedded software development. In: Proceedings of the conference on design, automation and test in Europe (DATE)"},{"key":"9161_CR4","unstructured":"Boland JF, Thibeault C, Zilic Z (2005) Using MATLAB and simulink in a SystemC verification environment. In: Proceedings of design and verification conference, DVCon"},{"key":"9161_CR5","doi-asserted-by":"crossref","unstructured":"Cai L, Gerstlauer A, Gajski DD (2004) Retargetable profiling for rapid, early system-level design space exploration. In: Proceedings of the design automation conference (DAC). San Diego, CA","DOI":"10.1145\/996566.996651"},{"key":"9161_CR6","doi-asserted-by":"crossref","unstructured":"Cai L, Gerstlauer A, Gajski DD (2005) Multi-metric and multi-entity characterization of applications for early system design exploration. In: Proceedings of the Asia and South Pacific design automation conference (ASPDAC). Shanghai, China","DOI":"10.1109\/ASPDAC.2005.1466495"},{"key":"9161_CR7","doi-asserted-by":"crossref","unstructured":"Cain J, McCrindle R (2002) An investigation into the effects of code coupling on team dynamics and productivity. In: Proceedings of the 26th annual international computer software and applications conference (COMPSAC 2002). pp 907\u2013913","DOI":"10.1109\/CMPSAC.2002.1045121"},{"key":"9161_CR8","doi-asserted-by":"crossref","unstructured":"Caspi P, Curic A, Maignan A, Sofronis C, Tripakis S, Niebert P (2003) From simulink to scade\/lustre to tta: A layered approach for distributed embedded applications. In: Proceedings of the 2003 ACM SIGPLAN conference on language, compiler, and tool for embedded systems, LCTES \u201903. ACM, New York, NY, USA, pp 153\u2013162","DOI":"10.1145\/780732.780754"},{"key":"9161_CR9","unstructured":"Chandraiah P, D\u00f6mer R (2005) Specification and design of a MP3 audio decoder. Technical Report CECS-TR-05-04, University of California, Irvine"},{"issue":"6","key":"9161_CR10","doi-asserted-by":"crossref","first-page":"1078","DOI":"10.1109\/TCAD.2008.923244","volume":"27","author":"P Chandraiah","year":"2008","unstructured":"Chandraiah P, D\u00f6mer R (2008) Code and data structure partitioning for parallel and flexible MPSoC specification using designer-controlled recoding. IEEE Trans Comput-Aided Des Integr Circuits Syst 27(6):1078\u20131090","journal-title":"IEEE Trans Comput-Aided Des Integr Circuits Syst"},{"key":"9161_CR11","unstructured":"Chaturvedi DK (2009) Modeling and simulation of systems using Matlab\/Simulink, pp 1\u2013733"},{"key":"9161_CR12","unstructured":"Dassault (2013) Dymola dynamic modeling laboratory, dymola release notes"},{"key":"9161_CR13","doi-asserted-by":"crossref","unstructured":"Dmer R, Gerstlauer A, Peng J, Shin D, Cai L, Yu H, Abdi S, Gajski DD (2008) System-on-chip environment: a SpecC-based framework for heterogeneous MPSoC design 2008, 5, 15: 13","DOI":"10.1155\/2008\/647953"},{"key":"9161_CR14","unstructured":"D\u00f6mer R (1999) The SpecC internal representation. Technical report, Information and Computer Science, University of California, Irvine. SpecC V 2.0.3"},{"key":"9161_CR15","doi-asserted-by":"crossref","unstructured":"D\u00f6mer R (2010) Computer-aided recoding for multi-core systems. In: Design automation conference (ASP-DAC), 2010 15th Asia and South Pacific, pp 713\u2013716","DOI":"10.1109\/ASPDAC.2010.5419796"},{"key":"9161_CR16","unstructured":"D\u00f6mer R, Zhu J, Gajski DD (1998) The SpecC language reference manual. Technical report, SpecC Technology Open Consortium"},{"key":"9161_CR17","unstructured":"GmbH DsPaCe (2004) Guide. TargetLink Production Code Generation. V2.0"},{"issue":"1","key":"9161_CR18","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1109\/JPROC.2002.805829","volume":"91","author":"J Eker","year":"2003","unstructured":"Eker J, Janneck J, Lee E, Liu J, Liu X, Ludvig J, Neuendorffer S, Sachs S, Xiong Y (2003) Taming heterogeneity-the ptolemy approach. Proc IEEE 91(1):127\u2013144","journal-title":"Proc IEEE"},{"key":"9161_CR19","volume-title":"SDL: formal object-oriented language for communicating systems","author":"J Ellsberger","year":"1997","unstructured":"Ellsberger J, Hogrefe D, Sarma A (1997) SDL: formal object-oriented language for communicating systems. Prentice Hall, New Jersey"},{"key":"9161_CR20","unstructured":"ETAS: Ascet. http:\/\/www.etas.de . In: online"},{"key":"9161_CR21","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1109\/92.661251","volume":"6","author":"D Gajski","year":"1998","unstructured":"Gajski D, Vahid F, Narayan S, Gong J (1998) SpecSyn: an environment supporting the specify-explore-refine paradigm for Hardware\/Software system design. IEEE Trans VLSI Syst 6:84\u2013100","journal-title":"IEEE Trans VLSI Syst"},{"key":"9161_CR22","volume-title":"Principles of digital design","author":"DD Gajski","year":"1997","unstructured":"Gajski DD (1997) Principles of digital design. Prentice Hall, New Jersey"},{"key":"9161_CR23","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-4515-6","volume-title":"SpecC: specification language and design methodology","author":"DD Gajski","year":"2000","unstructured":"Gajski DD, Zhu J, D\u00f6mer R, Gerstlauer A, Zhao S (2000) SpecC: specification language and design methodology. Kluwer Academic Publishers, Basel"},{"key":"9161_CR24","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/103085.103090","volume":"34","author":"DL Gall","year":"1991","unstructured":"Gall DL (1991) MPEG: a video compression standard for multimedia applications. Commun ACM 34:46\u201358","journal-title":"Commun ACM"},{"key":"9161_CR25","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-1481-7","volume-title":"System design: a practical guide with SpecC","author":"A Gerstlauer","year":"2001","unstructured":"Gerstlauer A, D\u00f6mer R, Peng J, Gajski DD (2001) System design: a practical guide with SpecC. Kluwer Academic Publishers, Basel"},{"key":"9161_CR26","unstructured":"Gerstlauer A, Zhao S, Gajski D, Horak A (2000) SpecC system-level design methodology applied to the design of a GSM vocoder. In: Proceedings of the workshop of synthesis and system integration of mixed information technologies"},{"issue":"3","key":"9161_CR27","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MWC.2010.5490974","volume":"17","author":"A Ghosh","year":"2010","unstructured":"Ghosh A, Ratasuk R, Mondal B, Mangalvedhe N, Thomas T (2010) Lte-advanced: next-generation wireless broadband technology [invited paper]. Wireless Commun IEEE 17(3):10\u201322","journal-title":"Wireless Commun IEEE"},{"key":"9161_CR28","doi-asserted-by":"crossref","unstructured":"Gruttner K, Hylla K, Rosinger S, Nebel W (2010) Towards an esl framework for timing and power aware rapid prototyping of hw\/sw systems. In: Proceedings of the specification design languages (FDL 2010), 2010 Forum on, pp 1\u20136","DOI":"10.1049\/ic.2010.0129"},{"key":"9161_CR29","unstructured":"Ha S, Lee C, Yi Y, Kwon S, Joo YP (2006) Hardware-software codesign of multimedia embedded systems: the peace. In: Proceedings of the 12th IEEE international conference, embedded and real-time computing systems and applications, 2006, pp 207\u2013214"},{"issue":"2","key":"9161_CR30","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/j.vlsi.2008.08.003","volume":"42","author":"SI Han","year":"2009","unstructured":"Han SI, Chae SI, Brisolara L, Carro L, Popovici K, Guerin X, Jerraya AA, Huang K, Li L, Yan X (2009) Simulink-based heterogeneous multiprocessor SoC design flow for mixed hardware\/software refinement and simulation. Integration, the VLSI Journal 42(2):227\u2013245","journal-title":"Integration, the VLSI Journal"},{"key":"9161_CR31","doi-asserted-by":"crossref","unstructured":"Hochstein L, Carver J, Shull F, Asgari S, Basili V, Hollingsworth J, Zelkowitz M (2005). Parallel programmer productivity: a case study of novice parallel programmers. In: Supercomputing, 2005. Proceedings of the ACM\/IEEE SC 2005 conference, pp 35\u201335","DOI":"10.1109\/SC.2005.53"},{"key":"9161_CR32","volume-title":"LabVIEW Graphical Programming: Practical Applications in Instrumentation and Control","author":"GW Johnson","year":"1997","unstructured":"Johnson GW (1997) LabVIEW Graphical Programming: Practical Applications in Instrumentation and Control, 2nd edn. McGraw-Hill, McGraw-Hill School Education Group","edition":"2"},{"key":"9161_CR33","doi-asserted-by":"crossref","unstructured":"Kienhuis B, Rijpkema E, Deprettere E (2000) Compaan: deriving process networks from matlab for embedded signal processing architectures. In: Proceedings of the eighth international workshop on hardware\/software codesign, 2000. CODES 2000, pp 13\u201317","DOI":"10.1145\/334012.334015"},{"key":"9161_CR34","doi-asserted-by":"crossref","unstructured":"Marchioro G, Daveau JM, Jerraya A (1997) Transformational partitioning for co-design of multiprocessor systems. In: 1997 IEEE\/ACM International Conference on Computer-Aided Design, 1997. Digest of Technical Papers, pp 508\u2013515","DOI":"10.1109\/ICCAD.1997.643585"},{"key":"9161_CR35","doi-asserted-by":"crossref","DOI":"10.1007\/b135980","volume-title":"UML for SOC Design","author":"G Martin","year":"2005","unstructured":"Martin G, Mueller W (2005) UML for SOC Design. Springer, Dordrecht"},{"key":"9161_CR36","unstructured":"The MathWorks Inc (1993) Natick. MATLAB and Simulink, MA"},{"key":"9161_CR37","unstructured":"The MathWorks Inc: Simulink embedded coder reference R2011b (2011)"},{"key":"9161_CR38","unstructured":"The Mathworks Inc: Untimed SystemC\/TLM Simulation (2012b)"},{"key":"9161_CR39","volume-title":"Executable UML: a foundation for model-driven architecture","author":"SJ Mellor","year":"2002","unstructured":"Mellor SJ, Balcer MJ (2002) Executable UML: a foundation for model-driven architecture, 1st edn. Addison-Wesley Professional, New York","edition":"1"},{"key":"9161_CR40","doi-asserted-by":"crossref","unstructured":"Mueller W, D\u00f6mer R, Gerstlauer A (2002) The formal execution semantics of SpecC. In: Proceedings of the international symposium on system synthesis. Kyoto, Japan","DOI":"10.1145\/581199.581234"},{"key":"9161_CR41","doi-asserted-by":"crossref","unstructured":"Nacci AA, Rana V, Bruschi F, Sciuto D, Beretta I, Atienza D (2013) A high-level synthesis flow for the implementation of iterative stencil loop algorithms on fpga devices. In: Proceedings of the 50th annual design automation conference, DAC \u201913, pp. 52:1\u201352:6. ACM, New York, NY, USA","DOI":"10.1145\/2463209.2488797"},{"key":"9161_CR42","unstructured":"Open SystemC Initiative (2000) Functional specification for systemC 2.0"},{"key":"9161_CR43","doi-asserted-by":"crossref","unstructured":"Popinchalk S, Glass J, Shenoy R, Aberg R (2007) Working in teams: Modeling and control design within a single software environment","DOI":"10.2514\/6.2007-6882"},{"key":"9161_CR44","unstructured":"Popovici K (2008) Multilevel programming environment for heterogeneous MPSoC architectures. PhD, Institut National Polytechnique de Grenoble, Grenoble"},{"key":"9161_CR45","doi-asserted-by":"crossref","unstructured":"Posadas H, Herrera F, Sanchez P, Villar E, Blasco F (2004) System-level performance analysis in systemc. In: Proceedings of the design, automation and test in Europe conference and exhibition, 2004. vol. 1, pp 378\u2013383","DOI":"10.1109\/DATE.2004.1268876"},{"key":"9161_CR46","unstructured":"Riccobene E, Scandurra P, Rosti A, Bocchio S (2005) A SoC design methodology involving a UML 2.0 profile for SystemC. In: Design, automation, and test in Europe, pp 704\u2013709"},{"key":"9161_CR47","doi-asserted-by":"crossref","unstructured":"Sangiovanni-Vincentelli A, Martin G Platform-based design and software design methodology for embedded systems 18(6), 23\u201333","DOI":"10.1109\/54.970421"},{"key":"9161_CR48","doi-asserted-by":"crossref","unstructured":"Schirrmeister F, Sangiovanni-Vincentelli A (2001) Virtual component co-design-applying function architecture co-design to automotive applications. In: Proceedings of the IEEE international vehicle electronics conference, 2001. IVEC 2001. pp 221\u2013226","DOI":"10.1109\/IVEC.2001.961757"},{"issue":"4","key":"9161_CR49","doi-asserted-by":"crossref","first-page":"466","DOI":"10.1109\/TVLSI.2007.915390","volume":"16","author":"D Shin","year":"2008","unstructured":"Shin D, Gerstlauer A, Domer R, Gajski D (2008) An interactive design environment for c-based high-level synthesis of rtl processors. Very Large Scale Integr (VLSI) Syst IEEE Trans 16(4):466\u2013475","journal-title":"Very Large Scale Integr (VLSI) Syst IEEE Trans"},{"key":"9161_CR50","doi-asserted-by":"crossref","unstructured":"Sullivan C, Wilson A, Chappell S (2004) Using c based logic synthesis to bridge the productivity gap. In: Proceedings of the 2004 Asia and South Pacific design automation conference, ASP-DAC \u201904, p 349354. IEEE Press, Piscataway, NJ, USA","DOI":"10.1109\/ASPDAC.2004.1337598"},{"key":"9161_CR51","doi-asserted-by":"crossref","unstructured":"Thompson M, Nikolov H, Stefanov T, Pimentel A, Erbas C, Polstra S, Deprettere E (2007) A framework for rapid system-level exploration, synthesis, and programming of multimedia mp-socs. In: Proceedings of the 5th IEEE\/ACM\/IFIP International Conference Hardware\/Software codesign and system synthesis (CODES+ISSS), 2007, pp. 9\u201314","DOI":"10.1145\/1289816.1289823"},{"issue":"4","key":"9161_CR52","doi-asserted-by":"crossref","first-page":"779","DOI":"10.1145\/1113830.1113834","volume":"4","author":"S Tripakis","year":"2005","unstructured":"Tripakis S, Sofronis C, Caspi P, Curic A (2005) Translating discrete-time simulink to lustre. ACM Trans Embed Comput Syst 4(4):779\u2013818","journal-title":"ACM Trans Embed Comput Syst"},{"key":"9161_CR53","unstructured":"Vanderperren Y, Dehaene W (2006) From UML\/SysML to Matlab\/Simulink: current state and future perspectives. In: Proceedings of the design, automation and test in Europe, 2006. DATE \u201906. vol. 1, pp 1\u20131"},{"key":"9161_CR54","doi-asserted-by":"crossref","unstructured":"Viskic I, D\u00f6mer R (2006) A flexible, syntax independent representation (SIR) for system level design models. In: Proceedings of the 9th EUROMICRO Conference on, digital system design: architectures, methods and tools, 2006. DSD 2006. p 288294","DOI":"10.1109\/DSD.2006.6"},{"issue":"12","key":"9161_CR55","doi-asserted-by":"crossref","first-page":"1507","DOI":"10.1109\/43.898829","volume":"19","author":"K Wakabayashi","year":"2000","unstructured":"Wakabayashi K, Okamoto T (2000) C-based SoC design flow and EDA tools: an ASIC and system vendor perspective. IEEE Trans Comput Aided Des Integr Circuits Syst 19(12):1507\u20131522","journal-title":"IEEE Trans Comput Aided Des Integr Circuits Syst"},{"issue":"7","key":"9161_CR56","first-page":"560","volume":"13","author":"T Wiegand","year":"2003","unstructured":"Wiegand T, Sullivan GJ, Bjontegaard G, Luthra A (2003) Overview of the h. 264\/avc video coding standard. Circuits and systems for video technology. IEEE Trans 13(7):560\u2013576","journal-title":"IEEE Trans"},{"issue":"3","key":"9161_CR57","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1109\/MS.2003.1196317","volume":"20","author":"W Wood","year":"2003","unstructured":"Wood W, Kleb W (2003) Exploring xp for scientific research. Software, IEEE 20(3):30\u201336","journal-title":"Software, IEEE"},{"key":"9161_CR58","doi-asserted-by":"crossref","unstructured":"Yu H, D\u00f6mer R, Gajski D (2004) Embedded software generation from system level design languages. In: Proceedings of the Asia and South pacific design automation conference (ASPDAC). Yokohama, Japan","DOI":"10.1109\/ASPDAC.2004.1337620"},{"key":"9161_CR59","volume-title":"Theory of modeling and simulation: integrating discrete event and continuous complex dynamic systems","author":"BP Zeigler","year":"2000","unstructured":"Zeigler BP, Praehofer H, Kim TG (2000) Theory of modeling and simulation: integrating discrete event and continuous complex dynamic systems. Academic press, Cypress"}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-015-9161-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10617-015-9161-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-015-9161-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,23]],"date-time":"2019-08-23T11:39:05Z","timestamp":1566560345000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10617-015-9161-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4,17]]},"references-count":59,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2015,12]]}},"alternative-id":["9161"],"URL":"https:\/\/doi.org\/10.1007\/s10617-015-9161-1","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"value":"0929-5585","type":"print"},{"value":"1572-8080","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,4,17]]}}}