Aide au développement de systèmes temps réel à l'aide d'un langage graphique flots de données / NGO Khanh Hieu  

Titre : Aide au développement de systèmes temps réel à l'aide d'un langage graphique flots de données Type de document : thèse Auteurs : NGO Khanh Hieu ; Francis COTTET, Directeur de thèse ; Emmanuel GROLLEAU, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Frédéric BONIOL, Rapporteur ; Patrick MARTINEAU, Rapporteur ; Isabelle PUAUT, Examinateur ; Pascal RICHARD, Examinateur Importance : 221 p. Note générale : Remerciements Table des matières Introduction générale Bibliographie Annexes Résumé Mots clés Catégories : LabVIEW (langage de programmation) Systèmes embarqués (informatique) Temps réel (informatique) XML (langage de balisage) Index. décimale : TH-08 Résumé : INTRODUCTION Contexte de l'étude Cycle de développement d'un logiciel Le cycle de vie Logiciel/Matériel Support d'exécution pour le temps réel Méthodes de développement d'un logiciel Validation temporelle des systèmes temps réel DARTS : DU CONCEPT AU CODE Utilisation de la méthode DARTS Implémentation DARTS sur LabVIEW Implémentation DARTS sur les langages de programmation impératifs ARCHITECTURE DARTSVIEW Présentation de la palette DARTSVIEW Palette DARTSVIEW et le premier V du cycle de vie en W Palette DARTSVIEW et le second V du cycle de vie en W CAS D'ETUDE Diagramme DARTSVIEW du système de chauffage Génération de code du système de chauffage d'une maison DARSTVIEW vs les modifications de modèle DARTS du système de chauffage CONCLUSION En ligne : http://theses.edel.univ-poitiers.fr/theses/2008/Ngo-Khanh/2008-Ngo-Khanh-These.p [...]

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00007982	TH-08 NGO	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Aide à la validation temporelle et au dimensionnement de systèmes temps réel dans une démarche dirigée par les modèles / Thanh Dat NGUYEN  

Titre : Aide à la validation temporelle et au dimensionnement de systèmes temps réel dans une démarche dirigée par les modèles Type de document : thèse Auteurs : Thanh Dat NGUYEN, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; Yassine OUHAMMOU, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Olivier H. ROUX, Rapporteur ; Chokri MRHAIDA, Rapporteur ; Annie CHOQUET-GENIET, Examinateur ; Nicolas NAVET, Examinateur ; Laurent RIOUX, Examinateur Année de publication : 2020 Importance : 142 p. Note générale : NNT 2020ESMA0007 Remerciements Table des matières Liste des figures Liste des tableaux Introduction générale Bibliographie Résumé Mots clés Catégories : AADL (informatique) Analyse temporelle Ingénierie dirigée par les modèles Ordonnancement (informatique) Systèmes embarqués (informatique) Systèmes, Analyse de Systèmes, Conception de Temps réel (informatique) Résumé : SYSTÈMES EMBARQUÉS TEMPS RÉEL Introduction Structure des systèmes temps réel Caractéristiques des test d'ordonnançabilité Ingénierie dirigée par les modèles Langages dédiés aux systèmes temps réel Conclusion FOCUS SUR L'ANALYSE D'ORDONNANÇABILITÉ Introduction Ordonnancement monoprocesseur Ordonnancement multi-processeur Ordonnancement distribué (réparti) Outils d'analyse Discussion Conclusion CONTRAINTES DE PRÉCÉDENCE À BASE DE SÉMAPHORE POUR UNE COMMUNICATION MULTI-PÉRIODIQUE DÉTERMINISTE Introduction Modèles de représentation de contraintes de précédence Renforcement de la sémantique des SPC Politique d'ordonnancement et analyse d'ordonnançabilité Implémentation de SPC en AADL Étude de cas Outillage Conclusion TEST EXACT D'ORDONNANÇABILITÉ DE TÂCHES DÉPENDANTES SOUS G-FP Introduction Exemple motivationnel Analyse exacte de temps de réponse sous ordonnanceur FP sur plateforme monoprocesseur Analyse exacte de temps de réponse sous ordonnanceur FP sur plateforme multi-processeur identique Vérification temporelle Conclusion VERS UN RÉFÉRENTIEL D'ANALYSE GÉNÉRIQUE Introduction Travaux connexes : méthodes d'aide à la conception Positionnement Identification Rule Language (IRL) Le référentiel d'analyse générique Transformation et adaptation Conclusion CONCLUSION ET PERSPECTIVES Conclusion Perspectives En ligne : https://tel.archives-ouvertes.fr/tel-03079085

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
TH-20 NGUt	NGU	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Analyse hors ligne d'ordonnançabilité d'applications temps réel comportant des tâches conditionnelles et sporadiques / Stéphane PAILLER

Titre : Analyse hors ligne d'ordonnançabilité d'applications temps réel comportant des tâches conditionnelles et sporadiques Type de document : thèse Auteurs : Stéphane PAILLER ; Annie CHOQUET-GENIET, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Marc BOURCERIE, Rapporteur ; Guy VIDAL-NAQUET, Rapporteur ; Michel MERIAUX, Examinateur ; Michel AUGERAUX, Examinateur Importance : 204 p. Note générale : Remerciements Table des matières Liste des figures Références bibliographiques Résumé Mots clés Catégories : Ordonnancement (informatique) Petri, Réseaux de Temps réel (informatique) Index. décimale : TH-06 Résumé : ETAT DE L'ART Systèmes temps réel Ordonnancement et validation Modélisation d'un système temps réel par réseaux de Pétri CONTRIBUTION Modèle de tâche conditionnelle Applictions munies de tâches conditionnelles

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00007192	TH-06 PAI	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Analyse et validation des applications temps réel en présence de transactions : application au pilotage d'un drone miniature / Karim TRAORE

