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

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

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

Stratégies de spécification des systèmes temps réel (SA-RT) / Derek HATLEY

Titre : Stratégies de spécification des systèmes temps réel (SA-RT) Type de document : texte imprimé Auteurs : Derek HATLEY ; Imtiaz PIRBHAI ; Abdelkader BOUGHLAM, Traducteur ; André KRAMER, Traducteur Editeur : Masson Année de publication : 1991 Collection : MIPS Importance : 346 p. ISBN/ISSN/EAN : 978-2-225-82229-2 Note générale : Préface Table des matières Liste des figures Avant-propos Index. décimale : 004.33 Temps réel Résumé : LA STRATEGIE D'ENSEMBLE Présentation Rôle des méthodes LE MODELE DES BESOINS Présentation Le modèle des processus Le modèle de contrôle Machine à états finis Spécifications des contraines de temps Dictionnaire des besoins Interprétation du modèle des besoins et résumé CONSTRUCTION DU MODELE DES BESOINS Présentation Pour commencer Développement de la structure du modèle Préparation des spécifications de processus Préparation des spécifications de contrôle Définition des contraintes de temps Gestion du dictionnaire LE MODELE D'ARCHITECTURE Présentation Diagrammes d'architecture Dictionnaire d'architecture et spécifications de module Complément du modèle d'architecture CONSTRUCTION DU MODELE D'ARCHITECTURE Présentation Enrichissement du modèle des besoins Création du modèle Création des modèles d'architecture Résumé de la construction de l'architecture EXEMPLES Système de contrôle d'une automobile Système de chauffage d'une maison Disrtibuteur automatique de boissons

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000678	004.33 HAT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	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

---

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