Este trabajo presenta una metodologia para el diseno de sistemas empotrados basada en modelos UML/MARTE. Esta metodologia permite la captura de la semantica ejecutiva de varios modelos de computacion. Se establece un mapeo a SystemC con el fin de obtener especificaciones ejecutables que permitan simular, validar y analizar dichos modelos UML/MARTE. Para una simulacion correcta de los modelos, esta metodologia utiliza los mecanismos proporcionados por la metodologia HetSC a fin de especificar la variedad semantica ejecutiva en las correspondientes especificaciones SystemC. Con el fin de...