A transformational approach to constraint relaxation of a time-driven simulation model

Time-driven simulation models typically model timing in an idealized way that is over-constrained and cannot be directly implemented. We present a transformation to relax the constraints imposed by a time-driven simulation model, thus creating a larger design space. We transform the system into SPI, a common intermediate representation for heterogeneously specified embedded systems. At the SPI level critical timing constraints are (re)introduced, resulting in a representation that is well suited for global system analysis, optimization and synthesis