Palabras claves: Constraint-programming, Design Space Exploration (DSE), Embedded system design, Formally-based design, Joint Analytical and Simulation Based DSE, Mixed-Criticality System (MCS), Optimization techniques, Pbkp_redictable systems, Performance Estimation, Real time system design, Time critical systems, Time Division Multiplex (TDM) bus
Autores: Herrera F., Ingo Sander