• Facts:
    • Project name: Verification Engineering of Safety and Security Critical Industrial Applications
    • Project acronym: VESSEDIA
    • Project Coordinator: Technikon Forschungs- und Planungsgesellschaft mbH
    • Project start: 1st January 2017
    • Project duration: 36 months
Website under construction



"This project has received funding from the European Union’s Horizon 2020 Programme for research and innovation under grant agreement no 731453."

 

Project Partners:
TEC
CEATECH
DASSAULT
Search Lab
Fraunhofer
inria
Turku
Ku Leuven
DeustoTech
AMOSSYS

VESSEDIA

VERIFICATION ENGINEERING OF SAFETY AND SECURITY CRITICAL INDUSTRIAL APPLICATIONS

 

Mission of VESSEDIA:

VESSEDIA proposes to enhance and scale up modern software analysis tools to enable using them on a wider range of applications than embedded safety-critical applications (in the Nuclear, Transportation, Energy supply, Process control and Space areas). Developers will benefit rapidly from the outcome of the project when developing connected applications. At the forefront of connected applications is the Internet of Things (IoT), whose growth is exponential and whose security and safety risks are real (for instance in hacked smart phones or smart home devices). VESSEDIA will take this domain as a target for demonstrating the benefits of using our tools on connected applications.

 

Motivation:

In the fast evolving world we live in, the Internet has brought many benefits to individuals, organisations and industries. With the capabilities offered now (such as IPv6) to connect billions of devices and therefore humans together, the Internet brings new threats to the software developers and VESSEDIA will allow connected applications to be safe and secure. With software powering more than 80% of the functionalities inside modern-day ICT systems, the trustworthiness and security of these codes can be a major differentiator. From industrial process control and aircraft navigation system, to electricity supply grids and supervision networks, this observation has extended in the past few months to networked everyday objects such as health tracking devices or home automation appliances.

Downloads:

VESSEDIA General Presentation [PDF] 931 kB
VESSEDIA Leaflet [PDF] 682 kB