A model-driven methodology for the development of SystemC executable environments

Forum on Specification and Design Languages

Volumn , Issue , 2012, Pages 177-184

  Herrera, F ^a   Penil P ^a   Posadas, H ^a   Villar, E ^a  

^a UNIVERSITY OF CANTABRIA   (Spain)

Author keywords

Model Driven Development; System Level Design; SystemC; UML MARTE

Indexed keywords

AUTOMATED DESIGN; COMPONENT BASED DESIGN; DESIGN ALTERNATIVES; DESIGN SPACE EXPLORATION; DYNAMIC ESTIMATION; EFFICIENT DESIGNS; ENVIRONMENT MODELING; HIGH-LEVEL MODELING; MODEL DRIVEN DESIGN; MODEL DRIVEN DEVELOPMENT; MODEL-DRIVEN METHODOLOGY; PERFORMANCE ASSESSMENT; SYSTEM ENVIRONMENT; SYSTEM LEVEL DESIGN; SYSTEM MODELING; SYSTEM MODELS; SYSTEMC; UML/MARTE; VERIFICATION ENVIRONMENT;

ABSTRACTING; EMBEDDED SYSTEMS; SPECIFICATIONS; SYSTEMS ANALYSIS;

LOGIC DESIGN;

EID: 84871099590     PISSN: 16369874     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (28)

1. Intel 22nm Technology Available at http://www.intel.com/content/www/es/ es/silicon-innovations/intel-22nm-technology.html?wapkw=22nm.
2. S.Y. Chiang. Keynote Speech. Proceedings of ARM Techcom Conference. October, 2011. Santa Clara, USA.
3. G. Martin, B.Bailey, A. Piziali. ESL Design and Verification: A Prescription for Electronic System Level Methodology (Systems on Silicon). March 9, 2007. ISBN-10: 0123735513.
4. M. Holzer. Design Space Exploration for the Development of Embedded Systems. Thesis Dissertation in the TU Vienna. April, 2008. Vienna. Austria.
5. Chang, H., Cooke, L., Hunt, M., Martin, G., McNelly, A. J., and Todd, L. "Surviving the SOC Revolution: a Guide to Platform-Based Design". Kluwer Academic Publishers. 1999.
6. H. Kopetz. The Complexity Challenge in Embedded System Design. In 11th IEEE ISORC. May, 2008. Orlando, USA.
7. OMG Unified Modeling Language. Infrastructure and Superstructure. V2.4.1. Aug., 2011.Available at www.uml.org.
8. M. Gligor, N. Fournel and F. Pétrot: "Using binary translation in event driven simulation for fast and flexible MPSoC simulation", proc. of CODES+ISSS'09, ACM, 2009.
9. P. Botella, P. Sánchez and H. Posadas: "Automatic Generation of SystemC SMP Models for HW/SW Co-Simulation". In Proceedings of DCIS'10. Lanzarote, Spain. Nov. 2010.
10. P. Gerin, M. Hamayun and F. Petrot: "Native MPSoC cosimulation environment for software performance estimation", In Proc. of CODES+ISSS'09. Grenoble, France. Oct., 2009.
11. COMPLEX Project, http://complex.offis.de, 2011.
12. F. Herrera, P.Peñil, E.Villar, F. Ferrero, R.Valencia. An Embedded System Modeling Methodology for Design Space Exploration. In Jornadas de Computación Empotrada (JCE), JCE'2012. Alicante, Jornadas Sartenco. Elche, Spain. Sept. , 2012.
13. F.Herrera, H. Posadas, E. Villar, D. Calvo. Enhanced IPXACT Platform Descriptions for Automatic Generation from UML/MARTE of Fast Performance Models for DSE.DSD'2012.
14. H. Posadas, S. Real, E. Villar: "M3-SCoPE: Performance Modeling of Multi-Processor Embedded Systems for Fast Design Space Exploration". In "Multi-objective Design Space Exploration of Multiprocessor SoC Architectures: the MULTICUBE Approach", Springer, 2011.
15. OMG: "UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems", Nov., 2009.
16. OMG: "MDA Specifications", http://www.omg.org/mda/specs. htm#MDAGuide, 2011.
17. OMG. UML Testing Profile (UTP) 1.1.beta1. June, 2011.
18. Iyenghar, P.; Pulvermueller, E.; Westerkamp, C. "Towards Model-Based Test Automation for Embedded Systems Using UML and UTP". In IEEE 16th Conf. on Emerging Technologies & Factory Automation (ETFA), pg.1-9. Sept., 2011. Toulouse.
19. IEEE Std. 1666-2011. IEEE Standard for Standard SystemC® Language Reference Manual. Jan., 2012. Available at http://standards.ieee.org/getieee/ 1666/download/1666-2011.pdf.
20. http://www.accellera.org/home/
21. Universal Verification Methodology (UVM) 1.1 Class Reference. June 2011. Available at http://www.accellera.org/downloads/standards/uvm.
22. D. Grosse, H.M. Le, R. Drechsler. Proving Transaction and System-level Properties of Untimed SystemC TLM Designs. In Proceedings of MEMOCODE, 2010. Grenoble. France.
23. M. Monton, J. Gladigau, C. Haubelt and J. Teich. "Checkpoint and Restore for SystemC Models". Advances in Design Methods from Modeling Languages for Embedded Systems and SoCs. Ed. D. Borrione. Springer. 2010.
24. R. Wille, D. Große, F. Haedicke, R. Drechsler. SMT-based Stimuli Generation in the SystemC Verification Library". In Proceedings of FDL'2009. Sept., 2009 - Sophia-Antipolis, France
25. D. Cansell , J.F. Culat, D. Méry, C. Proch. "Derivation of SystemC code from Abstract System Models". In Proceedings of FDL' 2004. Lille, France. Sept., 2004.
26. Papyrus. http://www.eclipse.org/modeling/mdt/papyrus/. July, 2012.
27. Eclipse project website. http://www.eclipse.org/. 2012.
28. OMG: "MOF Model To Text Transformation Language (MOFM2T), 1.0", http://www.omg.org/spec/MOFM2T/1.0/, 2008.