{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T08:42:35Z","timestamp":1648888955151},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2012,6,1]],"date-time":"2012-06-01T00:00:00Z","timestamp":1338508800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Des Autom Embed Syst"],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1007\/s10617-012-9089-7","type":"journal-article","created":{"date-parts":[[2012,7,13]],"date-time":"2012-07-13T08:36:36Z","timestamp":1342168596000},"page":"93-113","source":"Crossref","is-referenced-by-count":2,"title":["Exploiting UML based validation for compliance checking of TLM 2 based models"],"prefix":"10.1007","volume":"16","author":[{"given":"Vaibhav","family":"Jain","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anshul","family":"Kumar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Preeti","family":"Panda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,7,13]]},"reference":[{"key":"9089_CR1","volume-title":"1st IEEE\/ACM\/IFIP international conference on hardware\/software codesign and system synthesis, CODES+ISSS 2003","author":"L Cai","year":"2003","unstructured":"Cai L, Gajski D (2003) Transaction level modeling: an overview. In: 1st IEEE\/ACM\/IFIP international conference on hardware\/software codesign and system synthesis, CODES+ISSS 2003, CA, USA"},{"key":"9089_CR2","unstructured":"Accellera Systems Initiative (2011) IEEE 1666-2011 language reference manual"},{"key":"9089_CR3","unstructured":"TLM-2.0 Base Protocol Checker (2012) Doulos. http:\/\/www.doulos.com\/knowhow\/systemc\/TLM2\/base_protocol_checker"},{"key":"9089_CR4","unstructured":"Object Management Group (OMG) (2012) SysML v1.2 Specification"},{"key":"9089_CR5","unstructured":"Object Management Group (OMG) (2012) UML Profile for MARTE specification"},{"key":"9089_CR6","unstructured":"Object Management Group (OMG) (2012) UML Profile for SoC v1.1 Specification"},{"key":"9089_CR7","doi-asserted-by":"crossref","unstructured":"Riccobene E et al (2009) SystemC\/C-based model-driven design for embedded systems. ACM Trans Embedded Comput Syst 8(4). doi: 10.1145\/1550987.1550993","DOI":"10.1145\/1550987.1550993"},{"key":"9089_CR8","first-page":"1201","volume-title":"Proc design, automation and test in Europe, DATE 2010","author":"F Mischkalla","year":"2010","unstructured":"Mischkalla F, He D, M\u00fcller W (2010) Closing the gap between UML-based modeling, simulation and synthesis of combined HW\/SW systems. In: Proc design, automation and test in Europe, DATE 2010. IEEE Press, New York, pp 1201\u20131206"},{"issue":"1","key":"9089_CR9","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":"9089_CR10","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/978-3-642-21470-7_21","volume-title":"7th int conf modelling foundations and applications (ECMFA\u20192011)","author":"V Jain","year":"2011","unstructured":"Jain V, Kumar A, Panda P (2011) A SysML profile for development and early validation of TLM 2.0 models. In: 7th int conf modelling foundations and applications (ECMFA\u20192011). Springer, Berlin, pp 299\u2013311"},{"key":"9089_CR11","unstructured":"Object Management Group (OMG) (2012) UML 2.2 OCL specification"},{"key":"9089_CR12","first-page":"1","volume-title":"Proc 14th int forum on specification and design languages (FDL\u201911)","author":"V Jain","year":"2011","unstructured":"Jain V, Kumar A, Panda P (2011) A UML based approach for dynamic validation of TLM 2 models. In: Proc 14th int forum on specification and design languages (FDL\u201911). IEEE Press, New York, pp 1\u20138"},{"key":"9089_CR13","unstructured":"ARM Ltd (2012) AMBA Protocol Specification. http:\/\/www.arm.com"},{"key":"9089_CR14","unstructured":"Open Core Protocol International Partnership (OCP-IP) (2012) A SystemC OCP transaction level communication channel. www.ocpip.org"},{"key":"9089_CR15","unstructured":"Object Management Group (OMG) (2012) UML 2.0 superstructure and infrastructure specification"},{"key":"9089_CR16","unstructured":"The MagicDraw tool (2012) No Magic Inc. http:\/\/www.nomagic.com"},{"key":"9089_CR17","unstructured":"Carbon Design Systems (2012) TLM-2 for AMBA protocol solution. http:\/\/portal.carbondesignsystems.com"},{"key":"9089_CR18","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1109\/DDECS.2011.5783132","volume-title":"14th int symp on desi and diag of elec circ & syst (DDECS\u201911)","author":"M Bawadekji","year":"2011","unstructured":"Bawadekji M, Gro\u00dfe D, Drechsler R (2011) TLM protocol compliance checking at the electronic system level. In: 14th int symp on desi and diag of elec circ & syst (DDECS\u201911), pp 435\u2013440"},{"issue":"2\u20133","key":"9089_CR19","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/s10617-006-9044-6","volume":"10","author":"M Moy","year":"2005","unstructured":"Moy M, Maraninchi F, Maillet-Contoz L (2005) LusSy: an open tool for the analysis of systems-on-a-chip at the transaction level. Des Autom Embed Syst 10(2\u20133):73\u2013104","journal-title":"Des Autom Embed Syst"},{"key":"9089_CR20","volume-title":"Proc DATE\u201906","author":"D Karlsson","year":"2006","unstructured":"Karlsson D, Eles P, Peng Z (2006) Formal verification of SystemC designs using a Petri-net based representation. In: Proc DATE\u201906"},{"key":"9089_CR21","volume-title":"Proc forum on specification design languages (FDL\u201909)","author":"L Ferro","year":"2009","unstructured":"Ferro L, Pierre L (2009) ISIS: Runtime verification of TLM platforms. In: Proc forum on specification design languages (FDL\u201909)"},{"key":"9089_CR22","unstructured":"A Digital Picture Frame Solution (2011) Texas Instruments Inc. http:\/\/focus.ti.com\/docs\/solution\/folders\/print\/471.html"},{"key":"9089_CR23","volume-title":"Proc ITG\/GI\/GMM workshop","author":"B Niemann","year":"2006","unstructured":"Niemann B, Haubelt C (2006) Assertion-based verification of transaction level models. In: Proc ITG\/GI\/GMM workshop, February 2006"},{"key":"9089_CR24","first-page":"894","volume-title":"Proc design automation test in Europe","author":"W Ecker","year":"2007","unstructured":"Ecker W, Esen V, Hull M (2007) Implementation of a transaction level assertion framework in SystemC. In: Proc design automation test in Europe, pp 894\u2013899"},{"key":"9089_CR25","unstructured":"Actis Design (2012) AccurateC\u2014static code analysis for SystemC"},{"key":"9089_CR26","unstructured":"KaSCPar\u2014Karlsruher SystemC Parser Suite (2012) http:\/\/www.greensocs.com\/projects\/KaSCPar"},{"key":"9089_CR27","unstructured":"Pinapa\u2014A SystemC front-end (2012) http:\/\/greensocs.sourceforge.net\/pinapa"},{"key":"9089_CR28","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1145\/1016720.1016745","volume-title":"Proc 2nd IEEE\/ACM\/IFIP international conference on hardware\/software codesign and system synthesis (CODES+ISSS)","author":"Q Zhu","year":"2004","unstructured":"Zhu Q, Oishi R, Hasegawa T, Nakata T (2004) System-on-chip validation using UML and CWL. In: Proc 2nd IEEE\/ACM\/IFIP international conference on hardware\/software codesign and system synthesis (CODES+ISSS), pp 92\u201397"}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-012-9089-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10617-012-9089-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-012-9089-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T19:29:35Z","timestamp":1559244575000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10617-012-9089-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":28,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2012,6]]}},"alternative-id":["9089"],"URL":"https:\/\/doi.org\/10.1007\/s10617-012-9089-7","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"value":"0929-5585","type":"print"},{"value":"1572-8080","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,6]]}}}