Mapa Web
Localización
Noticias
Info Santander
Gestión BD
|
| GIM>Investigación>Publicación |
| PUBLICACION |
| |
| Ficha completa |
| Título: | Specification of HW/SW adaptive Embedded Systems in
SystemC |
| Tipo: | Publicacion en Proceedings o Actas internacionales |
| Lugar: | Proceedings of the Forum on specification and Design Languages, FDL'08, IEEE, 2008 |
| Fecha: | 2008-09 |
| Autores: |
Fernando Herrera
Eugenio Villar
P. A. Hartmann
|
| Líneas: |
Diseño y verificación de sistemas embebidos HW/SW
|
| Proyectos: |
IST 033511 ANDRES
|
| ISBN: | 978-1-4244-22654 |
| Fichero: | ver fichero
|
| Resumen: | Este artículo propone una metodología de especificación de sistemas embebidos adaptativos para su implementación en una plataforma que incluya uno o más procesadores, por lo tanto, soportando la ejecución de software embebido, y harware digital con capacidades de
reconfiguración parcial dinámica (DRHW). Para ello, el artículo propone la colaboración de dos metodologías de especificación: HetSC y OSSS+R. Se tratan las principales cuestiones que surgen en la integración de estas metodologías de especificación. Esto incluye como instalarlas y usarlas juntas, cual es la estructura de la especificación, como se especifica la adaptatividad para una implementación en SW y en DRHW, y cuestiones sintácticas y semánticas relacionadas con la interfaz de MoC implícita en su conexión. |
|
|
