Un sistema crítico es aquel en el que un fallo del sistema puede ocasionar graves e irreparables daños económicos o humanos. Por ello, es necesario garantizar el correcto funcionamiento de este tipo de sistemas antes de su puesta en marcha. Para llevar a cabo dicho proceso, es fundamental hacer una caracterización precisa del mismo, así como realizar un exhaustivo estudio de cuál es su comportamiento en todos los escenarios posibles, haciendo especial hincapié en aquellos más críticos o problemáticos. Por tanto, los procesos de caracterización del sistema, en los que se describe los componentes del mismo, sus interacciones y su comportamiento interno, son de vital importancia. De la misma relevancia son aquellos sistemas de análisis y verificación que son capaces de comprobar que las interacciones entre los componentes continúan cumpliendo con los requisitos definidos para el sistema incluso en las peores condiciones. Para ayudar en el modelado, caracterización, análisis y desarrollo de sistemas críticos ITI ha estado desarrollando un entorno denominado art2kitekt©. En el presente proyecto se pretende extender dicho entorno art2kitekt para dar soporte al proceso completo de desarrollo de los nuevos sistemas críticos en los que la adaptabilidad tanto para la incorporación de nuevos comportamientos, como en presencia de fallos transitorios o permanentes es de vital importancia. Aunque existen multitud de aproximaciones en esta línea, el hilo conductor principal de este proyecto será el acercar algunas de dichas aproximaciones al sector empresarial, así como ampliarlas para dar cobertura a las nuevas necesidades que surjan desde la industria que no estén cubiertas por las soluciones actuales

El objetivo general del proyecto es avanzar en la metodología de diseño basado en modelos, aplicando las propuestas y resultados de los procesos de investigación dentro del área de los sistemas ciber-físicos críticos con restricciones temporales. En ese sentido, se pretende conseguir alcanzar los siguientes objetivos específicos: Continuar la evolución de la herramienta art2kitekt© para su uso en el proceso de diseño de sistemas distribuidos de tiempo real basado en componentes. Una vez incorporadas capacidades básicas para el modelado de sistemas distribuidos de tiempo real, se quiere ampliar la herramienta con la inclusión de algoritmos de análisis composicional que mejoren la evaluación de viabilidad de los mismos. Incorporar en art2kitekt© soporte para el diseño y evaluación de sistemas particionados con criticidad mixta, arquitectura comúnmente utilizada en tecnologías basadas en hipervisores. Nos centraremos, en primer lugar, en el modelado de componentes para este tipo de sistemas particionados para, posteriormente, aplicar sobre el modelo, técnicas analíticas que permitan evaluar su comportamiento temporal. Se utilizarán algoritmos de análisis de sistemas de planificación jerárquicos y nos centraremos en las comunicaciones entre las distintas particiones.