Description :

The research activities are structured into two main themes that cover all the activities around the design and the use of computer architecture, from the design of manycore processor and its NoC's to the deployment of validated and secured applications.

1. Design of manycore architecture and design & deployment of agile applications

The TSAR platform is now mature and has very strong scaling on various benchmarks, up to 1024 cores. The L1-L2 cache coherence algorithm is implemented and provides a easy way for programming the architecture, compared to DMA transfers requests. Some fault-tolerant and OS protection mechanisms (through virtualization) are also available. New methods and mathematical tools have been designed to optimize the deployment of cyclo-static applications.

 Research work also addresses methods and tools for optimization (e.g. threads and resources allocation) of multi-threaded applications.

 2. Methods and tools for computer architectures

The team works on attack models, formal methods and tools for robustness analysis and code hardening of embedded systems subject to physical attacks. A virtual prototype platform based on SoCLib is also available for design, analysis and verification (model checking) of heterogeneous multi-core systems for ADAS.