Previous | 
Home
Section: Partnerships and Cooperations
European Initiatives
FP7 & H2020 Projects
VITAL
Participants : Salvatore Guzzo Bonifacio, Valeria Loscri, Nathalie Mitton [correspondant] , Riccardo Petrolo.
-
Title: Virtualized programmable InTerfAces for innovative cost-effective IoT depLoyments in smart cities
-
Internet-of-Things (IoT) applications are currently based on multiple architectures, standards and platforms, which have led to a highly fragmented IoT landscape. This fragmentation is evident in the area of smart cities, which typically comprise several technological silos (i.e. IoT systems that have been developed and deployed independently). Nowadays there is a pressing need to remove these silos in order to allow cities to share data across systems and coordinate processes across domains, thereby essentially improving sustainability and quality of life. In response to this need, VITAL will realize a radical shift in the development, deployment and operation of IoT applications, through introducing an abstract virtualized digital layer that will operate across multiple IoT architectures, platforms and business contexts. Specifically, VITAL will provide platform and business context agnostic access to Internet-Connected-Objects (ICO). Moreover, it will research virtualized filtering, complex event processing (CEP) and business process management mechanisms, which will be operational over a variety of IoT architectures/ecosystems. The mechanisms will compromise the diverse characteristics of the underlying ecosystems, thereby boosting interoperability at the technical and business levels. VITAL will also provide development and governance tools, which will leverage the project's interfaces for virtualized access to ICOs.VITAL will allow solution providers to (re)use a wider range of data steams, thereby increasing the scope of potential applications. It will also enable a more connected/integrated approach to smart city applications development, which will be validated in realistic deployments in London and Istanbul. The partners will contribute and adapt a host of readily available urban infrastructures, IoT platforms and novel IoT applications, which will ease the accomplishment of the project's goals based on an optimal value for EC money. Publications in 2016 in the framework of this project are: [21], [44], [43], [42].
VESSEDIA
Participant : Simon Duquennoy [correspondant] .
-
Title: VERIFICATION ENGINEERING OF SAFETY AND SECURITY CRITICAL DYNAMIC INDUSTRIAL APPLICATIONS
-
TECHNIKON FORSCHUNGS UND PLANUNGSGESELLSCHAFT MBH (TEC) 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 generalizing 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.