TY - JOUR 
A1 - Inglés Romero, Juan Francisco
AU - Vicente Chicote, Cristina
AU - Alonso Cáceres, Diego
T1 - Aproximación al modelado de tareas para verificación de tiempo real siguiendo un enfoque dirigido por modelos
Y1 - 2010
UR - http://hdl.handle.net/10317/1559
AB - 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.
KW - Lenguajes y Sistemas Informáticos
KW - Lenguaje modelado
KW - Proceso de datos en tiempo real
KW - Autómatas temporizados
KW - Restricciones de tiempo real
KW - Herramientas de tiempo
KW - Modeling language
KW - Process real time data
KW - Time Tool
KW - Timed automaton
KW - 3-View Component Meta-Model
LA - spa
PB - Ibergarceta Publicaciones, S.L.
ER -