Nov. 2023: Kindly note that our website is (still) under construction.
The objective of the SYCOMORES project-team is to develop a framework for the design and the analysis of embedded real-time systems based on symbolic analysis of parametric components.
Application domains include safety critical embedded systems like avionics software, automotive and railway, as well as less critical applications like Telecommunication and Internet of Things appliances.
The expertise of the team covers the following research domains:
- Real-Time Scheduling and Scheduling Analysis, Real-Time Operating Systems;
- Synchronous Languages;
- Abstract Interpretation and Static Analysis of code;
- Proof Assistants;
- Logic and Type Theory.