Temps réel (informatique)

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

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 ENSMA-UP, 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 : :Systèmes informatiques:Pannes Analyse Pire Cas Commande de processus Microprocesseurs multi-coeurs Systèmes embarqués (informatique) 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

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

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00002011	005.4 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	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

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00001516	629.89 BRE	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	Sciences appliquées - Technologie	Disponible
B00001517	629.89 BRE	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	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

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000673	004.33 BRI	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	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 : :Industrie:Informatique Commande automatique Industrie 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

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00005452	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	Informatique - Bibliothéconomie	Disponible
B00005458	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	Informatique - Bibliothéconomie	Disponible
B00005464	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	Informatique - Bibliothéconomie	Disponible
B00005470	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	Informatique - Bibliothéconomie	Disponible
B00005405	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	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

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00010926	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	Informatique - Bibliothéconomie	Disponible
B00010937	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	Informatique - Bibliothéconomie	Disponible
B00010931	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	Informatique - Bibliothéconomie	Disponible
B00010932	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	Informatique - Bibliothéconomie	Disponible
B00010925	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	Informatique - Bibliothéconomie	Disponible
B00010936	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	Informatique - Bibliothéconomie	Disponible
B00010942	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	Informatique - Bibliothéconomie	Disponible
B00010930	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	Informatique - Bibliothéconomie	Disponible

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

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000684	004.33 DOR	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	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

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