Titre : Analyse et validation des applications temps réel en présence de transactions : application au pilotage d'un drone miniature Type de document : thèse Auteurs : Karim TRAORE ; Francis COTTET, Directeur de thèse ; Emmanuel GROLLEAU, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Ye-Qiong SONG, Rapporteur ; Yvon TRINQUET, Rapporteur ; Francis COTTET, Examinateur ; Emmanuel GROLLEAU, Examinateur ; Nicolas NAVET, Examinateur ; Isabelle PUAUT, Examinateur ; Pascal RICHARD, Examinateur Importance : 273 p. Note générale : NNT 2007POIT2261 Remerciements Table des matières Introduction générale Catégories : Informatique Temps réel (informatique) Index. décimale : TH-07 Résumé : ETAT DE L'ART SYSTEMES TEMPS REEL Présentation succinte de l'application drone miniature Généralités sur le temps réel Approche synchrone et approche asynchrone La notion de tâche Exécutif temps réel Normalisation des exécutifs temps réel Ordonnancement en-ligne de systèmes temps réel Validation de systèmes temps réel par analyse de la période d'activité LES MODELES DE TACHES PRENANT EN COMPTE LES DECALAGES D'ACTIVATIONS Le modèles de tâches multiframes Le modèle de tâches à offsets CONTRIBUTION CONTRIBUTION A L'ORDONNANCEMENT DE TZCHS PRENANT EN COMPTE LE DECALAGE Transactions séries Les transactions monotoniques Multiframes et tâches à offsets Récapitulatifs PARTIE PRATIQUE : APPLICATION DRONE MINIATURE Présentation du projet Description expérimentale Fonctionnement général de l'application Définition de l'architecture logicielle de l'application Développement sur OSEK/VDX

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00007230	TH-07 TRA	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Approximation des temps de réponse des tâches sporadiques à priorité fixe dans les systèmes monoprocesseurs / Thi Huyen Chau NGUYEN  

Titre : Approximation des temps de réponse des tâches sporadiques à priorité fixe dans les systèmes monoprocesseurs Type de document : thèse Auteurs : Thi Huyen Chau NGUYEN, Auteur ; Pascal RICHARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Maryline CHETTO, Rapporteur ; Laurent GEORGE, Rapporteur ; Joël GOOSSENS, Examinateur ; Emmanuel GROLLEAU, Examinateur ; Isabelle PUAUT, Examinateur Année de publication : 2010 Importance : 108 p. Note générale : NNT 2010ESMA0014 Remerciements Table des matières Bibliographie Résumé Mots clés Langues : Français (fre) Catégories : Ordonnancement (informatique) Temps réel (informatique) Résumé : INTRODUCTION Définition générale Notations liées aux tâches et à l'ordonnancement Objectifs de l'étude Organisation du mémoire et contributions ORDONNACEMENT A PRIORITE FIXE Tests d'ordonnançabilité Principaux tests d'ordonnançabilité Principales bornes de temps de réponse CONTINUITE ET ORDONNANCABILITE Borne de Sjödin et Hansson Borne de Bini et Baruah Analyse Expérimentations TACHES A ECHEANCES CONTRAINTES AVEC GIGUES D'ACTIVATION Définitions Bornes des pires temps de réponse Analyse pire cas des bornes d'erreur Expérimentations numériques TACHES A ECHEANCES ARBITRAIRES Modèle de tâches et résultats connus Analyse du schéma d'approximation de Fischer et Baruah Version révisée de l'algorithme de Fischer et Baruah Correction du schéma d'approximation CONCLUSION En ligne : http://tel.archives-ouvertes.fr/tel-00554265/fr/

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00008572	TH-10 NGU	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt
TH-10 NGU	NGU	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

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 / Yassine OUHAMMOU  

Titre : 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 Type de document : thèse Auteurs : Yassine OUHAMMOU, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; Pascal RICHARD, Directeur de thèse ; Mickaël RICHARD, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Marco DI NATALE, Rapporteur ; Frank SINGHOFF, Rapporteur ; Yves SOREL, Rapporteur ; Jérôme HUGUES, Examinateur Importance : 214 p. Note générale : NNT 2013ESMA0029 Remerciements Contents Appendices Bibliography Abstract Key words Catégories : Ingénierie dirigée par les modèles Modèles mathématiques Ordonnancement (informatique) Systèmes embarqués (informatique) Systèmes, Conception de Temps réel (informatique) Résumé : Introduction RESEARCH FOUNDATIONS Real-time systems : generalities and definitions Real-time scheduling Technological background CONTRIBUTIONS Synthesis and work orientation MoSaRT design language MoSaRT analysis repository MoSaRT framework CONCLUSION AND PERSPECTIVES En ligne : http://tel.archives-ouvertes.fr/tel-00954468

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00010379	TH-13 OUH	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt
TH-13 OUH	OUH	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

CIM et temps réel : Mise en oeuvre d'un atelier de génie logiciel et de génie automatique / Henri BRENIER

