Opendata, web and dolomites

VESSEDIA SIGNED

VERIFICATION ENGINEERING OF SAFETY AND SECURITY CRITICAL DYNAMIC INDUSTRIAL APPLICATIONS

Total Cost €

0

EC-Contrib. €

0

Partnership

0

Views

0

Project "VESSEDIA" data sheet

The following table provides information about the project.

Coordinator
TECHNIKON FORSCHUNGS- UND PLANUNGSGESELLSCHAFT MBH 

Organization address
address: BURGPLATZ 3A
city: VILLACH
postcode: 9500
website: www.technikon.at

contact info
title: n.a.
name: n.a.
surname: n.a.
function: n.a.
email: n.a.
telephone: n.a.
fax: n.a.

 Coordinator Country Austria [AT]
 Project website https://vessedia.eu/
 Total cost 4˙192˙058 €
 EC max contribution 4˙192˙058 € (100%)
 Programme 1. H2020-EU.3.7. (Secure societies - Protecting freedom and security of Europe and its citizens)
2. H2020-EU.2.1.1. (INDUSTRIAL LEADERSHIP - Leadership in enabling and industrial technologies - Information and Communication Technologies (ICT))
 Code Call H2020-DS-LEIT-2016
 Funding Scheme RIA
 Starting year 2017
 Duration (year-month-day) from 2017-01-01   to  2019-12-31

 Partnership

Take a look of project's partnership.

# participants  country  role  EC contrib. [€] 
1    TECHNIKON FORSCHUNGS- UND PLANUNGSGESELLSCHAFT MBH AT (VILLACH) coordinator 343˙750.00
2    COMMISSARIAT A L ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES FR (PARIS 15) participant 1˙022˙887.00
3    FRAUNHOFER GESELLSCHAFT ZUR FOERDERUNG DER ANGEWANDTEN FORSCHUNG E.V. DE (MUNCHEN) participant 557˙750.00
4    SEARCH-LAB BIZTONSAGI ERTEKELO ELEMZO ES KUTATO LABORATORIUM KORLATOLT FELELOSSEGU TARSASAG HU (Budapest) participant 372˙500.00
5    DASSAULT AVIATION FR (PARIS) participant 366˙125.00
6    FUNDACION DEUSTO ES (Bilbao) participant 352˙125.00
7    AMOSSYS SAS FR (RENNES) participant 302˙500.00
8    INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE FR (LE CHESNAY CEDEX) participant 295˙952.00
9    TURUN AMMATTIKORKEAKOULU OY FI (TURKU) participant 293˙468.00
10    KATHOLIEKE UNIVERSITEIT LEUVEN BE (LEUVEN) participant 285˙000.00

Map

 Project 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.

 Deliverables

List of deliverables.
Inria’s use case intermediate report Documents, reports 2020-04-14 23:39:22
Project quality plan Documents, reports 2020-04-14 23:39:22
Data Management Plan (DMP) Open Research Data Pilot 2020-04-14 23:39:22
Internal and external IT communication infrastructure and project website Websites, patent fillings, videos etc. 2020-04-14 23:39:22
Basic analyzers intermediate release Other 2020-04-14 23:39:22
Metrics for VESSEDIA tools in quality assurance Documents, reports 2020-04-14 23:39:21
Updated plan and initial report on Exploitation, Dissemination & Communication activities Documents, reports 2020-04-14 23:39:22
CEA’s use case intermediate report Documents, reports 2020-04-14 23:39:22
Modelling framework description Documents, reports 2020-04-14 23:39:22
Risk Assessment Plan Documents, reports 2020-04-14 23:39:22
DA’s use case intermediate report Documents, reports 2020-04-14 23:39:22
Security requirements for connected medium security-critical applications Documents, reports 2020-04-14 23:39:21
VESSEDIA approach for security evaluation Documents, reports 2020-04-14 23:39:21
Methodological report for modular reasoning for system validation and verification Documents, reports 2020-04-14 23:39:21

Take a look to the deliverables list in detail:  detailed list of VESSEDIA deliverables.

 Publications

