Inicio > Proyectos > Vessedia

Vessedia

Industria Industria
Verification Engineering of Safety and Security Critical Industrial Application

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.

Financiadores

Proyectos

Industria

adimenportuaOptimización de la eficiencia de los procesos portuarios mediante técnicas avanzadas de captación y análisis de información

Industria

ARMIONNuevas arquitecturas de referencia para máquinas y medios productivos

Sociedad

BD4QoLBig Data models and intelligent tools for quality of life monitoring and participatory empowerment of head and neck cancer survivors

Industria

BERRITRANSCentro de control de transporte ferroviario multimodal de nueva generación para una operación, explotación y mantenimiento sostenibles, seguros y eficientes

Sostenibilidad

BioTransNew generation tools for the intensification of biomass transformation processes

Sociedad

City4AgeElderly-friendly city services for active and healthy ageing

Movilidad

CityTOOLPlataforma Tecnológica CityTOOL para la Gestión Inteligente y Sostenible del Transporte y la Movilidad Urbana y Territorial

Sociedad

DANTEDetección y análisis de contenidos online relacionados con el terrorismo y actividades de financiación

Movilidad

Drive2TheFutureNeeds, wants and behaviour of 'Drivers' and automated vehicle users today and into the future

Industria

EDIEuropean Data Incubator

Sostenibilidad

Electric TravellingPlatform to support the implementation of electromobility in Smart Cities based on ICT applications

Industria

energosTecnologías para la gestión automatizada e inteligente de las redes energéticas del futuro

Movilidad

ESPhIAEnabling seamless positioning for helping inhabitants anywhere

Sostenibilidad

GREENSOULPersuasive eco-awareness for user engagement through networked data devices

Sostenibilidad

HortiMEDImplementation of analytical tools and digital technology to achieve traceability and authenticity control of traditional Mediterranean foods

Industria

HORUSHornos de recalentamiento inteligentes para procesos siderúrgicos competitivos y sostenibles

Movilidad

ICSIIntelligent cooperative sensing for improved traffic efficiency

Sociedad

IEScitiesInternet enabled services for the cities accross Europe

Movilidad

IoTTCloud platform based on lot to provide full integral services in goods transports

Movilidad

LogistarEnhanced data management techniques for real time logistics planning and scheduling

Sociedad

mCloudMigración avanzada hacia el Cloud

Movilidad

MomentumModelling emerging transport solutions for urban mobility

Movilidad

MugituSistema integral de ticketing para la prestación de nuevos servicios interoperables de billetaje y pago en el transporte público de Euskadi y normalización del uso del billete universal europeo

Sostenibilidad

Nemo&CodedNetworked monitoring & control, diagnostic for electrical distribution

Movilidad

ParityPro-sumer aware, transactive markets for valorization of distributed flexibility enabled by smart energy contracts

Movilidad

PostLowcitLow-noise and low-carbon freight delivery for postal operators to ensure last mile connections through optimised urban and long distance transport

Industria

ProgenikaHerramientas para el diagnostico genético

Industria

SelicaSistemas de identificación y sensorica avanzada para la gestión de la seguridad y sostenibilidad en la cadena alimentaria

Sostenibilidad

Sentient ThingsTowards augmented everyday objects that self-adapt and co-educate users to underpin their pro-environmental behaviour through persuasive technologies

Sociedad

SimpaticoSimplifying the interaction with public administration through information technology for citizens and companies

Sociedad

SmarturEl turismo en destinos inteligentes

Sociedad

SonopaSocial Networks for Older adults to Promote an Active life

Sociedad

ThofuTecnologías del Hotel del Futuro

Movilidad

TimonEnhanced real time services for an optimized multimodal mobility relying on cooperative networks and open data

Industria

VessediaVerification Engineering of Safety and Security Critical Industrial Application

Industria

VoyageCentro de Gestión Aeroportuario basado en tecnologías Cloud para mejorar el control y optimización de los procesos, la seguridad y la experiencia del pasajero en los Aeropuertos

Sostenibilidad

W2.0EHerramientas para el diseño de estrategias de gestión para la transformación de residuos en energía en el País Vasco

Sostenibilidad

Waste4ThinkMoving towards Life Cycle Thinking by integrating Advanced Waste Management Systems

Sociedad

WeLiveA new concept of public administration based on citizen co-created mobile urban services