Mapa Web
Localización
Noticias
Info Santander
Gestión BD
|
| GIM>Investigación>Publicación |
| PUBLICACION |
| |
| Ficha completa |
| Título: | UML/MARTE Modelling for Design Space
Exploration of Mixed-Criticality Systems on top
of Time-Predictable HW/SW Platforms |
| Tipo: | Publicacion en Proceedings o Actas nacionales |
| Lugar: | Jornadas de Computación Empotrada (JCE15) |
| Fecha: | 2015-09 |
| Autores: |
Fernando Herrera
Pablo Peñil
Eugenio Villar
|
| Líneas: |
Diseño y verificación de sistemas embebidos HW/SW
Especificación de sistemas embebidos
|
| Proyectos: |
FP7 611146 CONTREX
|
| ISBN: | 978-84-16017-546 |
| Fichero: |
|
| Resumen: | El lenguaje estándar UML y el perfil estándar MARTE han sido propuestos para el modelado de sistemas electrónicos y sistemas empotrados complejos. Los sistemas de criticidad mixta estan suponiendo una nueva clase de problema de modelado y diseño. Este artículo trata el modelado en UML/MARTE de sistemas de criticidad mixta. Particularmente, el artículo se centra en los sistemas donde la criticidad se refiere al impacto de la violación de un requerimiento funcional o extra-funcional, y en como modelar los elementos HW/SW de la plataforma que soportan la predictabilidad temporal requerida por los sistemas de criticidad mixta. El artículo también muestra como producir estos modelos para que, bajo una approximación de fuente única, permitan una exploración del espacio de diseño (DSE) efficiente. La aproximación de modelado presentada está soportada por un entorno que soporta la producción automática (desde el modelo UML/MARTE) de los modelos de entrada que alimentan a una metodología de DSE que considera criticidades mixtas. |
|
|