Titre : CIM et temps réel : Mise en oeuvre d'un atelier de génie logiciel et de génie automatique Type de document : texte imprimé Auteurs : Henri BRENIER Editeur : Dunod Année de publication : 1992 Collection : Informatique Industrielle Importance : 245 p. ISBN/ISSN/EAN : 978-2-10-001141-4 Note générale : Préface Table des matières Introduction Liste des figures Bibliographie Catégories : Automatisation Génie industriel Génie logiciel Gestion Gestion:Informatique Industrie Industrie:Informatique Productique Temps réel (informatique) Index. décimale : 004.33 Temps réel Résumé : CHAMPS D'APPLICATIONS L'usine intégrée Pour une méthode de spécification du CIM Modules à puces intégrés à des produits Pour un langage de modélisation d'OMIC OMIC ET CIM Les outils de manipulation de l'information et de contrôle (OMIC) Gestion des développements CIM LANGAGES DE L'ANALYSE STRUCTUREE Bases cybernétiques des langages de modélisation Systèmes de données (SyD) Systèmes de transformations de données THEORIE DES PHENOMENES Signaux et phénomènes Diagrammes des flux et des influences Phénomènes discrets ou d'automatisme Phénomènes non discrets LA MODELISATION Modélisation de climatiser habitacle Pratique de la modélisations

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00004102	004.33 BRE	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
00004101	004.33 BRE	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Contribution à l'analyse d'ordonnançabilité des applications temps réel multiporcesseurs / Sadouanouan MALO  

Titre : Contribution à l'analyse d'ordonnançabilité des applications temps réel multiporcesseurs Type de document : thèse Auteurs : Sadouanouan MALO, Auteur ; Annie CHOQUET-GENIET, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Guy VIDAL-NAQUET, Rapporteur ; Patrick MARTINEAU, Rapporteur ; Jean-Philippe BABAU, Examinateur ; Dominique GENIET, Examinateur ; Gaëlle LARGETEAU-SKAPIN, Examinateur Année de publication : 2010 Importance : 167 p. Note générale : NNT 2010ESMA0018 Remerciements Table des matières Avant-propos Notations Introduction générale Liste des tableaux Liste des figures Bibliographie Résumé Mots clés Langues : Français (fre) Catégories : Ordonnancement (informatique) Petri, Réseaux de Temps réel (informatique) Résumé : ETAT DE L'ART Ordonnancement multiprocesseur Ordonnancement hors-ligne CONTRIBUTION Etude du problème de la cyclicité des ordonnancements multiprocesseurs Reconfiguration en cas de panne processeur Etude des ordonnancements p-équitables pour les tâches à départs différés et à échéances contraintes Gestion des tâches apériodiques CONCLUSION ET PERSPECTIVES En ligne : http://tel.archives-ouvertes.fr/tel-00554234/fr/

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00008578	TH-10 MAL	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt
TH-10 MAL	MAL	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Contribution à la gestion de la régularité d'exécution des tâches d'une application temps réel à contraintes strictes, dans un contexte d'ordonnancement en ligne / Laurent DAVID

Titre : Contribution à la gestion de la régularité d'exécution des tâches d'une application temps réel à contraintes strictes, dans un contexte d'ordonnancement en ligne Type de document : thèse Auteurs : Laurent DAVID ; Francis COTTET, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Claude KAISER, Rapporteur ; Isabelle PUAUT, Rapporteur ; G. JUANOLE, Examinateur ; Nimal NISSANKE, Examinateur ; Patrick MARTINEAU, Examinateur Année de publication : 2002 Importance : 222 p. Note générale : Remerciements Table des matières Notations et abréviations Conclusion générale Références bibliographiques Publications liées à ce mémoire de thèse Langues : Français (fre) Catégories : Logiciels Parallélisme (informatique) Systèmes embarqués (informatique) Temps réel (informatique) Index. décimale : TH-02 Résumé : LE CONTEXTE DE L'ETUDE Définitions - vocabulaire Les contraintes temporelles Modèle de tâche périodique & Odonnancement Définition de la gigue Les définitions connues de la gigue La gigue : critère d'apparition et conséquences Conclusion ETAT-DE-L'ART Approche en ligne Approche hors ligne Modèles de tâches spécifiques Conclusion TECHNIQUE DE TRAITEMENT DE LA GIGUE DANS LES SYSTEMES TEMPS REEL Méthodologie de traitement de la gigue Annulation de la gigue de régularité Encadrement de la gigue de régularité Prise en compte de ressources partagées Application au contrôle d'autres paramètres Conclusion EXPERIMENTATIONS NUMERIQUES Présentation de l'outil de simulations Tests d'efficacité de la méthode Conclusion APPLICATION A L'EXPERIENCE DU PENDULE INVERSE Introduction Modélisation du banc l'application du temps réel de contrôle du pendule L'ordonnancement des tâches Conclusion

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00008128	TH-02 DAV	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Contribution à la validation des systèmes temps réels distribués : Ordonnancement à priorités fixes et placement / Mickaël RICHARD

