{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:47:35Z","timestamp":1725749255074},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319014173"},{"type":"electronic","value":"9783319014180"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-01418-0_9","type":"book-chapter","created":{"date-parts":[[2013,9,18]],"date-time":"2013-09-18T06:39:50Z","timestamp":1379486390000},"page":"145-164","source":"Crossref","is-referenced-by-count":2,"title":["Model-Driven Methodology for the Development of Multi-level Executable Environments"],"prefix":"10.1007","author":[{"given":"Fernando","family":"Herrera","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pablo","family":"Penil","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hector","family":"Posadas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eugenio","family":"Villar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,8,14]]},"reference":[{"key":"9_CR1","unstructured":"Accellera: \n                  http:\/\/www.accellera.org\/home\/\n                  \n                 (2013)"},{"key":"9_CR2","unstructured":"Cansell, D., Culat, J.F., M\u00e9ry, D., Proch, C.: Derivation of SystemC code from abstract system models. In: Proceedings of FDL 2004, Lille, Sept 2004"},{"key":"9_CR3","volume-title":"Surviving the SOC Revolution: A Guide to Platform-Based Design","author":"H. Chang","year":"1999","unstructured":"Chang, H., Cooke, L., Hunt, M., Martin, G., McNelly, A.J., Todd, L.: Surviving the SOC Revolution: A Guide to Platform-Based Design. Kluwer, Boston (1999)"},{"key":"9_CR4","volume-title":"Keynote speech","author":"S.Y. Chiang","year":"2011","unstructured":"Chiang, S.Y.: Keynote speech. In: Proceedings of ARM Techcom Conference, Santa Clara, Oct 2011"},{"key":"9_CR5","unstructured":"COMPLEX Project: \n                  http:\/\/complex.offis.de\n                  \n                 (2013)"},{"key":"9_CR6","unstructured":"Eclipse project website: \n                  http:\/\/www.eclipse.org\/\n                  \n                 (2012)"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Gerin, P., Hamayun, M., Petrot, F.: Native MPSoC co-simulation environment for software performance estimation. In: Proceedings of the CODES+ISSS\u201909, Grenoble, Oct 2009","DOI":"10.1145\/1629435.1629490"},{"key":"9_CR8","unstructured":"Gligor, M., Fournel, N., P\u00e9trot, F.: Using binary translation in event driven simulation for fast and flexible MPSoC simulation. In: Proceedings of the CODES+ISSS\u201909, ACM, Grenoble, France (2013)"},{"key":"9_CR9","unstructured":"Herrera, F., Pe\u00f1il, P., Villar, E., Ferrero, F., Valencia, R.: An embedded system modeling methodology for design space exploration. In: Jornadas de Computaci\u00f3n Empotrada (JCE), 2012. Alicante, Jornadas Sartenco. Elche, Sept 2012"},{"key":"9_CR10","volume-title":"Enhanced IP-XACT platform descriptions for automatic generation from UML\/MARTE of fast performance models for DSE","author":"F. Herrera","year":"2012","unstructured":"Herrera, F., Posadas, H., Villar, E., Calvo, D.: Enhanced IP-XACT platform descriptions for automatic generation from UML\/MARTE of fast performance models for DSE. In: DSD, Izmir, Turkey 2012"},{"key":"9_CR11","unstructured":"Herrera, F., Penil, P., Posaads, H., Villar, E.: A model-driven methodology for the development of SystemC executable environments. In: Proceedings of the FDL 12, Viena, Sept 2012"},{"key":"9_CR12","volume-title":"Design space exploration for the development of embedded systems","author":"M. Holzer","year":"2008","unstructured":"Holzer, M.: Design space exploration for the development of embedded systems. Thesis dissertation, Vienna University of Technology, Vienna (Apr 2008)"},{"key":"9_CR13","unstructured":"IEEE Std. 1666-2011: IEEE Standard for SystemC\u00ae; Language Reference Manual. \n                  http:\/\/standards.ieee.org\/getieee\/1666\/download\/1666-2011.pdf\n                  \n                 (2012)"},{"key":"9_CR14","unstructured":"Intel 22\u2009nm Technology: \n                  http:\/\/www.intel.com\/content\/www\/es\/es\/silicon-innovations\/intel-22nm-technology.html?wapkw=22nm\n                  \n                 (2013)"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Iyenghar, P., Pulvermueller, E., Westerkamp, C.: Towards model-based test automation for embedded systems using UML and UTP. In: IEEE 16th Conference on Emerging Technologies And Factory Automation (ETFA), Toulouse, Sept 2011, pp.\u00a01\u20139","DOI":"10.1109\/ETFA.2011.6058982"},{"key":"9_CR16","volume-title":"Executable use cases: a supplement to model-driven development? In: Model-Based Methodologies for Pervasive and Embedded Software","author":"J.B. Jogesen","year":"2007","unstructured":"Jogesen, J.B.: Executable use cases: a supplement to model-driven development? In: Model-Based Methodologies for Pervasive and Embedded Software, MOMPES, Braga, Portugal 2007"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Kopetz, H.: The complexity challenge in embedded system design. In: 11th IEEE ISORC, Orlando, May 2008","DOI":"10.1109\/ISORC.2008.14"},{"key":"9_CR18","isbn-type":"print","volume-title":"ESL Design and Verification: A Prescription for Electronic System Level Methodology","author":"G. Martin","year":"2007","unstructured":"Martin, G., Bailey, B., Piziali, A.: ESL Design and Verification: A Prescription for Electronic System Level Methodology. Systems on Silicon. Morgan Kaufmann publishers Inc. San Francisco, CA, USA (2007). ISBN: 9780080488837","ISBN":"http:\/\/id.crossref.org\/isbn\/9780080488837"},{"key":"9_CR19","volume-title":"Advances in Design Methods from Modeling Languages for Embedded Systems and SoCs","author":"M. Monton","year":"2010","unstructured":"Monton, M., Gladigau, J., Haubelt, C., Teich, J.: Checkpoint and restore for SystemC models. In: Borrione, D. (ed.) Advances in Design Methods from Modeling Languages for Embedded Systems and SoCs. Springer, Dordrecht\/New York (2010)"},{"key":"9_CR20","unstructured":"OMG: MOF Model to Text Transformation Language (MOFM2T), 1.0. \n                  http:\/\/www.omg.org\/spec\/MOFM2T\/1.0\/\n                  \n                 (2008)"},{"key":"9_CR21","unstructured":"Object Management Group. UML profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems. Version 1.1. (2011). Available in \n                  http:\/\/www.omg.org\/spec\/MARTE\/1.1\/\n                  \n                . Accessed 2013"},{"key":"9_CR22","unstructured":"Object Management Group. UML Testing Profile (UTP). Version 1.1. (2012). Available in \n                  http:\/\/www.omg.org\/spec\/UTP\/1.1\/\n                  \n                . Accessed 2013"},{"key":"9_CR23","unstructured":"OMG Unified Modeling Language: Infrastructure and Superstructure. V2.4.1. \n                  www.uml.org\n                  \n                 (2013)"},{"key":"9_CR24","unstructured":"Papyrus: \n                  http:\/\/www.eclipse.org\/modeling\/mdt\/papyrus\/\n                  \n                 (2012)"},{"key":"9_CR25","unstructured":"PHARAON project web: \n                  http:\/\/pharaon.di.ens.fr\/\n                  \n                 (2013)"},{"key":"9_CR26","volume-title":"Multi-objective Design Space Exploration of Multiprocessor SoC Architectures: The MULTICUBE Approach","author":"H. Posadas","year":"2011","unstructured":"Posadas, H., Real, S., Villar, E.: M3-SCoPE: performance modeling of multi-processor embedded systems for fast design space exploration. In: Silvano, C., Fornaciari, W. Villar, E. (eds.) Multi-objective Design Space Exploration of Multiprocessor SoC Architectures: The MULTICUBE Approach. Springer, New York (2011)"},{"key":"9_CR27","volume-title":"Embedded Systems-Theory and Design","author":"H. Posadas","year":"2012","unstructured":"Posadas, H., D\u00edaz, A., Villar, E.: Annotation techniques and RTOS modeling for native simulations of heterogeneous embedded systems. In: Tanaka, T. (ed.) Embedded Systems-Theory and Design. Intech, Rijeka (2012)"},{"key":"9_CR28","unstructured":"Posadas, H., Penil, P., Nicol\u00e1s, A., Villar, E.: Automatic synthesis of embedded SW from UML\/MARTE models based on memory space definitions. In: Design of Circuits and Integrated Systems (DCIS), Avignon, France 2012"},{"key":"9_CR29","volume-title":"Component Software: Beyond Object-Oriented Programming","author":"C. Szyperski","year":"2002","unstructured":"Szyperski, C.: Component Software: Beyond Object-Oriented Programming, 2nd edn. Addison-Wesley Professional, London (2002)","edition":"2"},{"key":"9_CR30","unstructured":"Universal Verification Methodology (UVM) 1.1 Class Reference: \n                  http:\/\/www.accellera.org\/downloads\/standards\/uvm\n                  \n                 (2011)"}],"container-title":["Lecture Notes in Electrical Engineering","Models, Methods, and Tools for Complex Chip Design"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-01418-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T07:19:47Z","timestamp":1558077587000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-01418-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8,14]]},"ISBN":["9783319014173","9783319014180"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-01418-0_9","relation":{},"ISSN":["1876-1100","1876-1119"],"issn-type":[{"type":"print","value":"1876-1100"},{"type":"electronic","value":"1876-1119"}],"subject":[],"published":{"date-parts":[[2013,8,14]]}}}