SISE

SyCoMoRES team

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

Leader: Giuseppe Lipari

PRESENTATION MEMBERS THESES PUBLICATIONS

Presentation

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 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.

Members

Permanent

Chiara Daini

Dimensionnement des systèmes embarqués à criticités multiples pour une exécution efficace des algorithmes d'intelligence artificielle

Nordine Feddal

Ordonnancement temps-réel hiérarchique pour les plateformes hétérogènes distribuées

Pierre Goutagny

Vérification automatique de programmes Catala

Victor Sannier

Méthodes formelles pour la confidentialité différentielle

Les autres équipes du groupe thématique ' SISE '

2XS LINKS