Teams of the SISE group focus on safety and efficiency. A computer system is safe if it correctly achieves its functionality under accepted starting hypotheses. Our research relies on formal methods, so that we can prove mathematically that the system satisfies specified properties. We consider systems for which time and space complexity must be kept under check, due to either large amounts of date to process, or to limited hardware resources.
2XS designs tools to develop secure software embedded on low resource hardware. LINKS studies collections of linked databases and logical queries that extract data from them. SyCoMoRES develops a framework for the design and analysis of embedded real-time systems, based on symbolic analysis of parametric components.
français
English
