- B. Bailey and G. Martin, ESL Models and their Application: Electronic System Level Design and Verification in Practice (Embedded Systems). Springer, 2010. Google ScholarDigital Library
- D. C. Schmidt, "Model-driven Engineering" IEEE Computer, V.39, N.2, pp. 25--31, 2006. Google ScholarDigital Library
- L. Lavagno, G. Martin, B. Selic: "UML for real: Design of embedded real-time systems", Kluwer, 2003. Google ScholarDigital Library
- I.R. Quadri, Yu Huafeng, A. Gamatie, E. Rutten, S. Meftali, J.-L. Dekeyser. "Targeting reconfigurable FPGA based SoCs using the UML MARTE profile: from high abstraction levels to code generation". International Journal of Embedded Systems, v 4, n 3-4, p 204--24, 2010.Google ScholarCross Ref
- J. Vidal, F. de Lamotte, G. Gogniat, P. Soulard, J.P. Diguet. "A Code-Design Approach for Embedded System Modelling and Code Generation with UML and MARTE". proc. of DATE'09, March, 2009. Google ScholarDigital Library
- H. Posadas, P. Peñil, A. Nicolás, E. Villar. "Automatic synthesis of embedded SW for evaluating physical implementation alternatives from UML/MARTE models supporting memory space separation". Microelectronics Journal, V.45, I.10, pp.1281--1291, October, 2014.Google Scholar
- M.Mura, L.G.Murillo, M.Prevostini. "Model-based Design Space Exploration for RTES with SysML and MARTE". In proceedings of FDL'2008. Stuttgart, Germany. 2008.Google Scholar
- F. Herrera, H. Posadas P. Peñil, E. Villar, F. Ferrero, R. Valencia, G. Palermo. "The COMPLEX methodology for UML/MARTE modeling and design-space exploration of embedded systems". Journal of Systems Architecture, V.60, N.1, Elsevier, pp.55--78. 2014. Google ScholarDigital Library
- OMG, Unified Modelling Language¿. Available from http://www.omg.org/spec/UML.Google Scholar
- OMG, UML Profile for MARTE: Modelling and Analysis of Real-Time Embedded Systems, Version 1.1, Dec., 2012. Available from http://www.omgmarte.org.Google Scholar
- M. Lemke et al., "Mixed criticality systems. report from the workshop on mixed criticality systems," Information Society and Media Directorate-General, February 2012.Google Scholar
- A. Burns and R.I.Davis, "Mixed Criticality Systems - A Review, 5th Ed.", Dep. of Computer Science, U. of York, Tech. Report, March, 2015, in http://www-users.cs.york.ac.uk/burns/review.pdf.Google Scholar
- https://contrex.offis.de/home/.Google Scholar
- Y. Vanderperren, W. Mueller, W. Dehaene: "UML for Electronic Systems Design: A comprehensive overview", Design Automation for Embedded Systems, V.12, N.4. December 2008. Google ScholarDigital Library
- F. Herrera, K. Rosvall, I. Sander, E. Paone, and G. Palermo. "An Efficient Joint Analytical and Simulation-based Design Space Exploration Flow for Predictable Multi-Core Systems". In 7th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, RAPIDO'15, January, 2015. Google ScholarDigital Library
- Z. Jia, A. Núñez, T. Bautista, and A. Pimentel. "A Two-phase Design Sspace Exploration Strategy for System-level Real-time Application mapping onto MPSoC". Microprocessors and Microsystems, V.38, N.1, pp.9 --21, 2014. Google ScholarDigital Library
- F. Herrera and I. Sander: "Combining Analytical and Simulation-Based Design Space Exploration for Efficient Time-Critical and Mixed-Criticality Systems". In Languages, Design Methods, and Tools for Electronic System Design. Ed. M.M. Louerat and, T. Maehne. Springer. 2015.Google Scholar
- F. Herrera, H. Posadas, P. Peñil, E. Villar, F. Ferrero, R. Valencia: "A MDD Methodology for Specification of Embedded Systems and Automatic Generation of Fast Configurable and Executable Performance Models", ESWeek 2012 Compilation Proceedings, CoDes+ISSS'12, ACM, 2012. Google ScholarDigital Library
Index Terms
- A model-based, single-source approach to design-space exploration and synthesis of mixed-criticality systems
Recommendations
Accelerating FPGA Prototyping through Predictive Model-Based HLS Design Space Exploration
DAC '19: Proceedings of the 56th Annual Design Automation Conference 2019One of the advantages of High-Level Synthesis (HLS), also called C-based VLSI-design, over traditional RT-level VLSI design flows, is that multiple micro-architectures of unique area vs. performance can be automatically generated by setting different ...
A Model and Framework for Visualization Exploration
Visualization exploration is the process of extracting insight from data via interaction with visual depictions of that data. Visualization exploration is more than presentation; the interaction with both the data and its depiction is as important as ...
SystemCoDesigner—an automatic ESL synthesis approach by design space exploration and behavioral synthesis for streaming applications
With increasing design complexity, the gap from ESL (Electronic System Level) design to RTL synthesis becomes more and more crucial to many industrial projects. Although several behavioral synthesis tools exist to automatically generate synthesizable ...
Comments