SEAS

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

Fabien Bouquillon

Improving the Reliability of Heterogeneous Multicore Architecture for Intelligent Transportation Systems

Frédéric Fort

Programming adaptive real-time systems

Sandro Grebant

Efficient tree-based symbolic WCET computation

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

2XS EAST Émeraude