Titre : Contribution à la validation des systèmes temps réels distribués : Ordonnancement à priorités fixes et placement Type de document : thèse Auteurs : Mickaël RICHARD, Auteur ; Francis COTTET, Directeur de thèse ; Pascal RICHARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Jean-Charles BILLAUT, Rapporteur ; Mammeri ZOUBIR, Rapporteur ; Yvon TRINQUET, Rapporteur ; Joël GOOSSENS, Examinateur Année de publication : 2002 Importance : 265 p. Note générale : Remerciements Table des matières Introduction générale Conclusion Glossaire Annexes Langues : Français (fre) Catégories : Informatique Logiciels Ordonnancement (informatique) Systèmes embarqués (informatique) Temps réel (informatique) Index. décimale : TH-02 Résumé : BASES DE L'ORDONNANCEMENT EN-LIGNE DE SYSTEMES TEMPS REELS Introduction Architecture des systèmes temps réels Ordonnancement de systèmes monoprocesseurs Les systèmes distribués Placement ANALYSE HOLISTIQUE Détermination et analyse du pire cas Analyse holistique Calcul des pires temps de réponse des tâches et des messages AFFECTION DES PRIORITES Problématique Structure de l'arbre de recherche Principes généraux de la procédure de recherche Arbre de recherche : Principe d'évaluation Arbre de recherche : Test et coupe Extension du protocole d'accès aux ressources critiques Exemple : cas d'étude Expérimentation PLACEMENT ET AFFECTION Architecture du systèmes temps réel Placement et affection Exemple Expérimentation CONTRAINTES DE PRECEDENCE ET ORDONNANCEMENT MONOPROCESSEUR Modèles de tâches Anomalies d'ordonnancement Cas particuliers Test général d'ordonnançabilité Application sur l'exemple [HKL94] APPLICATION SUR UNE ARCHITECTURE DISTRIBUEE Architecture des systèmes distribués dans l'automobile Méthode d'affectation des priorités Méthode de placement et d'affection

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00008127	TH-02 RIC	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Contributions à la conception à base de modèles des systèmes temps réel en vue de leur analyse de performance temporelle / Anh Toan BUI LONG  

Titre : Contributions à la conception à base de modèles des systèmes temps réel en vue de leur analyse de performance temporelle Type de document : thèse Auteurs : Anh Toan BUI LONG, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; Yassine OUHAMMOU, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Yamine AIT AMEUR, Examinateur ; Christian ATTIOGBE, Rapporteur ; Jérôme HUGUES, Rapporteur ; Liliana CUCU-GROSJEAN, Examinateur Importance : 146 p. Note générale : NNT 2018ESMA0020 Remerciements Table des matières Liste des figures Liste des tableaux Introduction générale Bibliographie Liste des acronymes Liste des symboles Résumé Mots clés Catégories : Analyse temporelle Ingénierie dirigée par les modèles Modélisation des données (informatique) Ordonnancement dynamique Systèmes à paramètres répartis Systèmes, Analyse de Systèmes, Conception de Temps réel (informatique) Tolérance aux fautes (informatique) Résumé : ÉTAT DE L'ART Ordonnancement temps-réel Conception dirigée par les modèles des systèmes temps réel CONTRIBUTIONS Adaptation conservative des cas pratiques à l'analyse Les réseaux dans les analyses temps réel Extraction conservative et patrons de modèles d'analyses CONCLUSIONS Conclusions et perspectives En ligne : https://tel.archives-ouvertes.fr/tel-02080119

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
TH-18 BUI	BUI	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Contributions à l'ordonnacement et l'analyse des systèmes temps réel critiques / François DORIN  

Titre : Contributions à l'ordonnacement et l'analyse des systèmes temps réel critiques Type de document : thèse Auteurs : François DORIN, Auteur ; Pascal RICHARD, Directeur de thèse ; Mickaël RICHARD, Directeur de thèse ; Emmanuel GROLLEAU, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Ye-Qiong SONG, Rapporteur ; Patrick MARTINEAU, Rapporteur ; Yvon TRINQUET, Examinateur Année de publication : 2010 Importance : 154 p. Note générale : NNT 2010ESMA0012 Table des matières Table des figures Liste des tableaux Introduction générale Annexes Index Bibliographie Résumé Mots clés Langues : Français (fre) Catégories : Ordonnancement (informatique) Temps réel (informatique) Résumé : ETAT DE L'ART Introduction Validation des systèmes temps réel CONTRIBUTIONS Algorithme d'optimisation du nombre de processeurs dans une architecture distribuée Modèle à criticité multiple Ordonnancement semi-partitionné avec migrations restreintes CONCLUSION En ligne : http://tel.archives-ouvertes.fr/tel-00554806/fr/

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00008589	TH-10 DOR	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt
TH-10 DOR	DOR	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Contributions à la validation d'ordonnancement temps réel en présence de transactions sous priorités fixes et EDF / Ahmed RAHNI  

Titre : Contributions à la validation d'ordonnancement temps réel en présence de transactions sous priorités fixes et EDF Type de document : thèse Auteurs : Ahmed RAHNI ; Pascal RICHARD, Directeur de thèse ; Emmanuel GROLLEAU, Directeur de thèse ; Mickaël RICHARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Ye-Qiong SONG, Rapporteur ; Maryline CHETTO, Rapporteur ; Yvon TRINQUET, Examinateur ; Francis COTTET, Examinateur ; Joël GOOSSENS, Examinateur Importance : 196 p. Note générale : NNT 2008POIT2307 Table des matières Table des figures Liste des tableaux Annexes Bibliographie Résumé Mots clés Catégories : Ordonnancement (informatique) Temps réel (informatique) Index. décimale : TH-08 Résumé : ETAT DE L'ART Systèmes temps réel et ordonnancement Analyse d'ordonnançabilité des tâches avec décalage d'activation (à offsets) CONTRIBUTIONS Analyse mixte du pire temps de réponse des tâches à offsets en priorités fixes Identification des instants critiques pire cas, en priorités fixes Analyse d'ordonnançabilité des transactions avec priorités dynamiques EDF153 En ligne : http://tel.archives-ouvertes.fr/tel-00368101/fr/

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00007950	TH-08 RAH	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Un environnement unifié pour le développement sur puce à coeurs asymétriques / Roy JAMIL  

