Mapa Web
Localización
Noticias
Info Santander
Gestión BD
|
| GIM>Investigación>Publicación |
| PUBLICACION |
| |
| Ficha completa |
| Título: | Enhancing Analyzability and Time Predictability in UML/MARTE Component-based Application Models |
| Tipo: | Publicacion en Proceedings o Actas internacionales |
| Lugar: | Forum on specification & Design Languages (FDL 2015) |
| Fecha: | 2015-09 |
| Autores: |
Fernando Herrera
Pablo Peñil
Eugenio Villar
|
| Líneas: |
Diseño de sistemas embebidos HW/SW
|
| Proyectos: |
FP7 611146 CONTREX
|
| ISBN: | 978-1-4673-7735- |
| Fichero: |
|
| Resumen: | Este trabajo presente cómo integrar en un modelo de aplicacíón UML/MARTE bajo una metodología expresiva y basada en componentes,
modelos formales basados en el Modelo de Computación Flujos de
Datos Síncronos (SDF).
La metodología de modelado de applicación es parte de una metodología de modeloado UML/MARTE que soporta síntesis de alto nivel y exploración del espacio de diseño. La expresividad de la metodología de aplicación facilita encontrar y construir un modelo de aplicación bajo la semantica deseada, pero no ayuda a asegurar propoiedades funcionales y extrafuncionales para al menos alguna parte del modelo. Sin embargo, esta capacidad se ha convertido en una necesidad en el contexto de modelado de aplicaciones de criticidad mixta. Este artículo muestra como modelos UML/MARTE expresivos y basados en component pueden integrar partes con una sólida base formal que facilita el análisis de las propiedades funcionales y extrafuncionales de esas partes. En concreto, el artículo muestra un conjunto de patrones de modelado que se pueden trasladar a contrapartidas SDF. El artículo también reporta una implementación que permite una interoperabilidad entre modelos UML/MARTE que cumplen los patrones descritos y la metodología ForSyDe, que automatiza la validación funcional y en enlace con el análisis automático de propiedades funcionales y extrafuncionales. |
|
|
