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

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

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

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

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

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

---

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