| Ficha completa |
| Título: | Specification for SystemC-AADL interoperability |
| Tipo: | Publicacion en Proceedings o Actas internacionales |
| Lugar: | IEEE Proceedings of the 5th International Workshop on Intelligent Solutions in Embedded Systems (WISES’07) |
| Fecha: | 2007-06 |
| Autores: |
Eduardo de las Heras
Eugenio Villar
|
| Líneas: |
Diseño y verificación de sistemas embebidos HW/SW
|
| Proyectos: |
ITEA 05015 SPICES
|
| ISBN: | 978-84-89315-47- |
| Fichero: | ver fichero
|
| Resumen: | El trabajo especifica la utilización de SystemC para el modelado de descripciones AADL. El modelo SystemC tiene como objetivo permitir el refinamiento de la especificación AADL hasta su implementación. La información obtenida durante el proceso de refinamiento retro-alimentará el modelo AADL original permitiendo la verificación de las restricciones de alto nivel durante el proceso de diseño. |
