Aproximación al modelado de tareas para verificación de tiempo real siguiendo un enfoque dirigido por modelos
Research Group
División de Sistemas e Ingeniería Electrónica (DSIE)Knowledge Area
Lenguajes y Sistemas InformáticosSponsors
Este trabajo ha sido parcialmente financiado por el Proyecto CICYT EXPLORE (TIN2009-08572).Publication date
2010-09Publisher
Ibergarceta Publicaciones, S.L.Bibliographic Citation
INGLÉS ROMERO, Juan Francisco; VICENTE CHICOTE, Cristina y ALONSO CÁCERES, Diego. Aproximación al modelado de tareas para verificación de tiempo real siguiendo un enfoque dirigido por modelos. En: Simposio sobre Sistemas de Tiempo Real (3º: 2010: Valencia). Actas del III Simposio de Sistemas de Tiempo Real. Valencia del 7 al 10 de septiembre de 2010. Madrid: Ibergarceta Publicaciones, S.L. 2010. 6p. ISBN 978-84-92812-64-6Keywords
Lenguaje modeladoProceso de datos en tiempo real
Autómatas temporizados
Restricciones de tiempo real
Herramientas de tiempo
Modeling language
Process real time data
Time Tool
Timed automaton
3-View Component Meta-Model
Abstract
V3CMM (3-View Component Meta-Model) es un
lenguaje de modelado basado en componentes que permite el diseño de aplicaciones de forma independiente de la plataforma sobre la que éstas se implementarán finalmente. En su versión inicial, V3CMM no soportaba el modelado de restricciones temporales asociadas al comportamiento de sus componentes.
Este artículo presenta algunos resultados preliminares sobre: (1) la extensión de V3CMM para abordar el modelado de requisitos temporales, (2) un procedimiento para la generación de modelos de tareas a partir de las especificaciones realizadas con el nuevo V3CMM extendido y (3) la posibilidad de interoperar con herramientas de análisis existentes para verificar la planificabilidad de los modelos de tareas anteriores, todo ello, siguiendo un enfoque
dirigido por modelos.
Collections
The following license files are associated with this item:
Social media