Generacion de Especificaciones Ejecutables Systemc Heterogeneas

ISBN-13: 9783848469772 / Hiszpański / Miękka / 2012 / 72 str.

Pablo Pe Il

Opis

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 garantizar que todo el flujo de diseno es semanticamente consistente, esto es, que las caracteristicas semanticas relacionadas con la concurrencia y los mecanismos de comunicacion capturados en los modelos UML/MARTE son plasmados en la correspondiente especificacion ejecutable SystemC/HetSC, el mapeo UML/MARTE-SystemC/HetSC esta soportado formalmente. Este soporte formal es proporcionado por ForSyDe (Formal System Design). El metamodelo formal ForSyDe proporciona la coherencia semantica en el proceso de transformacion desde los modelos UML/MARTE a las especificaciones SystemC/HetSC."

O autorze

Licenciado en Ciencias Físicas (Especialidad en Electrónica) por la Universidad de Cantabria, 2004. Ingeniero de Telecomunicación (especialidad Microelectrónica) por la Universidad de Cantabria, 2010. Máster en Computación por la Universidad de Cantabria, 2009. Ha trabajado como investigador en proyectos en europeos como SATURN, COMPLEX y PHARAON.