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

Ordonnancement temps réel hors-ligne optimal à l'aide de réseaux Petri en environnement monoprocesseur et multiprocesseur / Emmanuel GROLLEAU

Titre : Ordonnancement temps réel hors-ligne optimal à l'aide de réseaux Petri en environnement monoprocesseur et multiprocesseur Type de document : thèse Auteurs : Emmanuel GROLLEAU ; Francis COTTET, Directeur de thèse ; Annie CHOQUET-GENIET, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; G. JUANOLE, Rapporteur ; Guy VIDAL-NAQUET, Rapporteur ; P. ESTRAILLIER, Examinateur ; Annie CHOQUET-GENIET, Examinateur ; Francis COTTET, Examinateur ; A.-M. DEPLANCHE, Examinateur Importance : 233 p. Note générale : Remerciements Sommaire Bibliographie Bibliographie liée à l'étude Annexes Index des figures Catégories : Informatique Petri, Réseaux de Temps réel (informatique) Index. décimale : TH-99 Résumé : SYSTEMES TEMPS REEL ET ORDONNANCEMENT Introduction au temps réel L'ordonnancement des systèmes de tâches temps réel EXTENSIONS DES RESEAUX DE PETRI Réseau de Pétri autonomes ETUDE DE LA CYCLICITE DES ORDONNANCEMENTS DE TÂCHES PERIODIQUES Etude des temps creux acycliques Cas des systèmes de tâches indépendantes Cas des systèmes de tâches quelconques ETUDE DE SYTEMES TEMPS REEL A L'AIDE DE RESEAUX DE PETRI : CAS MONOPROCESSEUR Modélisation Etude Complexité et taille du graphe d'accessibilité Obtention des séquences d'ordonnancement valides ETUDE DE SYSTEMES TEMPS REEL A L'AIDE DE RESEAUX PETRI : CAS MULTIPROCESSEUR Hypothèses matérielles Modélisation Etude APPLICATION DE L'ETUDE Présentation de PeNSMARTS Etude de cas

Exemplaires (1)

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

Ordonnancer le trafic dans des réseaux déterministes grâce à l’apprentissage par renforcement / Adrien ROBERTY  

Titre : Ordonnancer le trafic dans des réseaux déterministes grâce à l’apprentissage par renforcement Type de document : thèse Auteurs : Adrien ROBERTY, Auteur ; Annie CHOQUET-GENIET, Directeur de thèse ; Frédéric RIDOUARD, Directeur de thèse ; Siwar BEN HADJ SA­ÏD, Directeur de thèse ; Henri BAUER, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Katia JAFFRÈS-RUNSER, Rapporteur ; Abdelmadjid BOUABDALLAH, Rapporteur ; Nicolas NAVET, Examinateur ; Mireille SARKISS, Examinateur Importance : 111 p. Note générale : NNT 2024ESMA0001 Résumé Mots clés Remerciements Acronymes Symboles Sommaire Liste des tableaux liste des figures Introduction générale Bibliographie Glossaire Table des matières Résumé Mots clés Catégories : Apprentissage par renforcement (intelligence artificielle) Apprentissage profond Industrie 4.0 Intelligence artificielle Ordonnancement (informatique) Temps réel (informatique) Résumé : CONTEXTE TECHNOLOGIQUE Les délais de bout en bout Time-Sensitive Networking Apprentissage automatique Apprentissage par renforcement État de l'art CONTRIBUTIONS Introduction aux contributions Configurer le TAS de manière indentique Configurer le TAS de manière individuelle CONCLUSION GÉNÉRALE ET PERSPECTIVES En ligne : https://theses.hal.science/tel-04634443

Exemplaires (1)

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

Des priorités fixes aux priorités dynamiques en ordonnancement temps-réel : Etude comparative et calcul des priorités / Bernard CHAUVIERE

