Articles liés à Generación de Especificaciones Ejecutables SystemC...
Generación de Especificaciones Ejecutables SystemC Heterogéneas: Metodología formal basada en modelos UML/MARTE - Couverture souple
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 26,11
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délaisRésultats de recherche pour Generación de Especificaciones Ejecutables SystemC...
Image fournie par le vendeur
Generación de Especificaciones Ejecutables SystemC Heterogéneas
Edité par
Editorial Académica Española, 2012
ISBN 10 : 3848469774
ISBN 13 : 9783848469772
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 5524919
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Generación de Especificaciones Ejecutables SystemC Heterogéneas : Metodología formal basada en modelos UML/MARTE
Edité par
Editorial Académica Española, 2012
ISBN 10 : 3848469774
ISBN 13 : 9783848469772
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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. N° de réf. du vendeur 9783848469772
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Generación de Especificaciones Ejecutables SystemC Heterogéneas
Edité par
Editorial Académica Española Jun 2012, 2012
ISBN 10 : 3848469774
ISBN 13 : 9783848469772
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - 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. 72 pp. Spanisch. N° de réf. du vendeur 9783848469772
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Generación de Especificaciones Ejecutables SystemC Heterogéneas
Edité par
Editorial Académica Española Jun 2012, 2012
ISBN 10 : 3848469774
ISBN 13 : 9783848469772
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9783848469772
Quantité disponible : 2 disponible(s)