The main goal of the SYCOMORES team is to reduce the complexity of designing and implementing large scale embedded real-time software projects by using modularity: component-based design and implementation, parametric model specification, and symbolic analysis. We use formal models and tools at all levels of abstraction.
To achieve this overarching goal, we research different but related topics:
- from system architecture (operating systems, scheduling and scheduling analysis);
- to data-flow programming (synchronous languages);
- to code analysis (abstract interpretation and WCET analysis);
- to proof assistants (Coq and co-induction);
- to logic and type theory (Kleen Algebra with Tests).