Titre : Des priorités fixes aux priorités dynamiques en ordonnancement temps-réel : Etude comparative et calcul des priorités Type de document : thèse Auteurs : Bernard CHAUVIERE ; Dominique GENIET, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Ye-Qiong SONG, Rapporteur ; Patrick MARTINEAU, Rapporteur ; René SCHOTT, Examinateur ; Joël GOOSSENS, Examinateur ; Annie CHOQUET-GENIET, Examinateur Importance : 190 p. Note générale : Remerciements Table des matières Introduction générale Conclusion générale Publications Notations Bibliogrpahie Résumé Mots clés Catégories : Markov, Processus de Multiprocesseurs Ordonnancement (informatique) Qualité de service (télécommunications) Temps réel (informatique) Index. décimale : TH-07 Résumé : CONTEXTE DE L'ETUDE ET ETAT DE L'ART Systèmes temps-réel Politiques d'ordonnancement CONTRIBUTIONS AU PROBLEME DE LA CYCLICITE Préambule Cyclicité des ordonnancements de tâches périodiques Durée de montée en charge en priorités fixes Intervalle d'étude pour les méthodes hors-ligne CONTRIBUTIONS A LA PRODUCTION DE SOLUTIONS D'ORDONNANCEMENT Production des configurations de priorités fixes valides Configurations de priorités fixes par instances Systèmes de tâches avec relations de précédence CONTRIBUTIONS AU DIAGNOSTIC DES SYTEMES TEMPS-REEL Modélisation par les chaînes de Markov Algorithme de calcul Etude des temps de réponse

Exemplaires (1)

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

Robustesse des applications temps-réel multicoeurs : techniques de construction d'un ordonnancement équitable tolérant aux pannes matérielles / Yves Marcellin MOUAFO TCHINDA  

Titre : Robustesse des applications temps-réel multicoeurs : techniques de construction d'un ordonnancement équitable tolérant aux pannes matérielles Type de document : thèse Auteurs : Yves Marcellin MOUAFO TCHINDA, Auteur ; Annie CHOQUET-GENIET, Directeur de thèse ; Gaëlle LARGETEAU-SKAPIN, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Maryline CHETTO, Rapporteur ; Claire PAGETTI, Rapporteur ; Julien FORGET, Examinateur ; Emmanuel GROLLEAU, Examinateur Importance : 203 p. Note générale : NNT 2017ESMA0015 Dédicace Remerciements Table des matières Introduction générale Annexes Table des figures Liste des tableaux Bibliographie Résumé Mots clés Catégories : Analyse Pire Cas Commande de processus Microprocesseurs multi-coeurs Systèmes embarqués (informatique) Systèmes informatiques:Pannes Temps réel (informatique) Tolérance aux fautes (informatique) Résumé : ETAT DE L'ART L'ordonnacement équitable Tolérance aux pannes des systèmes temps-réel Systèmes à criticités multiples et changements de mode CONTRIBUTIONS Ordonnancement sans reprise Ordonnancement avec reprise Possibilités d'extension CONCLUSION ET PERSPECTIVES Conclusion générale Perspectives En ligne : https://tel.archives-ouvertes.fr/tel-01685276

Exemplaires (1)

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

Scheduling in Real-Time Systems / Francis COTTET

Titre : Scheduling in Real-Time Systems Type de document : texte imprimé Auteurs : Francis COTTET ; Joëlle DELACROIX ; Claude KAISER ; Zoubir MAMMERI Editeur : John Wiley & Sons, Inc. Année de publication : 2002 Importance : 266 p. ISBN/ISSN/EAN : 978-0-470-84766-4 Note générale : Contents Notations and symbols Introduction Glossary Bibliography Index Catégories : Ordonnancement (informatique) Temps réel (informatique) Index. décimale : 005.4 Programmation et programme système Résumé : Basic concepts Scheduling of independent tasks Scheduling of dependent tasks Scheduling schemes for handling overload Multiprocessor Scheduling Joint Scheduling of tasks and messages in distributed systems Packet Scheduling in networks Software environment Case Studies

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00002011	005.4 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Les spécifications fonctionnelles : Automatismes industriels et temps réel / Henri BRENIER

