COMmunications, networks, embedded and distributed systems
The COMRED team (COMmunications, networks, embedded and distributed systems) gathers the three research projects: AOSTE, COATI and SCALE. COMRED studies the advanced conception of systems based on formal models in the fields of embedded systems, distributed systems, and telecommunication networks. In particular we work on the entire conception process: graph-based modelling, specification and programmatic formalisms, implementation techniques, optimisation, analysis simulation, and verification. These activities involve the development of numerous software tools and algorithms. Several research topics are carried out in the context of several industrial collaborations and benefit from the interaction between formal results and practical developments in collaboration with industry. COATI and KAIROS are joint teams with INRIA.
The COMRED team works on the following research topics:
- COATI : algorithms, simulation, combinatorics and optimisation for the telecommunications;
- KAIROS : models and methods for the analysis and optimisation of embedded systems, under realtime constraints;
- SCALE : Safe Composition of Autonomous applications with Large-SCALE Execution environment ;