Grupo de Ingeniería Microelectrónica

Grupo de Ingeniería Microelectrónica

Departamento de Tecnología Electrónica, Ingeniería de Sistemas y Automática Universidad de Cantabria
Home   Personas   Investigación   Docencia   Doctorado   Publicaciones   Herramientas   Bolsa de Empleo   english version Sun 26-May-19 . 12:21



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.
© Copyright GIM (TEISA-UC)    ¤    Todos los derechos Reservados.    ¤    Términos LegalesE-Mail Webmaster