Titre : Un environnement unifié pour le développement sur puce à coeurs asymétriques Type de document : thèse Auteurs : Roy JAMIL, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Liliana CUCU-GROSJEAN, Rapporteur ; Jean-Philippe BABAU, Rapporteur ; Nicolas NAVET, Examinateur ; Antoine BERTOUT, Examinateur Importance : 180 p. Note générale : NNT 2022ESMA0003 Remerciements Table des matières Liste des figures Bibliographie Résumé Mots clés Catégories : Multiprocesseurs Ordonnancement (informatique) Systèmes embarqués (informatique) Systèmes sur puce Temps réel (informatique) Résumé : LES SYSTÈMES MULTICŒURS ASYMÉTRIQUES Introduction Systèmes embarqués Systèmes temps réel Multiprocesseurs asymétriques Les avantages des systèmes multiprocesseurs asymétriques Les défis de l'environnement de développement AMP Besoin industriel Les apports de la thèse Organisation de la thèse Publications scientifiques ARCHITECTURES OPÉRATIONNELLES DES SYSTÈMES EMBARQUÉS TEMPS RÉEL Introduction Architectures opérationnelles des systèmes embarqués Stratégies d’ordonnancement Systèmes d'exploitation ciblés Conclusion ARCHITECTURE DES PROCESSEURS HÉTÉRAOGÈNES Introduction Pipeline Mémoire virtuelle Mémoire cache Interruptions Bus et périphériques sur puce Architecture ARM ARM big.LITTLE Systèmes asymétrique hétérogène Communication inter-processeurs Développement sur des processeurs ARM Débogage Firmware Conclusion MESURE DE DURÉE D'EXÉCUTION Introduction Pire durée d'exécution Méthodes d'analyse de WCET Caractéristiques des techniques de mesure Méthodes de mesure sur un cœur Comparaison expérimentale Mesure expérimentale de durée d'exécution sur un système multicœur SMP Contribution industrielle Conclusion MESURE DE DURÉE D'EXÉCUTION ET MIGRATION SUR LES SYSTÈMES AMP Introduction Application AMP Mesure de durée d'exécution sur les systèmes AMP Méthodes de mesure Migration hétérogène Étude de cas ROSACE Discussion et perspective Conclusion ENVIRONNEMENT DE DÉVELOPPEMENT UNIFIÉ Introduction SW4Linux Outils de développement des microcontrôleurs Environnement de développement unifié Conclusion CONCLUSION ET PERSPECTIVES Aperçu de la thèse Mesure de durée d'exécution Application AMP Environnement de développement unifié Fiabilisation des mesures et analyses de durées En ligne : https://tel.archives-ouvertes.fr/tel-03662259

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
TH-22 JAM	JAM	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Etude temporelle des applications temps réel distribuées à contraintes strictes basée sur une analyse d'ordonnançabilité / Samia SAAD-BOUZEFRANE

Titre : Etude temporelle des applications temps réel distribuées à contraintes strictes basée sur une analyse d'ordonnançabilité Type de document : thèse Auteurs : Samia SAAD-BOUZEFRANE ; Francis COTTET, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Claude KAISER, Rapporteur ; Zoubir MAMMERI, Rapporteur ; Guy PIERRA, Examinateur ; F. SIMONOT-LION, Examinateur ; Yvon TRINQUET, Examinateur Importance : 180 p. Note générale : Remerciements Table des matières Introduction générale Conclusion générale Bibliographie Annexes Catégories : Informatique Ordonnancement (informatique) Réseaux locaux (informatique) Réseaux locaux industriels (informatique) Temps réel (informatique) Index. décimale : TH-98 Résumé : INTRODUCTION AUX SYSTEMES INFORMATIQUES TEMPS REEL Les systèmes temps réel Les réseaux de communication temps réel Cadre du travail ORDONNANCEMENT DES TACHES Modélisation des tâches Représentation d'une séquence Classification des tâches Les tâches indépendantes Les tâches dépendantes LES PRINCIPAUX PROTOCOLES MAC ADAPTES AUC COMMUNICATIONS TEMPS REEL Classification des protocoles MAC Les techniques d'accés Protocoles à accés aléatoire Protocoles d'accés à contrôle centralisé : exemple de FIP Protocoles d'accés à contrôle distribué ENVIRONNEMENTS TEMPS REEL REPARTIS Quelques exécutifs temps réel répartis Outils et méthode de validation UNE METHODOLOGIE DE VALIDATION BASEE SUR UNE ANALYSE D'ORDONNANCABILITE Le modèle général Principe de la méthodologie Exemples d'applications temps réel réparties ANALYSE DES PERFORMANCES MOSARTS: un outil de validation d'applications temps réel réparties Les critères de performance mesurés Résultats de simulation

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00006952	TH-98 SAA	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Evaluation et validation des systèmes distribués avioniques / Georges Arnaud KEMAYO  

Titre : Evaluation et validation des systèmes distribués avioniques Type de document : thèse Auteurs : Georges Arnaud KEMAYO, Auteur ; Pascal RICHARD, Directeur de thèse ; Frédéric RIDOUARD, Directeur de thèse ; Henri BAUER, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Jean-Luc SCHARBARG, Rapporteur ; Laurent GEORGE, Rapporteur ; Yvon TRINQUET, Examinateur Importance : 167 p. Note générale : NNT 2014ESMA0010 Remerciements Table des matières Introduction générale Publications Annexes Notations Acronymes Résumé Mots clés Catégories : Avionique Certification Systèmes à paramètres répartis Temps réel (informatique) Résumé : ETAT DE L'ART Introduction aux systèmes avioniques Méthodes de validation CONTRIBUTIONS Analyse de la méthode des trajectoires Nouvelle méthode d'analyse des délais de bout en bout dans l'AFDX CONCLUSION ET PERSPECTIVES En ligne : https://tel.archives-ouvertes.fr/tel-01127020

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00010734	TH-14 KEM	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt
TH-14 KEM	KEM	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Extension des systèmes de métamodélisation persistant avec la sémantique comportementale/Handling behavioral semantics in persistent metamodeling systems / Youness BAZHAR  

