Obiettivo 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. Campo scientifico scienze naturaliinformatica e scienze dell'informazioneinternetinternet degli oggettiscienze naturaliinformatica e scienze dell'informazionesoftwaresoftware applicativisoftware di sistemasistemi operativiscienze naturaliinformatica e scienze dell'informazionesoftwaresviluppo software Programma(i) H2020-EU.2.1.1. - INDUSTRIAL LEADERSHIP - Leadership in enabling and industrial technologies - Information and Communication Technologies (ICT) Main Programme H2020-EU.3.7. - Secure societies - Protecting freedom and security of Europe and its citizens Argomento(i) DS-01-2016 - Assurance and Certification for Trustworthy and Secure ICT systems, services and components Invito a presentare proposte H2020-DS-2016-2017 Vedi altri progetti per questo bando Bando secondario H2020-DS-LEIT-2016 Meccanismo di finanziamento RIA - Research and Innovation action Coordinatore TECHNIKON FORSCHUNGS- UND PLANUNGSGESELLSCHAFT MBH Contribution nette de l'UE € 343 750,00 Indirizzo Burgplatz 3a 9500 Villach Austria Mostra sulla mappa PMI L’organizzazione si è definita una PMI (piccola e media impresa) al momento della firma dell’accordo di sovvenzione. Sì Regione Südösterreich Kärnten Klagenfurt-Villach Tipo di attività Private for-profit entities (excluding Higher or Secondary Education Establishments) Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Altri finanziamenti € 0,00 Partecipanti (9) Classifica in ordine alfabetico Classifica per Contributo netto dell'UE Espandi tutto Riduci tutto COMMISSARIAT A L ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES Francia Contribution nette de l'UE € 1 022 887,50 Indirizzo Rue leblanc 25 75015 Paris Mostra sulla mappa Regione Ile-de-France Ile-de-France Paris Tipo di attività Research Organisations Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Altri finanziamenti € 0,00 DASSAULT AVIATION Francia Contribution nette de l'UE € 366 125,00 Indirizzo 9 rond point champs-elysees-marcel dassault 75008 Paris Mostra sulla mappa Regione Ile-de-France Ile-de-France Paris Tipo di attività Private for-profit entities (excluding Higher or Secondary Education Establishments) Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Altri finanziamenti € 0,00 SEARCH-LAB BIZTONSAGI ERTEKELO ELEMZO ES KUTATO LABORATORIUM KORLATOLTFELELOSSEGU TARSASAG Ungheria Contribution nette de l'UE € 372 500,00 Indirizzo Szeruskert utca 19 1 em 6 1033 Budapest Mostra sulla mappa PMI L’organizzazione si è definita una PMI (piccola e media impresa) al momento della firma dell’accordo di sovvenzione. Sì Regione Közép-Magyarország Budapest Budapest Tipo di attività Private for-profit entities (excluding Higher or Secondary Education Establishments) Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Altri finanziamenti € 0,00 FRAUNHOFER GESELLSCHAFT ZUR FORDERUNG DER ANGEWANDTEN FORSCHUNG EV Germania Contribution nette de l'UE € 557 750,00 Indirizzo Hansastrasse 27c 80686 Munchen Mostra sulla mappa Regione Bayern Oberbayern München, Kreisfreie Stadt Tipo di attività Research Organisations Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Altri finanziamenti € 0,00 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE Francia Contribution nette de l'UE € 295 952,50 Indirizzo Domaine de voluceau rocquencourt 78153 Le chesnay cedex Mostra sulla mappa Regione Ile-de-France Ile-de-France Yvelines Tipo di attività Research Organisations Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Altri finanziamenti € 0,00 TURUN AMMATTIKORKEAKOULU OY Finlandia Contribution nette de l'UE € 293 468,75 Indirizzo Joukahaisenkatu 3a 20520 Turku Mostra sulla mappa Regione Manner-Suomi Etelä-Suomi Varsinais-Suomi Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Altri finanziamenti € 0,00 KATHOLIEKE UNIVERSITEIT LEUVEN Belgio Contribution nette de l'UE € 285 000,00 Indirizzo Oude markt 13 3000 Leuven Mostra sulla mappa Regione Vlaams Gewest Prov. Vlaams-Brabant Arr. Leuven Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Altri finanziamenti € 0,00 FUNDACION DEUSTO Spagna Contribution nette de l'UE € 352 125,00 Indirizzo Avenida de las universidades 24 48007 Bilbao Mostra sulla mappa Regione Noreste País Vasco Bizkaia Tipo di attività Research Organisations Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Altri finanziamenti € 0,00 AMOSSYS SAS Francia Contribution nette de l'UE € 302 500,00 Indirizzo Allee du batiment 4 bis 35000 Rennes Mostra sulla mappa PMI L’organizzazione si è definita una PMI (piccola e media impresa) al momento della firma dell’accordo di sovvenzione. Sì Regione Bretagne Bretagne Ille-et-Vilaine Tipo di attività Private for-profit entities (excluding Higher or Secondary Education Establishments) Collegamenti Contatta l’organizzazione Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Altri finanziamenti € 0,00