Logo equipe MeForBio

Supports d'exécution

Systèmes d'exploitation temps-réel

 L'équipe Système Temps-Réel développe Trampoline, un système d'exploitation temps-réel compatible OSEK/VDX et AUTOSAR 4 distribué sous licence libre. Le développement de Trampoline a démarré en 2005 et a été soutenu par deux FUI : O4A Pilote et O4AII. Le développement de Trampoline a été entrepris pour satisfaire deux objectifs :

  1. disposer d'un système d'exploitation qui soit à la fois libre et compatible avec une norme employée dans l'industrie. À ce titre, Trampoline est utilisé pour l'enseignement et est utilisé industriellement par la société See4sys Technologie et fait partie de l'offre de logiciels de base AUTOSAR de Dassault Systems.
  2. disposer d'un support permettant le prototypage des travaux de recherche.

Trampoline est exploité dans deux ANR : Respected et Impro.

TRAMPOLINE : http://trampoline.rts-software.org

Mémoires transactionnelles

Les mémoires transactionnelles apparaissent aujourd'hui comme une solution prometteuse pour gérer les accès concurrents aux variables partagées sur des plate-formes d'exécution multicoeur. Contrairement aux approches à base de verrouillage (ex : sémaphores, spinlocks, etc.) qui, du fait des attentes liées aux verrous, ré-introduisent de la séquentialité d'exécution dans l'application, les mécanismes à base de mémoire transactionnelle permettent d'exploiter au maximum les capacités d'exécution parallèle des plate-formes multicoeur.

Dans ce contexte, nous nous intéressons à :

  • la conception et l'analyse de protocoles non bloquants à base de mémoire transactionnelle adaptés aux systèmes temps réel dur (garanties de progression de type wait-free) ;
    STM-HRT : http://stmhrt.rts-software.org
  • la mise en oeuvre de tels protocoles au sein d’un système d’exploitation temps réel.
    TRAMPOLINE : http://trampoline.rts-software.org
  • la proposition d'une méthodologie de vérification formelle de la validité fonctionnelle de ces protocoles par des approches de model-checking.

 

Logo-cnrsLogo-AtlanSticLogo-UniversiteNantesLogo-MinesNantesLogo-CentraleNanteslunamCOMUE