A2K
DemostradorITI
DemostradorITI
Se 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 despliegue 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 amplíen las funcionalidades propias del entorno.
Modelado y análisis de sistemas empotrados críticos; simulación de sistemas ciber-físicos.