| Ficha completa |
| Título: | Executable SystemC specification of the MARTE generic concurrent and communication resources under different Models of Computation |
| Tipo: | Publicacion en Proceedings o Actas internacionales |
| Lugar: | Workshop on the Definition, evaluation, and exploitation of modelling and computing standards for Real-Time Embedded Systems, STANDRTS'09
Satellite Workshop of the the 21st EuroMicro Conference on Real-Time Systems, Dublin |
| Fecha: | 2009-06 |
| Autores: |
Pablo Peñil
Eugenio Villar
Héctor Posadas
Julio Medina (CTR)
|
| Líneas: |
Diseño y verificación de sistemas embebidos HW/SW
|
| Proyectos: |
FP7 216807 SATURN
|
| ISBN: | |
| Fichero: |
|
| Resumen: | El artículo presenta una metodología para el modelado de sistemas embebidos heterogéneos usando UML/MARTE. Mediante el uso de UML/MARTE se plasma en modelos de alto nivel, la semántica de diferentes modelos de computación. |
