Aproximación al modelado de tareas para verificación de tiempo real siguiendo un enfoque dirigido por modelos
Compartir
Métricas
Estadísticas
Ver Estadísticas de usoMetadatos
Mostrar el registro completo del ítemGrupo de investigación
División de Sistemas e Ingeniería Electrónica (DSIE)Área de conocimiento
Lenguajes y Sistemas InformáticosPatrocinadores
Este trabajo ha sido parcialmente financiado por el Proyecto CICYT EXPLORE (TIN2009-08572).Fecha de publicación
2010-09Editorial
Ibergarceta Publicaciones, S.L.Cita bibliográfica
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-6Palabras clave
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
Resumen
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.
Colecciones
El ítem tiene asociados los siguientes ficheros de licencia:
Redes sociales