Titre : Extension des systèmes de métamodélisation persistant avec la sémantique comportementale/Handling behavioral semantics in persistent metamodeling systems Type de document : thèse Auteurs : Youness BAZHAR, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; Stéphane JEAN, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Mohand-Saïd HACID, Rapporteur ; Régine LALEAU, Rapporteur ; Yves LEDRU, Examinateur ; Ladjel BELLATRÈCHE, Examinateur ; Patrick FARAIL, Examinateur ; Oscar PASTOR, Examinateur Importance : 157 p. Note générale : NNT 2013ESMA00019 Contents Introduction Bibliography List of figures List of tables Relted publications Résumé étendu Mots clés Catégories : Bases de données:Conception Ingénierie dirigée par les modèles Ontologies (informatique) Systèmes embarqués (informatique) Temps réel (informatique) Résumé : STATE OF THE ART METAMODELING AND MODEL MANAGEMENT Introduction Background on MDE Metamodeling Model management Conclusion PERSISTENT SOLUTIONS FOR METAMODELING AND MODEL MANAGEMENT Introduction Model repositories and their exploitation languages Persistent metamodeling and model management systems The OntoDB/OntoQL PMMS Conclusion CONTRIBUTIONS REQUIREMENTS FOR COMPLETE PERSISTENT METAMODELING SYSTEMS Introduction Requirements for complete PMMS Synthesis and discussion Objectives Conclusion BeMoRe: MODELING AND FORMAL REPRESENTATION Introduction Conceptual extension Logical extension Formalization of the conceptual extension Extension of the algebra of the PMMS exploitation language Conclusion BeMoRe: EXTENSION OF THE ESPLOITATION LANGUAGE AND PROTOTYPING Introduction Extension of the OntoQL language The BeMoRe prototype A preliminary performance evaluation Conclusion APPLICATIONS MANAGING NON CANONICAL CONCEPTS IN ONTOLOGY-BASED DATABASES Introduction Background on ontologies Ontology-based databases (OBDBs) Encoding the structural semantics of the OWL language Encoding operations for computing OWL non canonical concepts Conclusion ENHANCING A METHOD TO DESIGN ONTOLOGY-BASED DATABASES Introduction The considered OBDB design methodology Enhancing the OBDB design methodology Conclusion MODEL TRANSFORMATION AND MODEL ANALYSIS Introduction Motivating example Supporting AADL and MARTE in PMMS Transforming models within PMMS Using operations for model analysis Conclusion CONCLUSIONS AND PERSPECTIVES En ligne : http://tel.archives-ouvertes.fr/tel-00939900

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00010408	TH-13 BAZ	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt
TH-13 BAZ	BAZ	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Un framework d’aide au déploiement et à la personnalisation des systèmes temps réel : application aux autopilotes de drones / Soulimane KAMNI  

Titre : Un framework d’aide au déploiement et à la personnalisation des systèmes temps réel : application aux autopilotes de drones Type de document : thèse Auteurs : Soulimane KAMNI, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; Yassine OUHAMMOU, Directeur de thèse ; Antoine BERTOUT, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Jean-Philippe BABAU, Rapporteur ; Jean HLADIK, Rapporteur ; Annie CHOQUET-GENIET, Examinateur ; Jérôme ERMONT, Auteur Importance : 145 p. Note générale : NNT 2023ESMA0014 Résumé Mots clés Remerciements Table des matières Liste des figures Liste des tableaux Liste des abréviations Liste des symboles Bibliographie Résumé Mots clés Catégories : Drones Durée de vie (ingénierie) Ingénierie dirigée par les modèles Ordonnancement (informatique) Systèmes embarqués (informatique) Systèmes, Conception de Temps réel (informatique) Résumé : INTRODUCTION GÉNÉRALE Contexte et motivations Objectifs de la thèse Organisation de la thèse Publications scientifiques SYSTÈMES EMBARQUÉS TEMPS RÉEL ET CONCEPTION À BASE DES MODÈLES Introduction Système embarqué temps réel Cycle de vie de développement des systèmes temps réel Méthodologies et langages de conception standardisés Conception des systèmes temps réel Conclusion ORDONNANCEMENT ET VALIDATION DES SYSTÈMES TEMPS RÉEL Introduction Modèles de tâche Orodonnancement monoprocesseur Orodonnancement multiprocesseur Analyse d'ordonnançabilité et validation Outils d'analyse basés sur les modèles État de l'art sur les méthodes de déploiement des systèmes temps réel Conclusion RYM : UNE APPROCHE BASÉE SUR LES RYTHMES POUR LE PRÉ-DÉPLOIEMENT DES RTES CRITIQUES Introduction Principe général Étude de cas Comparaison Outil Conclusion PERSONNALISATION DU LOGICIEL D'AUTOPULOTES DE DRONES À TRAVERS UN GFRAMEWORK DE RÉTRO-INGÉNIERIE Introduction État de l'art sur la visualisation logicielle et la rétro-ingénierie Conception des autopilotes des UAV Architecture logicielle abstraite d'un autopilote Exemple motivationnel Architecture de Paparazzi Concepts spécifiques dans l'architecture logicielle des autopilotes Implémentaiton du framework État de l'art sur les systèmes à décalage libre (offset-free) Application Conclusion CONCLUSION GÉNÉRALE En ligne : https://theses.hal.science/tel-04399687

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
TH-23 KAM	KAM	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Génie logiciel : les méthodes SADT, SA, E-A, SA-RT, SYS-P-O, OOD, HOOD... / Patrick JAULENT

