Objetivo 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. Ámbito científico ciencias naturalesinformática y ciencias de la informacióninternetinternet de las cosasciencias naturalesinformática y ciencias de la informaciónsoftwaresoftware de aplicaciónsoftware de sistemassistema operativociencias naturalesinformática y ciencias de la informaciónsoftwaredesarrollo de software Programa(s) 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 Tema(s) DS-01-2016 - Assurance and Certification for Trustworthy and Secure ICT systems, services and components Convocatoria de propuestas H2020-DS-2016-2017 Consulte otros proyectos de esta convocatoria Convocatoria de subcontratación H2020-DS-LEIT-2016 Régimen de financiación RIA - Research and Innovation action Coordinador TECHNIKON FORSCHUNGS- UND PLANUNGSGESELLSCHAFT MBH Aportación neta de la UEn € 343 750,00 Dirección Burgplatz 3a 9500 Villach Austria Ver en el mapa Pyme Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención. Sí Región Südösterreich Kärnten Klagenfurt-Villach Tipo de actividad Private for-profit entities (excluding Higher or Secondary Education Establishments) Enlaces Contactar con la organización Opens in new window Sitio web Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Otras fuentes de financiación € 0,00 Participantes (9) Ordenar alfabéticamente Ordenar por aportación neta de la UE Ampliar todo Contraer todo COMMISSARIAT A L ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES Francia Aportación neta de la UEn € 1 022 887,50 Dirección Rue leblanc 25 75015 Paris Ver en el mapa Región Ile-de-France Ile-de-France Paris Tipo de actividad Research Organisations Enlaces Contactar con la organización Opens in new window Sitio web Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Otras fuentes de financiación € 0,00 DASSAULT AVIATION Francia Aportación neta de la UEn € 366 125,00 Dirección 9 rond point champs-elysees-marcel dassault 75008 Paris Ver en el mapa Región Ile-de-France Ile-de-France Paris Tipo de actividad Private for-profit entities (excluding Higher or Secondary Education Establishments) Enlaces Contactar con la organización Opens in new window Sitio web Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Otras fuentes de financiación € 0,00 SEARCH-LAB BIZTONSAGI ERTEKELO ELEMZO ES KUTATO LABORATORIUM KORLATOLTFELELOSSEGU TARSASAG Hungría Aportación neta de la UEn € 372 500,00 Dirección Szeruskert utca 19 1 em 6 1033 Budapest Ver en el mapa Pyme Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención. Sí Región Közép-Magyarország Budapest Budapest Tipo de actividad Private for-profit entities (excluding Higher or Secondary Education Establishments) Enlaces Contactar con la organización Opens in new window Sitio web Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Otras fuentes de financiación € 0,00 FRAUNHOFER GESELLSCHAFT ZUR FORDERUNG DER ANGEWANDTEN FORSCHUNG EV Alemania Aportación neta de la UEn € 557 750,00 Dirección Hansastrasse 27c 80686 Munchen Ver en el mapa Región Bayern Oberbayern München, Kreisfreie Stadt Tipo de actividad Research Organisations Enlaces Contactar con la organización Opens in new window Sitio web Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Otras fuentes de financiación € 0,00 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE Francia Aportación neta de la UEn € 295 952,50 Dirección Domaine de voluceau rocquencourt 78153 Le chesnay cedex Ver en el mapa Región Ile-de-France Ile-de-France Yvelines Tipo de actividad Research Organisations Enlaces Contactar con la organización Opens in new window Sitio web Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Otras fuentes de financiación € 0,00 TURUN AMMATTIKORKEAKOULU OY Finlandia Aportación neta de la UEn € 293 468,75 Dirección Joukahaisenkatu 3a 20520 Turku Ver en el mapa Región Manner-Suomi Etelä-Suomi Varsinais-Suomi Enlaces Contactar con la organización Opens in new window Sitio web Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Otras fuentes de financiación € 0,00 KATHOLIEKE UNIVERSITEIT LEUVEN Bélgica Aportación neta de la UEn € 285 000,00 Dirección Oude markt 13 3000 Leuven Ver en el mapa Región Vlaams Gewest Prov. Vlaams-Brabant Arr. Leuven Tipo de actividad Higher or Secondary Education Establishments Enlaces Contactar con la organización Opens in new window Sitio web Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Otras fuentes de financiación € 0,00 FUNDACION DEUSTO España Aportación neta de la UEn € 352 125,00 Dirección Avenida de las universidades 24 48007 Bilbao Ver en el mapa Región Noreste País Vasco Bizkaia Tipo de actividad Research Organisations Enlaces Contactar con la organización Opens in new window Sitio web Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Otras fuentes de financiación € 0,00 AMOSSYS SAS Francia Aportación neta de la UEn € 302 500,00 Dirección Allee du batiment 4 bis 35000 Rennes Ver en el mapa Pyme Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención. Sí Región Bretagne Bretagne Ille-et-Vilaine Tipo de actividad Private for-profit entities (excluding Higher or Secondary Education Establishments) Enlaces Contactar con la organización Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Otras fuentes de financiación € 0,00