Project-team

SYCOMORES

Symbolic analysis and Component-based design for Modular Real-Time Embedded Systems
Symbolic analysis and Component-based design for Modular Real-Time Embedded Systems

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.

SYCOMORES aims at reducing the complexity of large scale embedded real-time software projects by using modularity: component-based design and  implementation, parametric model specification, and symbolic analysis. We will use formal models and tools at all levels of abstraction.

Application domains include safety critical embedded systems like avionics software, automotive and railway, as well as less critical time sensitive applications like Telecommunication and Internet of Things appliances.

By using formal methods such as synchronous languages, abstract interpretation, symbolic analyses and proof assistant techniques, the SYCOMORES team
will progress towards its general objective by developing a component-based scheduling architecture, a parametric and modular worst-case execution time analysis, and correct-by-construction modular code generation from high level formal languages.

Centre(s) inria
Inria Centre at the University of Lille
In partnership with
Université de Lille,CNRS

Contacts

Team leader

Nathalie Bonte

Team assistant

Karine Lewandowski

Team assistant