Los sistemas embebidos sofisticados y de alto rendimiento están presentes en un número creciente de dominios de aplicación. En este contexto, se han estudiado métodos de diseño basados en formalismos para hacer que el proceso de desarrollo sea robusto y escalable. Los modelos de computación (MoC) permiten modelar una aplicación a un alto nivel de abstracción utilizando una base formal. Esto permite el análisis antes de que la aplicación pase a la fase de implementación. Se han desarrollado diferentes herramientas y marcos que apoyan los MoCs. Algunas de ellas pueden simular los modelos y también verificar su funcionalidad y viabilidad antes de los siguientes pasos de diseño. En vista de esto, presentamos un nuevo método para el análisis e identificación de posibles enfoques de automatización aplicables al flujo de diseño de sistemas embebidos respaldados por modelos formales de computación. Un estudio de caso integral muestra el potencial y la aplicabilidad de nuestro método.