Précédent : Présentation du projet Remonter : Projet REFLECS Suivant : Génie système prouvable et méthode

Actions de recherche

• Génie système prouvable et méthode TRDF
• Algorithmique TRDF
  • Systèmes Transactionnels Répartis Temps Réel (TR²)
  • Analyse holistique de systèmes répartis temps réel à ordonnancement par échéance la plus proche en premier
• Algorithmes d'ordonnancement
  • Analyse de l'ordonnancement par échéance la plus proche en premier
  • Analyse des ordonnancements à priorités fixes ou dynamiques dans les cas préemptif et non préemptif
  • Comparaison des ordonnancements préemptifs statique et dynamique