Environnement de développement d'applications multipériodiques sur plateforme multicoeur. La boîte à outil SchedMCore

Mikel Cordovilla 1
1 LAPS
Toulouse - ONERA - The French Aerospace Lab
Résumé : Les logiciels embarqués critiques de contrôle-commande sont soumis à des contraintes fortes englobant le déterminisme, la correction logique et la correction temporelle. Nous supposons que les spécifications sont exprimées à l'aide du langage formel de description d'architectures logicielles temps réel multipériodiques Prelude. L'objectif de cette thèse est, à partir d'un programme Prelude ou d'un ensemble de tâches temps réel dépendantes, de générer un code multithreadé exécutable sur une architecture multicoeur tout en respectant la sémantique initiale. Pour cela, nous avons développé une boîte à outil, SchedMcore, permettant: 1- d'une part, la vérification formelle de l'ordonnançabilité. La vérification proposée est basée sur le parcours exhaustif du comportement avec pas de temps discret. Il est alors possible d'analyser des politiques en-ligne (FP, gEDF, gLLF et LLREF) mais également de calculer une affectation de priorité fixe valide et une séquence valide hors-ligne. 2- d'autre part, l'exécution multithreadée sur une cible multicoeur. L'exécutif encode les politiques proposées étudiées dans la partie d'analyse d'ordonnançabilité, à savoir les quatre politiques en-ligne ainsi que les séquences valides générées. L'exécutif permet 3 modes d'utilisation, allant de la simulation temporelle à l'exécution temps précis des comportements des tâches. Il est compatible Posix et facilement portable sur divers OS.
Type de document :
Thèse
Calcul parallèle, distribué et partagé [cs.DC]. Université Paul Sabatier - Toulouse III, 2012. Français
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-00720709
Contributeur : Eric Noulard <>
Soumis le : mercredi 25 juillet 2012 - 14:33:06
Dernière modification le : mercredi 28 mars 2018 - 14:16:10
Document(s) archivé(s) le : vendredi 16 décembre 2016 - 03:16:31

Identifiants

  • HAL Id : tel-00720709, version 1

Collections

Citation

Mikel Cordovilla. Environnement de développement d'applications multipériodiques sur plateforme multicoeur. La boîte à outil SchedMCore. Calcul parallèle, distribué et partagé [cs.DC]. Université Paul Sabatier - Toulouse III, 2012. Français. 〈tel-00720709〉

Partager

Métriques

Consultations de la notice

402

Téléchargements de fichiers

631