Assas Recherche | Cadre fondé sur les modèles pour une utilisation avancée de la théorie de l’ordonnancement dans la conception des systèmes temps réel

Cadre fondé sur les modèles pour une utilisation avancée de la théorie de l’ordonnancement dans la conception des systèmes temps réel (Document en Français)

Accès au(x) document(s)

Accéder au(x) document(s) :

https://theses.hal.science/tel-00954468

Ce document est protégé en vertu du Code de la Propriété Intellectuelle.

Modalités de diffusion de la thèse :

Thèse consultable sur internet, en texte intégral.

Informations sur les contributeurs

Auteur : Ouhammou (Ouhammou), Yassine

Ouhammou (Ouhammou), Yassine

Nom

Ouhammou

Nom de naissance

Ouhammou

Prénom

Yassine

Nationalité

Date de soutenance : 12-12-2013

Directeur(s) de thèse : Grolleau Emmanuel

Grolleau, Emmanuel

Nom

Grolleau

Prénom

Emmanuel

- Richard Mickaël

Richard, Mickaël

Nom

Richard

Prénom

Mickaël

- Richard Pascal

Richard, Pascal

Nom

Richard

Prénom

Pascal

Etablissement de soutenance : Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique

Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique

Nom

Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique

Laboratoire : Laboratoire d'Informatique et d'Automatique pour les Systèmes / LIAS

Laboratoire d'Informatique et d'Automatique pour les Systèmes / LIAS

Nom

Laboratoire d'Informatique et d'Automatique pour les Systèmes / LIAS

Ecole doctorale : École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018)

École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018)

Nom

École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018)

Informations générales

Discipline : Informatique et applications
Classification : Informatique

Mots-clés libres : Analyse d’ordonnançabilité
Mots-clés :

Ingénierie dirigée par les modèles
Ordonnancement (informatique)
Temps réel (informatique)
Systèmes embarqués (informatique)
Modèles mathématiques
Conception de systèmes informatiques

Résumé : Les systèmes embarqués temps réel nécessitent une analyse temporelle pour valider leur comportement temporel.Afin de réduire le coût de développement, l’analyse doit être effectuée à une phase précoce au moment de la modélisationpour détecter les anomalies de conception. L’analyse d’ordonnançabilité est une des analyses temporelles qui permettentde s’assurer du bon fonctionnement du système conçu. Elle est issue de la théorie de l’ordonnancement temps réel.Plusieurs méthodes et tests analytiques ont été proposés par la communauté académique mais peu sont les tests adoptéspar les industriels. En effet, l’utilisation des tests d’analyse exige une large connaissance des travaux de recherches - misà jour régulièrement - afin de choisir la méthode la plus adaptée aux systèmes conçus pour les valider ou les dimensionnerpour le cas des systèmes qui sont en cours de conception.Cette thèse s’intéresse à cette utilisation minimaliste de la théorie de l’ordonnancement dans l’industrie, et propose dessolutions d’aide à la décision basées sur l’ingénierie dirigée par les modèles. Nos solutions visent à augmenter l’applicabilitéde la théorie de l’ordonnancement, à faciliter le choix des tests appropriés et à réduire le surdimensionnement qui peutêtre généré au moment de la conception. Ces solutions sont implémentées dans un Framework appelé MoSaRT offrantdes fonctionnalités pour les concepteurs (modeleurs et analystes) afin d’améliorer le processus de conception des systèmestemps réel en vue de leur ordonnançabilité.

Informations techniques

Type de contenu : Text
Format : PDF

Informations complémentaires

Entrepôt d'origine :

STAR : dépôt national des thèses électroniques françaises

Identifiant : 2013ESMA0029
Type de ressource : Thèse

Fiche descriptive