{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T05:45:18Z","timestamp":1675921518324},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2009,12,22]],"date-time":"2009-12-22T00:00:00Z","timestamp":1261440000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2010,3]]},"DOI":"10.1007\/s11334-009-0105-4","type":"journal-article","created":{"date-parts":[[2009,12,21]],"date-time":"2009-12-21T05:08:33Z","timestamp":1261372113000},"page":"65-71","source":"Crossref","is-referenced-by-count":7,"title":["Generating heterogeneous executable specifications in SystemC from UML\/MARTE models"],"prefix":"10.1007","volume":"6","author":[{"given":"P.","family":"Pe\u00f1il","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Medina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Posadas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Villar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,12,22]]},"reference":[{"key":"105_CR1","volume-title":"Modeling embedded systems and SoCs","author":"A Jantsch","year":"2004","unstructured":"Jantsch A (2004) Modeling embedded systems and SoCs. Morgan Kaufmann, Menlo Park"},{"key":"105_CR2","unstructured":"Object Management Group (2008) UML profile for MARTE, beta 2. OMG document number: ptc\/08-07-09"},{"key":"105_CR3","doi-asserted-by":"crossref","unstructured":"Herrera F, Villar E (2006) A framework for embedded system specification under different models of computation in SystemC. In: Annual ACM IEEE design automation conference proceedings of the 43rd annual conference on design automation","DOI":"10.1145\/1146909.1147140"},{"key":"105_CR4","unstructured":"Herrera F, Villar E (2008) A framework for heterogeneous specification and design of electronic embedded systems in SystemC. In: ACM transactions on design automation of electronic systems, special issue on demonstrable software systems and hardware platforms, V.12, Issue 3, N. 22. 2007\u201308"},{"key":"105_CR5","doi-asserted-by":"crossref","unstructured":"Vanderperren Y, Mueller W, Dehaene W (2008) UML for electronic systems design: a comprehensive overview. J Des Autom Embed Syst","DOI":"10.1007\/s10617-008-9028-9"},{"key":"105_CR6","doi-asserted-by":"crossref","unstructured":"Lavagno L, Martin G, Selic B (2003) UML for real: design of embedded real-time systems. ISBN 1-4020-7501-4","DOI":"10.1007\/b105972"},{"key":"105_CR7","unstructured":"OMG (2006) UML profile for system on chip (SoC) specification v1.0.1"},{"key":"105_CR8","unstructured":"M\u00fcller W, Rosenstiel W, Ruf J (2003) SystemC, methodologies and applications. ISBN 1-4020-7479-4"},{"key":"105_CR9","unstructured":"Bocchio S, Riccobene E, Rosti A, Scandurra P (2005) A SoC design flow based on UML 2.0 and SystemC. In DAC, Workshop UML-Sock\u201905"},{"key":"105_CR10","doi-asserted-by":"crossref","unstructured":"Mueller W, Rosti A, Bocchio S, Riccobene E, Scandurra P, Dehaene W, Vanderperren Y (2006) UML for ESL design\u2014basic principals, tools, and applications. In: IEEE\/ACM","DOI":"10.1109\/ICCAD.2006.320068"},{"key":"105_CR11","unstructured":"Andersson P, H\u00f6st M (2007) UML and SystemC a comparison and mapping rules for automatic code generation. In: Embedded systems specification and design languages selected contributions from FDL\u201907"},{"key":"105_CR12","unstructured":"Kreku J, Hoppari M, Kestil\u00e4 T (2007) SystemC workload model generation from UML for performance simulation, FDL \u201807"},{"key":"105_CR13","unstructured":"Raslan W, Sameh A (2007) Mapping SysML to SystemC, FDL \u201807"},{"key":"105_CR14","doi-asserted-by":"crossref","unstructured":"Raslan W, Sameh A (2007) System-level modeling and design using SysML and SystemC. DAC","DOI":"10.1109\/ISICIR.2007.4441909"},{"key":"105_CR15","doi-asserted-by":"crossref","unstructured":"Mraidha C, Tanguy Y, Jouvray C, Terrier F, G\u00e9rard S (2008) An execution framework for MARTE-based models. In: Thirteenth IEEE international conference on the engineering of complex computer systems, ICECCS","DOI":"10.1109\/ICECCS.2008.37"},{"key":"105_CR16","unstructured":"Taha S, Radermacher A, Gerard S, Dekeeyser J-L (2007) MARTE: UML-based hardware design from modeling to simulation. FDL\u20192007, Barcelona, Spain"},{"key":"105_CR17","unstructured":"Revol S, Taha S, Terrier F, Clouard A, Gerard S, Radermacher A, Dekeyser J-L (2008) Unifying HW analysis and SoC Design flows by bridging two key standards: UML and IP-XACT"},{"key":"105_CR18","unstructured":"Piel \u00c9, Ben Atitallah R, Marquet P, Meftali S, Niar S, Etien A, Jean-Luc Dekeyser, Boulet P (2008) Gaspard2: from MARTE to SystemC simulation"},{"key":"105_CR19","unstructured":"Mura M, Panda A, Prevostini M (2008) Executable models and verification from MARTE and SysML: a comparative study of code generation capabilities"},{"issue":"3","key":"105_CR20","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/s11334-008-0055-2","volume":"4","author":"F Mallet","year":"2008","unstructured":"Mallet F (2008) Clock constraints specification language: specifying clock constraints with UML\/MARTE. Innov Syst Softw Eng 4(3): 309\u2013314","journal-title":"Innov Syst Softw Eng"},{"key":"105_CR21","doi-asserted-by":"crossref","unstructured":"Mallet F, Andr\u00e9 C (2009) On the semantics of UML\/MARTE clock constraints. In: International symposium on object\/component\/service-oriented real-time distributed computing (ISORC), pp 301\u2013312","DOI":"10.1109\/ISORC.2009.27"},{"key":"105_CR22","doi-asserted-by":"crossref","unstructured":"Mallet F, de Simone R (2008) MARTE: a profile for RT\/E systems modeling, analysis-and simulation? In: Proceedings of first international conference on simulation tools and techniques for communications, networks on systems. ACM, Marseille","DOI":"10.4108\/ICST.SIMUTOOLS2008.3097"},{"key":"105_CR23","unstructured":"Kahn G (1974) The semantics of a simple language for parallel programming. In: Proceedings of the international federation for information processing working conference on data semantics"},{"key":"105_CR24","first-page":"8","volume":"21","author":"CAR Hoare","year":"1978","unstructured":"Hoare CAR (1978) Communicating sequential processes. Commun ACM 21: 8","journal-title":"Commun ACM"},{"key":"105_CR25","first-page":"1","volume":"36","author":"EA Lee","year":"1987","unstructured":"Lee EA, Messerschmitt DG (1987) Static scheduling of synchronous data flow programs for digital signal processing. IEEE Trans Comput 36: 1","journal-title":"IEEE Trans Comput"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-009-0105-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-009-0105-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-009-0105-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T09:47:45Z","timestamp":1559382465000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-009-0105-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,12,22]]},"references-count":25,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2010,3]]}},"alternative-id":["105"],"URL":"https:\/\/doi.org\/10.1007\/s11334-009-0105-4","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,12,22]]}}}