BASTRI - Fiches Equipes
Base des structures de recherche Inria
Base des structures de recherche Inria
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 - 2023" :
A2.1.9. Langages synchrones
, A2.3.1. Systèmes embarqués
, A2.3.3. Systèmes temps réel
, A2.4.1. Analyse
, A2.4.3. Preuves
, A2.6.1. Systèmes d'exploitation
, A7.2. Logique
Mots-clés de "B - Autres sciences et domaines d'application - 2023" :
B6.6. Systèmes embarqués
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
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.
La recherche dans l'équipe SYCOMORES peut être classé dans les axes suivantes:
La position est calculée automatiquement avec les informations dont nous disposons. Si la position n'est pas juste, merci de fournir les coordonnées GPS à web-dgds@inria.fr