CUSTOMER

Modelado y desarrollo de sistemas críticos

Sector
Industria 4.0
Aeroespacial
Inicio
01/01/2019
Fin
31/12/2019

Presentación

Los sistemas críticos son aquellos en los que un fallo del sistema puede causar daños económicos o humanos irreparables. En este tipo de sistemas el correcto comportamiento del sistema debe garantizarse antes de su puesta en marcha. Para llevar a cabo dicho proceso, el sistema debe caracterizarse con precisión y realizarse un exhaustivo estudio de su comportamiento en el peor de los escenarios. Los procesos de caracterización del sistema, describiendo los componentes del mismo, sus interacciones y su comportamiento interno, son de vital importancia, así como los sistemas de análisis y verificación que permiten comprobar que las interacciones entre los componentes cumplirán con los requisitos del sistema en las peores condiciones.

Los sistemas ciber-físicos son la evolución de los sistemas empotrados hacía una arquitectura con una mayor conectividad. Sin embargo, esa mayor conectividad que les otorga la flexibilidad, mediante la incorporación de nuevos componentes inteligentes, que es la que hace que estas tecnologías sean realmente disruptivas, es la que mayor complejidad añade a su desarrollo. Los componentes del sistema no sólo deben ser correctos desde el punto de vista funcional y de seguridad, sino también desde el punto de vista de su comportamiento temporal y de la integridad de los datos. La presencia de componentes no críticos en la misma plataforma, añaden un nivel de incertidumbre que debe ser abordado adecuadamente.

Para ayudar en el modelado, caracterización, análisis y desarrollo de sistemas críticos el 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.

Objetivos

El proyecto está enfocado en avanzar en la adopción de los métodos de desarrollo dirigidos por modelos (MDD) en la creación de sistemas críticos complejos por parte de la industria. Así pues, uno de los objetivos principales del proyecto es facilitar la adopción de estos métodos mediante el acercamiento entre los sistemas de modelado utilizados en el estado del conocimiento y las prácticas utilizadas en la industria, a la vez que los mecanismos de generación automática de código a las necesidades y plataformas utilizadas en la misma. Ambos resultados no sólo facilitarán la adopción de los mismos en la empresa, reduciendo los tiempos de acceso al mercado en el desarrollo de dichos sistemas, reduciendo la presencia de errores y los tiempos de verificación, sino que también permitirán mejorar los sistemas de modelado y análisis existentes en la actualidad habilitando su uso para sistemas más complejos, pero aun así realistas.

Dado que el elemento central en la metodología MDD es el modelado de los sistemas ciber-físicos, otro de los objetivos principales es reducir la complejidad en la introducción de los detalles de plataforma, la aplicación y sus relaciones, permitiendo al ingeniero una rápida integración del proceso MDD en su entorno de desarrollo. En la actualidad las herramientas de modelado requieren un aprendizaje específico y complejo, difícil de adaptar en algunos casos a los procesos de desarrollo existentes.

En el caso del análisis del sistema, etapa fundamental en el desarrollo de sistemas críticos, al presentarse de forma conjunta con la fase de modelado, el entorno art2kitekt permitirá llevar a cabo un proceso continuo y paralelo de modelado y análisis del sistema bajo desarrollo adaptado a las necesidades del dominio de aplicación. En la actualidad, la mayoría de las herramientas de análisis utilizan sus propios modelos para representar las plataformas y aplicaciones, requiriendo trasformaciones complejas que no siempre son posibles. En la actualidad, los resultados de los análisis normalmente no se representan de forma adecuada para su posterior tratamiento por otras herramientas. Este problema se abordará, no sólo con el uso de un entorno integrado para el desarrollo de sistemas ciber-físicos, sino también mediante la oportuna exportación de los resultados. En el caso del proceso de transformación del modelo y generación de código que se propone en art2kitekt, la arquitectura de patrones propuesta permitirá adaptar y ampliar las plataformas y lenguajes soportados a las necesidades del entorno, ofreciendo una solución abierta y escalable. Y adicional a esto, la incorporación de la simulación funcional de los componentes del sistema en el proceso de desarrollo, ayuda al ingeniero a probar diversos algoritmos y parámetros en etapas tempranas de diseño e implementación del sistema. Mediante el uso de entornos simulados, el ingeniero puede optimizar el comportamiento funcional de los diversos componentes del sistema, intercambiar diversos componentes con diferentes algoritmos de control, etc. y probar posibles escenarios catastróficos que permitirán evaluar la robustez y tolerancia a fallos del diseño crítico.

Entidades financiadoras

Entidad:
IVACE
Nº Expediente:
IMDEEA/2019/106
Financiación:
144.720,20€

Noticias relacionadas

ITI colabora con la empresa alicantina CHM Infraestructuras para aumentar la seguridad de los operarios de carreteras
Proyectos I+D+I, Sistemas Ciberfís... 

Los operarios que trabajan en conservación de infraestructuras se enfrentan a un entorno de elevada peligrosidad, donde la tasa de accidentes y siniestros es más elevad...

ITI y Depuración de Aguas del Mediterráneo participan en un proyecto europeo para combatir la escasez del agua presente en España
Sistemas Ciberfísicos 

El proyecto TRANSACT tiene el objetivo de combatir la escasez de agua en España a través de la extensión de los sistemas ciberfísicos críticos embebidos en servicios...

ITI mejora el desarrollo de software crítico industrial para evitar pérdidas de vidas o daños
Sistemas Ciberfísicos 

El proyecto Tools4Safety, financiado por el Instituto Valenciano de Competitividad Empresarial (IVACE+i), busca contribuir en ámbitos de la vida donde, si se produce un ...

Eventos relacionados

Cursos relacionados