Titre : Les spécifications fonctionnelles : Automatismes industriels et temps réel Type de document : texte imprimé Auteurs : Henri BRENIER Editeur : Dunod Année de publication : 2001 Collection : Automatismes Importance : 416 p. ISBN/ISSN/EAN : 978-2-10-004903-5 Note générale : Table des matières Préface Introduction Coclusion Annexes Bibliographie Index Catégories : Automatismes séquentiels Commande automatique Industrie Informatique Temps réel (informatique) Index. décimale : 629.89 Applications, automates : robotique Résumé : Le contexte historique Le contexte industriel Outils mathématiques Métamodèles de la dynamique des systèmes Métamodèles des machines d'état Métamodèles de l'analyse structurée Métamodèles de flots de données Métamodèle UML

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00001516	629.89 BRE	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	600 - Sciences appliquées - Technologie	Disponible
B00001517	629.89 BRE	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	600 - Sciences appliquées - Technologie	Disponible

Systèmes en temps réel en ADA : une approche virtuelle et asynchrone / Loïc BRIAND

Titre : Systèmes en temps réel en ADA : une approche virtuelle et asynchrone Type de document : texte imprimé Auteurs : Loïc BRIAND Editeur : Masson Année de publication : 1991 Importance : 383 p. ISBN/ISSN/EAN : 978-2-225-82435-7 Note générale : Table des matières Avant-propos Annexes Bibliographie Index Catégories : Ada (langage de programmation) Informatique Réseaux d'ordinateurs Temps réel (informatique) Index. décimale : 004.33 Temps réel Résumé : ADA : le langage des années 90 Qu'est-ce qu'une application temps réel? Concepts temps réel d'ADA Les grands concepts méthodologiques Les channels et pools simples Les applications temps réel réparties Les exigences Les tâches ADA et leur synchronisation Communications et Télécommunications Les pools locaux complexes Le temps Services complémentaires La supervision Un environnement universel Les pools répartis Mise au poinr et maintenance Conseils de programmation L'avenir

Exemplaires (1)

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

Systèmes temps réel de contrôle-commande : Conception et implémentation / Francis COTTET

Titre : Systèmes temps réel de contrôle-commande : Conception et implémentation Type de document : texte imprimé Auteurs : Francis COTTET ; Emmanuel GROLLEAU Editeur : Dunod Année de publication : 2005 Collection : Technique et ingénierie. Série EEA Importance : 559 p. ISBN/ISSN/EAN : 978-2-10-007893-6 Note générale : Table des matières Avant-propos Introduction Bibliographie Lexique anglais-français Sigles Index Langage informatique Catégories : Commande automatique Industrie Industrie:Informatique Informatique Procédés de fabrication Programmation Temps réel (informatique) Index. décimale : 004.33 Temps réel Résumé : Développement des sytèmes de contrôle-commande Spécification selon la méthode SA-RT Conception selon la méthode DARTS Architectures systèmes Exécutifs temps réel Programmation des systèmes multitâches Traitement complet d'une application industrielle Etude avancée des systèmes temps réel

Exemplaires (5)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00005452	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00005458	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00005464	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00005470	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00005405	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Systèmes temps réel embarqués : Spécification, conception, implémentation et validation temporelle / Francis COTTET

