Aproximación al modelado de tareas para verificación de tiempo real siguiendo un enfoque dirigido por modelos

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.