Titre : Génie logiciel : les méthodes SADT, SA, E-A, SA-RT, SYS-P-O, OOD, HOOD... Type de document : texte imprimé Auteurs : Patrick JAULENT Mention d'édition : Deuxième édition Editeur : Armand Colin Année de publication : 1992 Importance : 295 p. ISBN/ISSN/EAN : 978-2-200-42041-3 Note générale : Table des matières. Annexe. Bibliographie. Catégories : Génie logiciel Industrie Industrie:Informatique Informatique Langages orientés objets (informatique) Temps réel (informatique) Index. décimale : 005.133 Langages spécifiques Résumé : Génie logiciel : Approche industrielle. Conception statique d'un système. Conception dynamique d'un système. La spécification statique du logiciel. La spécification dynamique du logiciel. Les enjeux de la conception du logiciel. La pensée impérative. La conception structurée. La pensée applicative. Le langage ADA.

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000674	005.133 JAU	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Intégration d'éléments sémantiques dans l'analyse d'ordonnançabilité des applications temps-réel / Christian FOTSING TAKOUTSI  

Titre : Intégration d'éléments sémantiques dans l'analyse d'ordonnançabilité des applications temps-réel Type de document : thèse Auteurs : Christian FOTSING TAKOUTSI, Auteur ; Annie CHOQUET-GENIET, Directeur de thèse ; Guy VIDAL-NAQUET, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Franck POMMEREAU, Rapporteur ; Frank SINGHOFF, Rapporteur ; Emmanuel GROLLEAU, Examinateur ; Christophe AUSSAGUES, Examinateur Année de publication : 2012 Importance : 226 p. Note générale : NNT 2012ESMA0003 Remerciements Table des matières Table des figures Annexe Bibliographie liée à la thèse Bibliographie Index Langues : Français (fre) Catégories : Logiciels:Validation Méthodes formelles (informatique) Ordonnancement (informatique) Petri, Réseaux de Simulation, Méthodes de Temps réel (informatique) Résumé : INTRODUCTION GENERALE Les systèmes temps-réel La problématique Objectifs et intérêts du travail Contribution : méthodologie globale Plan et contenu de la présentation ETAT DE L'ART Synthèse de quelques travaux connexes Validation par les réseaux de Pétri CONTRIBUTION Modélisation d'une tâche Modélisation de l'application Les arbres d’ordonnancement Ordonnancement linéaire versus ordonnancement arborescent Mise en œuvre avec les réseaux de Pétri CONCLUSTION GENERALE Conclusion Perspectives En ligne : http://tel.archives-ouvertes.fr/tel-00684788

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00009301	TH-12 FOT	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt
TH-12 FOT	FOT	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Introduction aux systèmes embarqués temps réel : conception et mise en oeuvre / Emmanuel GROLLEAU

Titre : Introduction aux systèmes embarqués temps réel : conception et mise en oeuvre Type de document : texte imprimé Auteurs : Emmanuel GROLLEAU, Auteur ; Jérôme HUGUES, Auteur ; Yassine OUHAMMOU, Auteur ; Henri BAUER, Auteur Editeur : Dunod Année de publication : 2018 Collection : Sciences sup Importance : 325 p. ISBN/ISSN/EAN : 978-2-10-077842-3 Note générale : Avant-propos Table des matières Préface Index Catégories : Commande en temps réel Systèmes embarqués (informatique) Temps réel (informatique) Index. décimale : 004.33 Temps réel Résumé : INTRODUCTION À LA CONCEPTION PAR L'EXEMPLE Présentation du système exemple Programmation séquentielle Utilisation des interruptions matérielles Exécution cyclique Programmation multitâche LES CONCEPTS PRÉSENTÉS À TRAVERS UNE ÉTUDE DE CAS DÉTAILLÉE Spécification fonctionnelle Conception multitâche par la méthode des rythmes Impacts d'un changement de spécification et tolérance aux fautes Implémentation POSIX avec simulateur Génération automatique de code depuis AADL validation temporelle du systèmes De la conception des systèmes à la conception des modèles : une utilisation avancée des modèles

Exemplaires (5)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00014416	004.33 GRO	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00014405	004.33 GRO	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00014410	004.33 GRO	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00014685	004.33 GRO	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00014686	004.33 GRO	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Méthodes et techniques de traitement du signal et applications aux mesures physiques 1., Principes généraux / Jacques MAX

Titre : Méthodes et techniques de traitement du signal et applications aux mesures physiques 1., Principes généraux Type de document : texte imprimé Auteurs : Jacques MAX Mention d'édition : 4e éd. revue et augmentée Editeur : Masson Année de publication : 1985 Importance : 354 p. ISBN/ISSN/EAN : 978-2-225-80470-0 Note générale : Préface de la 1re et de la 2e édition Préface de 3e édition Table des matières Avant propos du tome 1 Introduction Annexe Index analytique Index des noms cités Catégories : Informatique Mesures physiques Signal, Théorie du (télécommunications) Temps réel (informatique) Traitement du signal Index. décimale : 621.3 Electrotechnique, électronique, télécommunications Résumé : Distribution de Dirac et systèmes linéaires et invariants dans le temps Transformation de Fourier Puissance, et energie des signaux Transformation de Laplace Convolution Filtrage Echantillonnage Introduction physique à la notion de corrélation et à quelques autres notions de statistique Estimation des mesures de fonctions de corrélation et de densités spectrales Erreurs dues à la quantification des signaux dans les mesures des fonctions de corrélations Principales propriétés des fonctions de corrélation et des densités spectrales Applications fondamentales des fonctions de corrélation et des densités spectrales Analyse spectrale. Mesure des densités spectrales Les fenêtres de pondération

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00002318	621.3 MAX	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	600 - Sciences appliquées - Technologie	Disponible

