Vessedia
Verification Engineering of Safety and Security Critical Industrial Application
Industria
Simulación y Modelado
https://vessedia.eu/ ←Volver a Proyectos de investigación
Sector
Industria
Capacidad
Simulación y Modelado -
Foco investigación UD
Salud, bienestar y cohesión social
https://vessedia.eu/
Financiación
Objetivo
Mejorar la seguridad de la Internet de las cosas (IoT) haciendo que los métodos formales sean más accesibles para los ámbitos de aplicación que deseen mejorar la seguridad y fiabilidad de sus aplicaciones software.
¿Cómo se consigue?
Mediante una nueva metodología que permite adoptar y utilizar las herramientas de análisis de código fuente de manera eficiente en ámbitos de aplicación de menor criticidad. Se propone una nueva herramienta (Frama-C) y se validan sus capacidades en el sistema operativo Contiki, con la idea impulsar una etiqueta «Verified in Europe» para validar los productos de software con tecnologías como Frama-C.
¿Cuál fue nuestra contribución?
El desarrollo de los métodos de verificación basados en la anotación del código fuente con distintas propiedades a cumplir y explicitando cuando no se cumplen. Éstos pueden ser estáticos o dinámicos dependiendo de si deben ejecutar el código o no, respectivamente. Los métodos de monitorización, por contra, modifican el programa de tal forma que en ejecución pueden detectar vulnerabilidades y ataques, e interrumpir su ejecución.
Proyectos relacionados
IndustriaACTIVOEXTENDExploración de la reinterpretación extendida del desarrollo de máquinas 2030Leer másIndustriaACTIVO4TWINOPTIMIZACIÓN DEL PROCESO DE FABRICACIÓN DE FORJA MEDIANTE EL DESARROLLO DE UN GEMELO HÍBRIDO DIGITAL CONSIDERANDO LA SOSTENIBILIDAD Y USO…Leer másIndustriaACTIVOMEDINSPAINMétodos innovadores y cadena de valor nacional para la circularidad de sistemas de almacenamiento energético, incluyendo clasificación, reúso,…Leer másIndustriaACTIVOMOSINCOMonitorización sin contacto de composites desde su fabricación hasta su fin de vidaLeer másIndustriaACTIVOSONETOLa red social de los ActivosLeer másIndustriaACTIVOBEACONcyBErsecure industriAl Computing cONtinuumLeer más