Search
Spatial Modulation and reconfigurable antenna to provide high rate connectivity to mobile and energy autonomous sensors – SpatialModulation
1- Objectives: to design a new air interface for Mobile IoT to be imbedded in future baseline air interfaces for 5G mobile networks and WLAN Our project aims at designing a new air interface for horizon 2020 for high data rate mobile Internet of Things (IoT). It shall support, for instance, new I
AppRoximaTivE Flexible Circuits and Computing for IoT – ARTEFaCT
Energy issues are central to the ICT industry, and especially to the evolution of the Internet of Things (IoT). Current low-power design techniques cannot support the estimated growth in number IoT objects and in the same time keep the ICT energy consumption within sustainable bounds. This project a
The fine structure of formal proof systems and their computational interpretations – FISP
The FISP project fits in the continuation of the STRUCTURAL project (2011-2013), whose overall aim was to investigate the structure of formal proofs and the associated computational interpretations. FISP will focus on further developing the lines of research that have proved most fruitful in the STR
DATAcenter with Zero Emission and RObust management using renewable energy – DATAZERO
Since some years energy efficiency in datacenters is improving but the amount of electricity needed for operating those for hosting Cloud services is growing with the sizes of the infrastructure and the user demands. With renewable energies and the usage of direct current in datacenters, we believe
Multi-Antenna Full Duplex Radio for Future Wireless Systems – DUPLEX
Full duplex consists in transmitting and receiving simultaneously in the same frequency band, which in theory allows to increase the capacity of communication. DUPLEX project objectives are: - to study the theoretical limits (throughput) of full duplex communication equipment - to develop antenna
MODel-Based Verification of MEDical Cyber-Physical Systems – MODMED
The MCPS industry does not yet embrace formal method for several reasons: - the whole MCPS formalisation and runtime verification seems out of reach because their use is not sufficiently constrained and their sensors offer a very limited sense of their environnement. - formal methods are perceived
New-Generation of Routers for Energy Efficient Networks – N-GREEN
The N-GREEN project targets the current ICT challenges: the ever-growing global data traffic and unsustainable increase of energy consumption. The main bottleneck is the switching, extremely power-hungry in current electronic switch/routers. N-GREEN proposes a new type of switching/routing node by i
Verified OCaml Library – VOCAL
Our project aims at developing the first mechanically verified library of efficient general-purpose data structures and algorithms. This may come as a surprise, but there does not currently exist any verified library of significant size in any programming language. In the recent decades, a lot o
Noise Against Noise Decoders – NAND
The performance improvements obtained from the proper implementation of error control codes is one of the key elements that make the difference within competition. The key elements that makes a product successful can be either low complexity, low energy consumption, or low error probability perform
WaveForms Models for Machine Type Communications integrating 5G Networks – WONG5
WONG5 (Waveforms MOdels for Machine Type CommuNication inteGrating 5G Networks) project objectives are to study and propose Waveforms (WF) that are best suited for the physical layer of Critical Machine Type Communications (C-MTC). 50 billions of connected machines are expected in years 2020 for th
Workflow Data Management as a Service for Multi-Site Applications – OverFlow
As we move to the world of Big Data, single-site processing becomes insufficient: large scale scientific applications can no longer be accommodated within a single datacenter. Workflows are the perfect illustration of such data-driven applications. They describe the relationship between individual c
Combining abstract interpretation and constraint programming to verify critical properties of embedded programs with floating point computations – Coverif
Verifying correctness and robustness of programs and systems is a major challenge in a society which relies more and more on safety-critical systems controlled by embedded software. This issue is even more critical when the computations involve floating-point number arithmetic, an arithmetic known f
Correctness of Linux Scripts – Colis
This project aims at applying techniques from deductive program verification and analysis of tree transformations to the problem of analyzing shell scripts, in particular those that are used in software installation. These scripts play a central role in the initial installation of UNIX and Linux
Efficient resource allocation in congested networks – RACON
Congestion is a ubiquitous phenomenon arising in many real life situations like transportation or communication networks. Congestion appears when the offered load to the system approaches or exceeds its capacity, having a very bad impact from performance and economic point of view. It is therefore
Understanding and Diagnosing End-to-end Communication Bottlenecks of the Internet – BottleNet
As our lives become more dependent on the Internet, it is easy to understand people’s frustration when poor Internet performance prevents them from accomplishing ever-more important online activities. The Quality of Experience (QoE) when accessing the Internet is thus a key factor for today's societ
Design Continuum for Next Generation Energy-Efficient Compute Nodes – CONTINUUM
The coming decade will see the generalization of dematerialized computation and communication according to which computations and data will be « mobile » and served transparently to users. This will result from the convergence of current numerical technologies, including embedded systems via Interne