Search

General-purpose Operating Systems (OSes), such as Linux, are increasingly used in the safety-critical embedded systems industry, with usage in automotive, medical and cyber-physical systems. However, it is well known that general purpose OSes suffer from bugs. Recently, some major advances have

The de facto way of programming multi/manycore chips assumes that the memory is shared, and the hardware support for that is cache coherence throughout the memory hierarchy. The question of enabling the scaling of the protocol needed to ensure coherence is recurrent, because it requires to broadcast

The MAESTRO-5G project aims to develop technologies to implement and manage the slices of 5G radio access networks, in order to provide heterogeneous services, but also to enable dynamic infrastructure sharing between operators. To achieve this, the project brings together experts in the fields of p

The CANCAN project targets the following set of concrete objectives: Objective1. Collecting novel measurement datasets that describe mobile network data traffic at unprecedented spatial and temporal accuracy levels, and for different mobile services separately. The datasets will be gathered in an o

As software takes over more and more functionalities in embedded and safety-critical systems, bugs may endanger the safety of human beings and of the environment, or entail heavy financial losses. In spite of the development of verification and testing techniques, debugging still plays a crucial par

The Scalevisor project proposes to use hardware resources more efficiently by avoiding fragmentation. The principle of Scalevisor (a virtual machine manager, hypervisor) is to disaggregate the hardware resources (memory and processors) of several machines to reaggregate them into a single machine. W

Software testing practices have experienced rapid changes in recent years. This can be attributed to the wide adoption of agile methodologies (such as continuous integration and test-driven development), which put testing at the center of software development. Testing all the possible program inputs

The goal of the project is ensure, using formal methods, the end-to-end security of cryptographic code from the source until the binary. We intend to prove the absence of programming errors but also to ensure that security counter-measures are still present in the binary and are effective at protect

Due to the scarcity of electromagnetic spectrum resources and the need of broad bandwidth for high data-rate communications, the millimetre wave (mm-wave) and sub-THz bands from 30 to 350 GHz are very attractive for 5G and beyond 5G applications. In this context, NEXT5G is a fundamental research pro

Energy consumption has always been a concern in High Performance Computing (HPC) platforms. Today, it becomes even more critical due to the transition to the next generation extreme scale platforms and the their convergence with Cloud, BigData and Internet of Things. An increase of the computing per

Since few years we are witnessing the emergence of manycore architectures, namely to the implementation of massive parallelism on a single chip. Associated with the shrinking size of the transistors, announced reaching an 11nm technology on 2020, these manycore architectures should reach the integra

The PHILAE project aims to automate the creation and maintenance of automated functional tests by using model inference and machine-learning techniques, leveraging existing execution traces and software development meta-data. The aim is to dramatically reduce the cost of regression testing in agile

Runtime systems have to take decision that are critical for the performances of parallel applications. Unfortunately, these decisions can only use heuristics based on the current status of the application in order to estimate how it will behave in the future. As a consequence, runtime systems

The development of efficient and accurate numerical codes is a difficult task. Indeed it requires to know perfectly the targeted micro-architecture, the behavior of its computational units and its instruction set. But it also needs to carefully analyze the accuracy constraints of all the data of

In the last years has emerged the so-called Internet of Things (IoT) which consists in inter-connecting new (Smart) Objects via the hierarchical AS-graph of the Internet. Complex Human Cyber Physical Systems (HCPS) now require sophisticated interactions between sensors, actuators and humans to take

The HERA project aims to study heterogeneous (or multi-layer) network objects where several protocols coexist. Classical routing algorithms do not work on such networks due to their heterogeneity. The routing requires protocol changes and tunnel establishments. The project goal is twofold: first,

Type systems are used to automatically check security properties of large programs. This project will extend typing methodology to a large panel of properties currently unreachable by state-of-the-art tech-niques, enabling in particular the analysis of quantitative properties of programs. We will