year authors and title journal last update
List of publications.
2020 Ralf Jung, Rodolphe Lepigre, Gaurav Parthasarathy, Marianna Rapoport, Amin Timany, Derek Dreyer, Bart Jacobs
The future is ours: prophecy variables in separation logic
published pages: 1-32, ISSN: 2475-1421, DOI: 10.1145/3371113
Proceedings of the ACM on Programming Languages 4/POPL 2020-04-14
2018 Hoang Le, Viet; Correnson, Loïc; Signoles, Julien; Wiels, Virginie
Verication Coverage for Combining Test and Proof
published pages: , ISSN: , DOI: 10.5281/zenodo.3609494
International Conference on Tests and Proofs TAP 2018 (Pre-Print) 2020-04-14
2019 Ly, Dara; Kosmatov, Nikolai; Signoles, Julien; Loulergue, Frédéric
Soundness of a Dataflow Analysis for Memory Monitoring.
published pages: 97-108, ISSN: , DOI: 10.5281/zenodo.3609499
ACM SIGAda Ada Letters (Pre-print) Volume 38, Issue 2 2020-04-14
2019 Hamin Jafar; Jacobs Bart
Transferring Obligations Through Synchronizations
published pages: , ISSN: , DOI:
ECOOP 2020-04-14
2018 Blanchard, Allan; Kosmatov, Nikolai; Loulergue, Frédéric
Des listes et leurs fantômes : vérification d\'un module critique de Contiki avec FRAMA-C
published pages: , ISSN: , DOI:
17èmes Journées AFADL : Approches Formelles Dans L\'assistance Au Développement De Logiciels 14 2020-04-14
2018 Allan Blanchard, Nikolai Kosmatov, Frédéric Loulergue
MMFilter : A CHR-Based Solver for Generation of Executions under Weak Memory Models
published pages: 121-142, ISSN: 1477-8424, DOI: 10.1016/j.cl.2018.03.002
Computer Languages, Systems & Structures 53 2020-04-14
2017 Pariente, Dillon; Signoles, Julien
Static Analysis and Runtime-Assertion Checking: Contribution to Security Counter-Measures
published pages: , ISSN: , DOI: 10.5281/zenodo.820856
2020-04-14
2017 Peyrard , Alexandre; Kosmatov , Nikolai; Duquennoy , Simon; Raza , Shahid
Towards Formal Verification of Contiki: Analysis of the AES–CCM* Modules with Frama-C
published pages: , ISSN: , DOI: 10.5281/zenodo.1160349
RED-IOT 2018 - Workshop on Recent advances in secure management of data and resources in the IoT 4 2020-04-14
2017 Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prevosto
Symbolic execution of transition systems with function summaries
published pages: 41-58, ISSN: , DOI: 10.1007/978-3-319-61467-0_3
11th International Conference on Tests 2020-04-14
2018 Blanchard , Allan; Kosmatov , Nikolai; Loulergue , Frédéric
Ghosts for Lists: A Critical Module of Contiki Verified in Frama-C
published pages: , ISSN: , DOI: 10.5281/zenodo.1402494
Tenth NASA Formal Methods Symposium - NFM 2018 1 2020-04-14
2017 Oliveira , S. ,; BENSALEM , S.; Prevosto , V.
Synthesizing invariants by solving solvable loops
published pages: , ISSN: 0302-9743, DOI: 10.5281/zenodo.893067
Automated Technology for Verification and Analysis (ATVA) 2 2020-04-14

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "VESSEDIA" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an  email (fabio@fabiodisconzi.com) and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "VESSEDIA" are provided by the European Opendata Portal: CORDIS opendata.

More projects from the same programme (H2020-EU.3.7.;H2020-EU.2.1.1.)

certMILS (2017)

Compositional security certification for medium- to high-assurance COTS-based systems in environments with emerging threats

Read More  

VESSEDIA (2017)

VERIFICATION ENGINEERING OF SAFETY AND SECURITY CRITICAL DYNAMIC INDUSTRIAL APPLICATIONS

Read More  

ANASTACIA (2017)

Advanced Networked Agents for Security and Trust Assessment in CPS/IOT Architectures

Read More