%0 Journal Article 
%A Inglés Romero, Juan Francisco
%A Vicente Chicote, Cristina
%A Alonso Cáceres, Diego
%T Aproximación al modelado de tareas para verificación de tiempo real siguiendo un enfoque dirigido por modelos
%D 2010
%U http://hdl.handle.net/10317/1559
%X 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.
%K Lenguajes y Sistemas Informáticos
%K Lenguaje modelado
%K Proceso de datos en tiempo real
%K Autómatas temporizados
%K Restricciones de tiempo real
%K Herramientas de tiempo
%K Modeling language
%K Process real time data
%K Time Tool
%K Timed automaton
%K 3-View Component Meta-Model
%~ GOEDOC, SUB GOETTINGEN