Méthodes et techniques de traitement du signal et applications aux mesures physiques 1., Principes généraux / Jacques MAX

Titre : Méthodes et techniques de traitement du signal et applications aux mesures physiques 1., Principes généraux Type de document : texte imprimé Auteurs : Jacques MAX ; Jean-Louis LACOUME Mention d'édition : 5e éd. revue et augmentée Editeur : Masson Année de publication : 1996 Collection : Enseignement de l'Electronique Importance : 354 p. ISBN/ISSN/EAN : 978-2-225-85309-8 Note générale : Préface de la 1re et de la 2e édition Préface de 3e édition Table des matières Avant propos du tome 1 Introduction Annexe Index analytique Index des noms cités Catégories : Informatique Mesures physiques Signal, Théorie du (télécommunications) Temps réel (informatique) Traitement du signal Index. décimale : 621.3 Electrotechnique, électronique, télécommunications Résumé : Distribution de Dirac et systèmes linéaires et invariants dans le temps Transformation de Fourier Puissance, et energie des signaux Transformation de Laplace Convolution Filtrage Echantillonnage Introduction physique à la notion de corrélation et à quelques autres notions de statistique Estimation des mesures de fonctions de corrélation et de densités spectrales Erreurs dues à la quantification des signaux dans les mesures des fonctions de corrélations Principales propriétés des fonctions de corrélation et des densités spectrales Applications fondamentales des fonctions de corrélation et des densités spectrales Analyse spectrale. Mesure des densités spectrales Les fenêtres de pondération

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00003947	621.3 MAX	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	600 - Sciences appliquées - Technologie	Disponible

Mise en oeuvre applicative de séquences d'ordonnancement hors-ligne / Moustapha BIKIENGA  

Titre : Mise en oeuvre applicative de séquences d'ordonnancement hors-ligne Type de document : thèse Auteurs : Moustapha BIKIENGA, Auteur ; Annie CHOQUET-GENIET, Directeur de thèse ; Dominique GENIET, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Auteur ; Maryline CHETTO, Rapporteur ; Frank SINGHOFF, Rapporteur ; Gaëlle LARGETEAU-SKAPIN, Examinateur ; Yamine AIT AMEUR, Examinateur Importance : 180 p. Note générale : NNT 2014ESMA0011 Remerciements Table des matières Introduction générale Annexes Notations Acronymes Bibliographie Résumé Mots clés Catégories : Ingénierie dirigée par les modèles Ordonnancement (informatique) POSIX (norme) Temps réel (informatique) Résumé : ETAT DE L'ART Systèmes temps réel Systèmes d'exploitation temps réel Applications temps réel Ordonnacement Mise en oeuvre applicative d'ordonnancement hors-ligne Conclusion CONTEXTE, METHODOLOGIE ET MODELISATION Problématique Hypothèses de base Méthodologie Politiques de mise en oeuvre de séquences d'ordonnancement hors-ligne Démarche Modèle de coûts des mises en oeuvre Conclusion ALGORITHMES DE MISE EN OEUVRE Mise en oeuvre d'ordonnancement sans préemption Mise en oeuvre d'ordonnancement avec préemption Prise en compte des ressources critiques et des contraintes de précédence Conclusion MISE EN OEUVRE POSIX Mise en oeuvre POSIX Automatisation de mise en oeuvre POSIX Mise en oeuvre POSIX sur Xenomai Observation et analyse de scénarios d'exécution Conclusion ETUDE DE CAS : APPLICATION DE GESTION DE MINE SOUTERRAINE Description du cas pratique : gestion de la sécurité d'une mine Mise en oeuvre du scénario d'exécution Conclusion CONCLUSION ET PERSPECTIVES En ligne : https://tel.archives-ouvertes.fr/tel-01080218

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00010733	TH-14 BIK	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt
TH-14 BIK	BIK	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Ordonnancement temps réel : cours et exercices corrigés / Francis COTTET

Titre : Ordonnancement temps réel : cours et exercices corrigés Type de document : texte imprimé Auteurs : Francis COTTET ; Joëlle DELACROIX ; Claude KAISER ; Zoubir MAMMERI Editeur : Hermès Science Publications Année de publication : 2000 Importance : 207 p. ISBN/ISSN/EAN : 978-2-7462-0099-9 Note générale : Table des matières Avant-propos Annexes Bibliographie Compléments de lecture Index Catégories : Informatique Temps réel (informatique) Index. décimale : 004.33 Temps réel Résumé : Contexte, concepts et terminologie Ordonnancement de tâches indépendantes Ordonnancement de tâches dépendantes Ordonnancement en situations de surcharge Ordonnancement multiprocesseur Ordonnancement conjoint de tâches et messages Etudes de cas

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00001826	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Sorti jusqu'au 15/09/2025
B00001827	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

---

1 2 (1 - 25 / 37) Par page : 25 50 100 200