Verwandte Artikel zu Generacion de Especificaciones Ejecutables Systemc...
Generacion de Especificaciones Ejecutables Systemc Heterogeneas: Metodología formal basada en modelos UML/MARTE - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Über die Autorin bzw. den Autor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 26,11
EUR 48,99 für den Versand von Deutschland nach USA
Versandziele, Kosten & DauerSuchergebnisse für Generacion de Especificaciones Ejecutables Systemc...
Foto des Verkäufers
Generación de Especificaciones Ejecutables SystemC Heterogéneas
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Artikel-Nr. 5524919
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Generación de Especificaciones Ejecutables SystemC Heterogéneas
Verlag:
Editorial Académica Española Jun 2012, 2012
ISBN 10: 3848469774
ISBN 13: 9783848469772
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -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.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 72 pp. Spanisch. Artikel-Nr. 9783848469772
Anzahl: 2 verfügbar