Giuseppe LIPARI

Statut

Professeur des universités

Promotion

Senior 2024

Établissement

Université de Lille

Secteur disciplinaire

Sciences et Technologies de l'Information et de la Communication

Chaire

Chaire Fondamentale

Spécialité

Informatique

Thématique

► Systèmes embarqués
► Systèmes temps réel
► Ordonnancement temps-réel

Présentation

Giuseppe Lipari s’intéresse à la spécification, le développement et l’analyse des systèmes temps réel.

Les systèmes embarqués temps réel (ERTS) sont des dispositifs qui réagissent à des événements dans des délais prédéfinis. De nombreux ERTS sont de nature critique : un dysfonctionnement peut mettre des vies humaines en danger. Ce projet propose une méthodologie pour l'analyse et la spécification modulaire des contraintes temporelles des ERTS. L'originalité de cette recherche réside dans l'utilisation de techniques symboliques et paramétriques pour la spécification des contraintes temporelles.