Generación de Especificaciones Ejecutables SystemC Heterogéneas
Pablo Peñil
Broschiertes Buch

Generación de Especificaciones Ejecutables SystemC Heterogéneas

Metodología formal basada en modelos UML/MARTE

Versandkostenfrei!
Versandfertig in 6-10 Tagen
19,99 €
inkl. MwSt.
PAYBACK Punkte
10 °P sammeln!
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 d...