Skip to main content

VERIFICATION ENGINEERING OF SAFETY AND SECURITY CRITICAL DYNAMIC INDUSTRIAL APPLICATIONS

Objective

The VESSEDIA project will bring safety and security to many new software applications and devices. 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. VESSEDIA proposes to enhance and scale up modern software analysis tools, namely the mostly open-source Frama-C Analysis platform, to allow developers to benefit rapidly from them when developing connected applications. At the forefront of connected applications is the IoT, whose growth is exponential and whose security risks are real (for instance in hacked smart phones). VESSEDIA will take this domain as a target for demonstrating the benefits of using our tools on connected applications.
VESSEDIA will tackle this challenge by 1) developing a methodology that allows to adopt and use source code analysis tools efficiently and produce similar benefits than already achieved for highly-critical applications (i.e. an exhaustive analysis and extraction of faults), 2) enhancing the Frama-C toolbox to enable efficient and fast implementation, 3) demonstrating the new toolbox capabilities on typical IoT (Internet of Things) applications including an IoT Operating System (Contiki), 4) developing a standardisation plan for generalising the use of the toolbox, 5) contributing to the Common Criteria certification process, and 6) defining a label “Verified in Europe” for validating software products with European technologies such as Frama-C.

Field of science

  • /natural sciences/computer and information sciences/internet/internet of things
  • /natural sciences/computer and information sciences/software
  • /natural sciences/computer and information sciences/internet

Call for proposal

H2020-DS-LEIT-2016
See other projects for this call

Funding Scheme

RIA - Research and Innovation action

Coordinator

TECHNIKON FORSCHUNGS- UND PLANUNGSGESELLSCHAFT MBH
Address
Burgplatz 3A
9500 Villach
Austria
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
EU contribution
€ 343 750

Participants (9)

COMMISSARIAT A L ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES
France
EU contribution
€ 1 022 887,50
Address
Rue Leblanc 25
75015 Paris 15
Activity type
Research Organisations
DASSAULT AVIATION
France
EU contribution
€ 366 125
Address
9 Rond Point Champs-elysees-marcel Dassault
75008 Paris
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
SEARCH-LAB BIZTONSAGI ERTEKELO ELEMZO ES KUTATO LABORATORIUM KORLATOLTFELELOSSEGU TARSASAG
Hungary
EU contribution
€ 372 500
Address
Szeruskert Utca 19 1 Em 6
1033 Budapest
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
FRAUNHOFER GESELLSCHAFT ZUR FOERDERUNG DER ANGEWANDTEN FORSCHUNG E.V.
Germany
EU contribution
€ 557 750
Address
Hansastrasse 27C
80686 Munchen
Activity type
Research Organisations
INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE
France
EU contribution
€ 295 952,50
Address
Domaine De Voluceau Rocquencourt
78153 Le Chesnay Cedex
Activity type
Research Organisations
TURUN AMMATTIKORKEAKOULU OY
Finland
EU contribution
€ 293 468,75
Address
Joukahaisenkatu 3A
20520 Turku
Activity type
Higher or Secondary Education Establishments
KATHOLIEKE UNIVERSITEIT LEUVEN
Belgium
EU contribution
€ 285 000
Address
Oude Markt 13
3000 Leuven
Activity type
Higher or Secondary Education Establishments
FUNDACION DEUSTO
Spain
EU contribution
€ 352 125
Address
Avenida De Las Universidades 24
48007 Bilbao
Activity type
Research Organisations
AMOSSYS SAS
France
EU contribution
€ 302 500
Address
Allee Du Batiment 4 Bis
35000 Rennes
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)