Foto: ITIVALÈNCIA (EP). El centro tecnológico ITI trabaja en el proyecto 'Tools4Safety', que tiene por objetivo mejorar el desarrollo de software para sistemas críticos para la seguridad y "contribuir en ámbitos de la vida donde, si se produce un error, las consecuencias pueden ser letales".
ITI ha explicado que cualquier sistema que interactúe con el mundo físico tiene una alta probabilidad de ser un sistema crítico, aunque las industrias en las que es más común encontrarlo son la automovilística, la aeroespacial, la ferroviaria, la química, la nuclear y la electromedicina, entre otras.
"Minimizar la probabilidad de aparición de fallos, así como la contención de estos en caso de que su presencia sea inevitable, es una tarea fundamental, ya que un fallo en estos sistemas podría conllevar pérdidas de vidas humanas o daños importantes tanto a la propiedad como al medioambiente", ha indicado ITI en un comunicado.
En concreto, un fallo de este tipo de sistema se puede dar, por ejemplo, en los sistemas de control de vuelo de un avión. Estos sistemas controlan la actitud, altitud y velocidad de la aeronave. Un error en este caso puede conllevar la pérdida de control sobre el avión y, por ende, un accidente. También se consideran sistemas críticos los dispositivos de monitorización cardíaca, que detectan y registran la actividad del corazón. Un fallo en su funcionamiento puede suponer la muerte del paciente debido a detecciones tardías o diagnósticos incorrectos de problemas cardíacos.
'Tools4Safety', respaldado por el Instituto Valenciano de Competitividad Empresarial (IVACE+i), se centra en cubrir las necesidades y exigencias de los procesos involucrados en la construcción de estos sistemas tan complejos.
Según el coordinador del grupo de Sistemas Ciber-Físicos en ITI, Javier Coronel, "todo ello se conseguirá a través del entorno a2k (art2kitekt), la herramienta de ITI que ayuda al ingeniero en el proceso de modelado, caracterización, análisis, simulación y verificación de sistemas de software crítico".
La iniciativa de ITI "contribuye con a2k, introduciendo métodos y herramientas vanguardistas que guíen a los diseñadores y desarrolladores a construir aplicaciones críticas seguras y eficientes mediante un enfoque de desarrollo dirigido por modelos", ha explicado Coronel.
Así, ITI pretende realizar evoluciones significativas en dicha herramienta aplicando las propuestas y resultados de los procesos de investigación dentro del área de los sistemas ciberfísicos de tiempo real.
En general se quiere avanzar en el cumplimiento de requisitos de estándares de desarrollo, mejorando el flujo de trabajo de los usuarios finales, además de la implementación de paneles de visualización y generación de informes que faciliten el análisis de resultados y la toma de decisiones durante el diseño de aplicaciones.
Por último, se llevará a cabo una validación "exhaustiva" tanto funcional como de usabilidad de la herramienta propuesta.
