CORDIS
EU research results

CORDIS

English EN
VERIFICATION ENGINEERING OF SAFETY AND SECURITY CRITICAL DYNAMIC INDUSTRIAL APPLICATIONS

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.

Coordinator

TECHNIKON FORSCHUNGS- UND PLANUNGSGESELLSCHAFT MBH

Address

Burgplatz 3a
9500 Villach

Austria

Activity type

Other

EU Contribution

€ 343 750

Participants (9)

Sort alphabetically

Sort by EU Contribution

Expand all

COMMISSARIAT A L ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES

France

EU Contribution

€ 1 022 887,50

DASSAULT AVIATION

France

EU Contribution

€ 366 125

SEARCH-LAB BIZTONSAGI ERTEKELO ELEMZO ES KUTATO LABORATORIUM KORLATOLT FELELOSSEGU TARSASAG

Hungary

EU Contribution

€ 372 500

FRAUNHOFER GESELLSCHAFT ZUR FOERDERUNG DER ANGEWANDTEN FORSCHUNG E.V.

Germany

EU Contribution

€ 557 750

INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE

France

EU Contribution

€ 295 952,50

TURUN AMMATTIKORKEAKOULU OY

Finland

EU Contribution

€ 293 468,75

KATHOLIEKE UNIVERSITEIT LEUVEN

Belgium

EU Contribution

€ 285 000

FUNDACION DEUSTO

Spain

EU Contribution

€ 352 125

AMOSSYS SAS

France

EU Contribution

€ 302 500

Project information

Grant agreement ID: 731453

Status

Ongoing project

  • Start date

    1 January 2017

  • End date

    31 December 2019

Funded under:

H2020-EU.3.7.

H2020-EU.2.1.1.

  • Overall budget:

    € 4 192 058,75

  • EU contribution

    € 4 192 058,75

Coordinated by:

TECHNIKON FORSCHUNGS- UND PLANUNGSGESELLSCHAFT MBH

Austria