Titre : Systèmes temps réel embarqués : Spécification, conception, implémentation et validation temporelle Type de document : texte imprimé Auteurs : Francis COTTET, Auteur ; Emmanuel GROLLEAU, Auteur ; Sébastien GERARD, Auteur ; Jérôme HUGUES ; Yassine OUHAMMOU ; Sara TUCCI-PIERGIOVANNI Mention d'édition : 2e édition Editeur : Dunod Année de publication : 2014 Importance : 626 p. ISBN/ISSN/EAN : 978-2-10-071331-8 Note générale : Table des matières Avant-propos Annexes Index Catégories : Commande automatique Commande en temps réel Systèmes embarqués (informatique) Temps réel (informatique) Index. décimale : 004.33 Temps réel Résumé : Le développement des systèmes embarqués La spécification fonctionnelle La conception à l'aide d'AADL Architectures matérielles et système d'exploitation Les exécutifs temps réel Programmation des systèmes multitâches Traitement complet d'une application industrielle Etude avancée des systèmes informatiques multitâches et temps réel

Exemplaires (8)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00010926	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00010937	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00010931	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00010932	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00010925	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00010936	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00010942	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00010930	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Sorti jusqu'au 15/09/2025

Le temps réel en milieu industriel : concepts, environnements, multitâches / Alain DORSEUL

Titre : Le temps réel en milieu industriel : concepts, environnements, multitâches Type de document : texte imprimé Auteurs : Alain DORSEUL ; Pascal PILLOT Editeur : Dunod Année de publication : 1991 Importance : 296 p. ISBN/ISSN/EAN : 978-2-04-019875-6 Note générale : Préface. Sommaire. Annexe 1 : Modèle d'exécutif temps réel. Annexe 2 : Exemples de programmes. Annexe 3 : Implémentation logicielle de l'application. Bibliographie. Index. Catégories : Informatique Projet SCEPTRE Temps réel (informatique) Index. décimale : 004.33 Temps réel Résumé : Les concepts temps réel. L'environnement temps réel. Les exécutifs temps réel.

Exemplaires (1)

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

Temps réel : Spécification et conception des systèmes temps réel / Jean-André BIANCOLIN

Titre : Temps réel : Spécification et conception des systèmes temps réel Type de document : texte imprimé Auteurs : Jean-André BIANCOLIN Editeur : Hermès Science Publications Année de publication : 1995 Collection : Synthèses Informatiques Importance : 90 p. ISBN/ISSN/EAN : 978-2-86601-512-1 Note générale : Table des matières Intro. Conclusion Bibliographie Catégories : Informatique Temps réel (informatique) Index. décimale : 004.33 Temps réel Résumé : Propriétés générales des systèmes temps réel Intérêts d'une méthodologie Les méthodes Les outils d'aide

Exemplaires (1)

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

Towards a Safe and Modular Architecture for Autonomous Drone Autopilots / Matheus LADEIRA BOECHAT LEMOS  

Titre : Towards a Safe and Modular Architecture for Autonomous Drone Autopilots Titre original : Vers une conception modulaire et sûre des autopilotes des drones autonomes Type de document : thèse Auteurs : Matheus LADEIRA BOECHAT LEMOS, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; Yassine OUHAMMOU, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Sanjoy BARUAH, Rapporteur ; Chokri MRAIDHA, Rapporteur ; Joël GOOSSENS, Examinateur ; Liliana CUCU-GROSJEAN, Examinateur Importance : 167 p. Note générale : NNT 2023ESMA0011 Acknowledgements Contents List of Figures List of Tables Table of Acronyms Appendices Bibliography Abstract Keywords Catégories : Drones Fiabilité Ingénierie dirigée par les modèles ROS (système d 'exploitation des ordinateurs) Systèmes embarqués (informatique) Temps réel (informatique) Résumé : Introduction PROCESSOR AND BANDWIDTH OVERLOAD MITIGATION Background on Real-Time Programming GCD+: Scheduling Heuristics GCD#: Network Scheduling MODEL-DRIVEN ENGINEERING FOR DRONES Background: Model-Driven Engineering and Software Architectures RoBMEX CONCLUSION Conclusion and Perspectives En ligne : https://theses.hal.science/tel-04311816

Exemplaires (1)

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

---

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