
A2K
Demostrador
ITI
Demostrador
ITISe muestra un entorno de desarrollo de sistemas críticos y de tiempo real basado en modelos cuyo objetivo es guiar al ingeniero durante todas las fases del desarrollo de este tipo de sistemas. El entorno está compuesto por un conjunto de servicios que cubren el modelado de los componentes de la plataforma de ejecución y de la aplicación, el despligue del sistema, el análisis de prestaciones y de sus propiedades no funcionales, la simulación basada en modelos (MiL), la generación de código de bajo nivel para la gestión y sincronización de las tareas del sistema y, finalmente, la verificación de su comportamiento mediante la monitorización en tiempo de ejecución (SiL y HiL). También existe la posibilidad de interoperar con herramientas externas que complementen y amplien las funcionalidades propias del entorno.
Modelado y análisis de sistemas empotrados críticos; simulación de sistemas ciber-físicos.
Herramientas para construcción de sistemas críticos/software empotrado: análisis de restricciones temporales y planificación de recursos, monitorización y simulación de sistemas ciberfísicos