{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,15]],"date-time":"2024-08-15T07:47:27Z","timestamp":1723708047076},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2013,10,1]],"date-time":"2013-10-01T00:00:00Z","timestamp":1380585600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Electron Test"],"published-print":{"date-parts":[[2013,10]]},"DOI":"10.1007\/s10836-013-5409-5","type":"journal-article","created":{"date-parts":[[2013,10,21]],"date-time":"2013-10-21T00:39:44Z","timestamp":1382315984000},"page":"647-667","source":"Crossref","is-referenced-by-count":7,"title":["On the Reuse of Heterogeneous IPs into SysML Models for Integration Validation"],"prefix":"10.1007","volume":"29","author":[{"given":"Nicola","family":"Bombieri","sequence":"first","affiliation":[]},{"given":"Emad","family":"Ebeid","sequence":"additional","affiliation":[]},{"given":"Franco","family":"Fummi","sequence":"additional","affiliation":[]},{"given":"Michele","family":"Lora","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,10,22]]},"reference":[{"key":"5409_CR1","doi-asserted-by":"crossref","unstructured":"Anda B, Sjoberg DIK (2003) Applying use cases to design versus validate class diagrams\u2014a controlled experiment using a professional modeling tool. In: Proceedings of international symposium on empirical software engineering, pp 50\u201360","DOI":"10.1109\/ISESE.2003.1237964"},{"key":"5409_CR2","unstructured":"Atego. Artisan Studio. http:\/\/www.atego.com"},{"issue":"1","key":"5409_CR3","doi-asserted-by":"crossref","first-page":"436328","DOI":"10.1155\/2010\/436328","volume":"2010","author":"N Bombieri","year":"2010","unstructured":"Bombieri N, Di Guglielmo G, Ferrari M, Fummi F, Pravadelli G, Stefanni F, Venturelli A (2010) HIFSuite: Tools for HDL code conversion and manipulation. EURASIP J Embed Syst 2010(1): 436328","journal-title":"EURASIP J Embed Syst"},{"key":"5409_CR4","doi-asserted-by":"crossref","unstructured":"Bombieri N, Ebeid E, Fummi F, Lora M (2012) On the reuse of RTL IPs for SysML model generation. In 13th international workshop on microprocessor test and verification (MTV), pp 54\u201359","DOI":"10.1109\/MTV.2012.10"},{"key":"5409_CR5","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/s10617-012-9092-z","volume":"16","author":"N Bombieri","year":"2012","unstructured":"Bombieri N, Fummi F, Guarnieri V, Stefanni F, Vinco S (2012) HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels. Des Autom Embed Syst 16:115\u2013135","journal-title":"Des Autom Embed Syst"},{"key":"5409_CR6","doi-asserted-by":"crossref","unstructured":"Bombieri N, Fummi F, Pravadelli G (2010) Abstraction of rtl ips into embedded software. In: Proceedings of 47th ACM\/IEEE design automation conference (DAC \u201910), pp 24\u201329","DOI":"10.1145\/1837274.1837283"},{"issue":"12","key":"5409_CR7","doi-asserted-by":"crossref","first-page":"1730","DOI":"10.1109\/TC.2010.187","volume":"60","author":"N Bombieri","year":"2011","unstructured":"Bombieri N, Fummi F, Pravadelli G (2011) Automatic abstraction of RTL IPs into equivalent TLM descriptions.IEEE Trans Comput 60(12):1730\u20131743","journal-title":"IEEE Trans Comput"},{"key":"5409_CR8","doi-asserted-by":"crossref","unstructured":"Bouquet F, Gauthier J, Hammad A, Peureux F (2012) Transformation of SysML structure diagrams to VHDL-AMS. In: Second workshop on design, control and software implementation for distributed MEMS (dMEMS), pp 74\u201381","DOI":"10.1109\/dMEMS.2012.12"},{"key":"5409_CR9","doi-asserted-by":"crossref","unstructured":"Destro P, Fummi F, Pravadelli G (2007) A Smooth Refinement Flow for Co-designing HW and SW Threads. In: Proceedings of the ACM\/IEEE design automation Test in europe conference exhibition, 2007 (DATE \u201907), pp 1\u20136","DOI":"10.1109\/DATE.2007.364575"},{"issue":"1","key":"5409_CR10","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1109\/JPROC.2011.2160929","volume":"100","author":"P Derler","year":"2012","unstructured":"Derler P, Lee EA, Vincentelli A-S (2012) Modeling cyber physical systems. Proc IEEE 100(1):13\u201328","journal-title":"Proc IEEE"},{"issue":"2","key":"5409_CR11","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1109\/TC.2012.156","volume":"62","author":"L Di Guglielmo","year":"2012","unstructured":"Di Guglielmo L, Fummi F, Pravadelli G, Stefanni F, Vinco S (2012) UNIVERCM: the UNIversal VERsatile computational model for heterogeneous system integration. IEEE Trans Comput 62(2):225\u2013241","journal-title":"IEEE Trans Comput"},{"key":"5409_CR12","unstructured":"EDALab s.r.l. HIFSuite http:\/\/www.hifsuite.com."},{"key":"5409_CR13","unstructured":"Ferrari A, Mangeruca L, Ferrante O, Mignogna A (2012) Desyreml: a sysml profile for heterogeneous embedded systems"},{"key":"5409_CR14","unstructured":"Fowler M (2003) UML Distilled, a brief guide to the standard object modeling language, 3rd edn. Addison-Wesley Professional"},{"key":"5409_CR15","unstructured":"FreeHDL-V2CC. http:\/\/linux.die.net\/man\/1\/freehdl-v2cc"},{"key":"5409_CR16","doi-asserted-by":"crossref","unstructured":"Gajski DD, Wu AC-H, Chaiyakul V, Mori S, Nukiyama T, Bricaud P (2000) Essential issues for IP reuse. In: Proceedings of asian and south pacific design automation conference (ASP-DAC 2000), pp 37\u201342","DOI":"10.1109\/ASPDAC.2000.835067"},{"issue":"1","key":"5409_CR17","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1109\/TVLSI.2005.863187","volume":"14","author":"A Habibi","year":"2006","unstructured":"Habibi A, Tahar S (2006) Design and verification of systemc transaction-level models. IEEE Trans Very Large Scale Integr (VLSI) Syst 14(1):57\u201368","journal-title":"IEEE Trans Very Large Scale Integr (VLSI) Syst"},{"key":"5409_CR18","unstructured":"Harding N (2004) A real time Java UML 2.0 profile. In: Open control systems - The importance of industrial standards, pp 8\/1\u2013816"},{"key":"5409_CR19","doi-asserted-by":"crossref","unstructured":"Herrera F, Posadas H, Sanchez P, Villar E (2003) Systematic embedded software generation from SystemC. In: Proceedings of the ACM\/IEEE design automation and test in Europe conference and exhibition, 2003 (DATE \u201903), pp 142\u2013147","DOI":"10.1109\/DATE.2003.1253600"},{"key":"5409_CR20","unstructured":"IBM. IBM Core Connect. http:\/\/www.chips.ibm.com\/products\/powerpc\/cores"},{"key":"5409_CR21","unstructured":"IEEE (2012) IEEE standard for air interface for broadband wireless access systems \u2013 http:\/\/standards.ieee.org\/getieee802\/download\/802.16-2012.pdf"},{"issue":"4","key":"5409_CR22","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1049\/ip-sen:19990602","volume":"146","author":"YG Kim","year":"1999","unstructured":"Kim YG, Hong HS, Bae DH, Cha SD (1999) Test cases generation from UML state diagrams. IEE Proc Softw 146(4):187\u2013192","journal-title":"IEE Proc Softw"},{"key":"5409_CR23","doi-asserted-by":"crossref","unstructured":"Kobryn C (1998) Modeling enterprise software architectures using UML. In: Proceedings of 2nd international enterprise distributed object computing workshop, pp 25\u201334","DOI":"10.1109\/EDOC.1998.723239"},{"issue":"4","key":"5409_CR24","doi-asserted-by":"crossref","first-page":"1885","DOI":"10.1007\/s11277-012-0786-0","volume":"70","author":"MA Mohamed","year":"2013","unstructured":"Mohamed MA (2013) FPGA Synthesis of VHDL OFDM System. Wirel Pers Commun 70(4):1885\u20131909","journal-title":"Wirel Pers Commun"},{"key":"5409_CR25","doi-asserted-by":"crossref","unstructured":"Mueller W, He D, Mischkalla F, Wegele A, Whiston P, PeAs andil P, Villar E, Mitas N, Kritharidis D, Azcarate F, Carballeda M (2010) The SATURN Approach to SysML-Based HW\/SW Codesign. In: Proceedings of IEEE computer society annual symposium on VLSI (ISVLSI \u201910), pp 506\u2013511","DOI":"10.1109\/ISVLSI.2010.95"},{"key":"5409_CR26","unstructured":"Nguyen KD, Zhenxin S, Thiagarajan PS, Wong W-F (2004) Model-driven SoC design via executable UML to SystemC. In: Proceedings of real-time systems symposium, pp 459\u2013468"},{"key":"5409_CR27","unstructured":"Object Management Group. SysML http:\/\/www.sysml.org"},{"key":"5409_CR28","unstructured":"Open Management Group. OMG UML: Unified Modeling Language"},{"key":"5409_CR29","unstructured":"OSTATIC. VHDLC. http:\/\/ostatic.com\/vhdlc"},{"key":"5409_CR30","doi-asserted-by":"crossref","unstructured":"Riccobene E, Scandurra P, Rosti A, Bocchio S (2005) A SoC design methodology involving a UML 2.0 profile for SystemC. In: Proceedings of design automation and test in Europe (DATE \u201905), vol 2, pp 704\u2013709","DOI":"10.1109\/DATE.2005.37"},{"key":"5409_CR31","doi-asserted-by":"crossref","unstructured":"Smith M (1995) Graphical modelling and design with automatic code generation. In: IEE colloquium on partitioning in hardware-software codesigns, pp 8\/1\u20138\/4","DOI":"10.1049\/ic:19950174"},{"issue":"1","key":"5409_CR32","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1049\/ess:20030104","volume":"1","author":"W Stoye","year":"2003","unstructured":"Stoye W, Greaves D, Richards N, Green J (2003) Using RTL-to-C++ translation for large soc concurrent engineering: a case study. Electron Syst Softw 1(1):20\u201325","journal-title":"Electron Syst Softw"},{"key":"5409_CR33","doi-asserted-by":"crossref","first-page":"587","DOI":"10.1007\/978-3-540-71493-4_45","volume-title":"In: Proceedings of the 10th international conference on Hybrid systems: computation and control, HSCC\u201907","author":"DA Van Beek","year":"2007","unstructured":"Van Beek DA, Reniers MA, Schiffelers RRH, Rooda JE (2007) Foundations of a compositional interchange format for hybrid systems In: Proceedings of the 10th international conference on Hybrid systems: computation and control, HSCC\u201907. Springer-Verlag, Berlin, pp 587\u2013600"},{"issue":"4","key":"5409_CR35","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/s10617-008-9028-9","volume":"12","author":"Y Vanderperren","year":"2008","unstructured":"Vanderperren Y, Mueller W, Dehaene W (2008) UML for electronic systems design: a comprehensive overview. Des Autom Embed Syst 12(4):261\u2013292","journal-title":"Des Autom Embed Syst"},{"issue":"10","key":"5409_CR37","doi-asserted-by":"crossref","first-page":"1357","DOI":"10.1109\/TC.2008.123","volume":"57","author":"SK Wood","year":"2008","unstructured":"Wood SK, Akehurst DH, Uzenkov O, Howells WGJ, McDonald-Maier KD (2008) A model-driven development approach to mapping UML state diagrams to synthesizable VHDL. IEEE Trans Comput 57(10):1357\u20131371","journal-title":"IEEE Trans Comput"},{"key":"5409_CR39","doi-asserted-by":"crossref","unstructured":"Xi C, Hua LJ, ZuCheng Z, YaoHui S (2005) Modeling SystemC design in UML and automatic code generation. In: Proceedings of asia and south pacific design automation conference (ASP-DAC \u201905), vol 2, pp 932\u2013935","DOI":"10.1145\/1120725.1120760"}],"container-title":["Journal of Electronic Testing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10836-013-5409-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10836-013-5409-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10836-013-5409-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,30]],"date-time":"2019-07-30T21:29:21Z","timestamp":1564522161000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10836-013-5409-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10]]},"references-count":36,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2013,10]]}},"alternative-id":["5409"],"URL":"https:\/\/doi.org\/10.1007\/s10836-013-5409-5","relation":{},"ISSN":["0923-8174","1573-0727"],"issn-type":[{"value":"0923-8174","type":"print"},{"value":"1573-0727","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,10]]}}}