Andere Kunden interessierten sich auch für
![Colonia de Hormigas para la generación de trayectorias de corte]( "Colonia de Hormigas para la generación de trayectorias de corte")
Colonia de Hormigas para la generación de trayectorias de corte25,99 €![Sistema Automatizado de Control y Pronóstico de Aguas Subterráneas]( "Sistema Automatizado de Control y Pronóstico de Aguas Subterráneas")
Sistema Automatizado de Control y Pronóstico de Aguas Subterráneas32,99 €![Administración del portal de Guías Clínicas Informatizadas Aide Portal]( "Administración del portal de Guías Clínicas Informatizadas Aide Portal")
Administración del portal de Guías Clínicas Informatizadas Aide Portal23,99 €![Aplicación para la definición de consumos empleando el teléfono móvil]( "Aplicación para la definición de consumos empleando el teléfono móvil")
Aplicación para la definición de consumos empleando el teléfono móvil32,99 €![Sistema Computarizado para el Diagnóstico Iridológico de Enfermedades]( "Sistema Computarizado para el Diagnóstico Iridológico de Enfermedades")
Sistema Computarizado para el Diagnóstico Iridológico de Enfermedades32,99 €![Integración de registros de autoridad con información semántica]( "Integración de registros de autoridad con información semántica")
Integración de registros de autoridad con información semántica51,99 €![Diseño de un Sistema de Control de Inventario de materia prima]( "Diseño de un Sistema de Control de Inventario de materia prima")
Diseño de un Sistema de Control de Inventario de materia prima32,99 €
Este trabajo presenta una metodología para el diseño de sistemas empotrados basada en modelos UML/MARTE. Esta metodología permite la captura de la semántica ejecutiva de varios modelos de computación. 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 simulación correcta de los modelos, esta metodología utiliza los mecanismos proporcionados por la metodología HetSC a fin de especificar la variedad semántica ejecutiva en las correspondientes especificaciones SystemC. Con el fin de garantizar que todo el flujo de diseño es semánticamente consistente, esto es, que las características semánticas relacionadas con la concurrencia y los mecanismos de comunicación capturados en los modelos UML/MARTE son plasmados en la correspondiente especificación ejecutable SystemC/HetSC, el mapeo UML/MARTE-SystemC/HetSC está soportado formalmente. Este soporte formal es proporcionado por ForSyDe (Formal System Design). El metamodelo formal ForSyDe proporciona la coherencia semántica en el proceso de transformación desde los modelos UML/MARTE a las especificaciones SystemC/HetSC.