Détail d'une fiche   Version PDF

SYCOMORES (SR0911FR)

Analyse symbolique et conception orientée composants pour des systèmes embarqués temps-réel modulaires

SYCOMORES


Statut: Décision signée

Responsable : Giuseppe Lipari

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2024" : Aucun mot-clé.

Mots-clés de "B - Autres sciences et domaines d'application - 2024" : Aucun mot-clé.

Domaine : Algorithmique, programmation, logiciels et architectures
Thème : Systèmes embarqués et temps réel

Période : 01/10/2021 -> 31/12/2025
Dates d'évaluation :

Etablissement(s) de rattachement : UNIVERSITE DE LILLE, CNRS
Laboratoire(s) partenaire(s) : CRISTAL (9189)

CRI : Centre Inria de l'Université de Lille
Localisation : Centre Inria de l'Université de Lille
Code structure Inria : 101064-0

Numéro RNSR : 202124119E
N° de structure Inria: SR0911FR

Présentation

L'objective de l'équipe-project commun SYCOMORES est de developper un framework pour la conception et l'analyse des systeèmes embarqués temps-réel,  basée sur l'analyse symbolique de composants parametriques.

SYCOMORES cherche à reduire la complexité du logiciel embarqué temps réel de grand taille en utilisant la modularité: conception et implementation basée sur les composants, specification parametrique de modèles et analyse symbolique. Nous utiliserons les méthodes formelles et les outils à tous niveaux d'abstraction.

Les domaines d'application sont les systèmes embarqués critiques comme les logiciels dans l'avionique, dans l'automotive et dans le férroviaire, et les systèmes sensitifs au temps comme les télécommunication et l'IoT.

En utilisant des méthodes formelles comme les langages synchrones, l'interpretation abstraite, l'analyse symbolique et les technique d'assistant de preuve, l'équipe SYCOMORES avancera vers l'objectif général de developper une architecture d'ordordonnancement basée sur les composants, une analyse modulaire et parametrique pour l'analyse du pire temps d'execution, et la génération modulaire de code correct par construction à partir de langages à haut niveau d'abstraction.


Axes de recherche

La recherche dans l'équipe SYCOMORES peut être classé dans les axes suivantes:

  • Axe 1 : Conception et implementation de composants temps-réel
  • Axe 2 : Analyse statique de composants temps-réel
  • Axe 3 : Preuve de composants temps-réel

 


Relations industrielles et internationales