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.

Call for proposal

H2020-DS-2016-2017

See other projects for this call

Sub call

H2020-DS-LEIT-2016

Coordinator

TECHNIKON FORSCHUNGS- UND PLANUNGSGESELLSCHAFT MBH
Net EU contribution
€ 343 750,00
Address
Burgplatz 3a
9500 Villach
Austria

See on map

Region
Südösterreich Kärnten Klagenfurt-Villach
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Non-EU contribution
€ 0,00

Participants (9)

COMMISSARIAT A L ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES
France
Net EU contribution
€ 1 022 887,50
Address
Rue Leblanc 25
75015 Paris 15

See on map

Region
Ile-de-France Ile-de-France Paris
Activity type
Research Organisations
Non-EU contribution
€ 0,00
DASSAULT AVIATION
France
Net EU contribution
€ 366 125,00
Address
9 Rond Point Champs-elysees-marcel Dassault
75008 Paris

See on map

Region
Ile-de-France Ile-de-France Paris
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Non-EU contribution
€ 0,00
SEARCH-LAB BIZTONSAGI ERTEKELO ELEMZO ES KUTATO LABORATORIUM KORLATOLTFELELOSSEGU TARSASAG
Hungary
Net EU contribution
€ 372 500,00
Address
Szeruskert Utca 19 1 Em 6
1033 Budapest

See on map

SME

The organization defined itself as SME (small and medium-sized enterprise) at the time the Grant Agreement was signed.

Yes
Region
Közép-Magyarország Budapest Budapest
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Non-EU contribution
€ 0,00
FRAUNHOFER GESELLSCHAFT ZUR FORDERUNG DER ANGEWANDTEN FORSCHUNG EV
Germany
Net EU contribution
€ 557 750,00
Address
Hansastrasse 27c
80686 Munchen

See on map

Region
Bayern Oberbayern München, Kreisfreie Stadt
Activity type
Research Organisations
Non-EU contribution
€ 0,00
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE
France
Net EU contribution
€ 295 952,50
Address
Domaine De Voluceau Rocquencourt
78153 Le Chesnay Cedex

See on map

Region
Ile-de-France Ile-de-France Yvelines
Activity type
Research Organisations
Non-EU contribution
€ 0,00
TURUN AMMATTIKORKEAKOULU OY
Finland
Net EU contribution
€ 293 468,75
Address
Joukahaisenkatu 3a
20520 Turku

See on map

Region
Manner-Suomi Etelä-Suomi Varsinais-Suomi
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 0,00
KATHOLIEKE UNIVERSITEIT LEUVEN
Belgium
Net EU contribution
€ 285 000,00
Address
Oude Markt 13
3000 Leuven

See on map

Region
Vlaams Gewest Prov. Vlaams-Brabant Arr. Leuven
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 0,00
FUNDACION DEUSTO
Spain
Net EU contribution
€ 352 125,00
Address
Avenida De Las Universidades 24
48007 Bilbao

See on map

Region
Noreste País Vasco Bizkaia
Activity type
Research Organisations
Non-EU contribution
€ 0,00
AMOSSYS SAS
France
Net EU contribution
€ 302 500,00
Address
Allee Du Batiment 4 Bis
35000 Rennes

See on map

SME

The organization defined itself as SME (small and medium-sized enterprise) at the time the Grant Agreement was signed.

Yes
Region
Bretagne Bretagne Ille-et-Vilaine
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Non-EU contribution
€ 0,00