004.031.43 : Système en temps réel

004 Informatique. Science et technologie de l'informatique
004 (031) Informatique. Science et technologie de l'informatique. Encyclopédie
004 (038) Informatique. Science et technologie de l'informatique. (Dictionnaire)
004(031) Informatique. Science et technologie de l'informatique (encyclopédies)
004.03
004.056 Informatique. Science et technologie de l'informatique. Sécurité
004.2 Ordinateur. Configuration. Architecture d'ordinateur
004.3 Ordinateur. Le matériel
004.31 Processeur. Unité de traitement. Circuits de traitement
004.382.7 Ordinateur personnel. Micro-odinateur. P.C
004.4 Logiciel. Programme
004.4'422 Compilateur
004.4/005
004.41 Ingénierie de logiciel
004.413 Gestion du développement du logiciel
004.415.2 Développement du système et ingénierie du logiciel
004.42 Programmation. Programmes d'ordinateur
004.421 Algorithmes pour élaboration du programme
004.43 Langage de programmation
004.43(036) Langage de programmation (Guides)
004.436.2 Langage de description du matériel
004.439 Langage signalétique. Convention pour encoder du texte ou autres données
004.451 Systèmes d'exploitation
004.49 Infection d'ordinateur. Virus
004.514.6 Environnement windows.interface wimp
004.6 linformatique
004.62 Traitement de l'information (Data science)
004.62:658 Traitement de l'information (Data science) : Organisation des entreprises
004.65 Système de gestion de base de données
004.655 Langage des bases de données
004.655.3 Langage de gestion des données. En ce compris : langage d'interrogation.(SQL)
004.7 Communication entre ordinateur. Réseau d'ordinateur.
004.72 Architecture de réseau
004.722 Topologies de réseaux y compris FTP (Protocole de transfert de fichiers)
004.738.5 Communication entre ordinateur. Réseau d'ordinateur. Internet
004.738.52 Moteur de recherche internet
004.77 Application et services généraux de réseaux.
004.774 Application HTTP. Web (www) au sens strict. Sites, pages, ressources, contenus du web
004.774.6 Outils et programmes de conception de page, de publication, d'organisation et de gestion du contenu web
004.78 Systèmes de réseau pour usage spécifique (Blockchain)
004.78:336 Systèmes de réseau pour usage spécifique (Blockchain) : Finances. Finances publiques. Impôts et accises. Systèmes monétaire et bancaire
004.78:621.316.1 Systèmes de réseau pour usage spécifique (Blockchain): Réseau de distribution d'énergie(dans les bâtiments, etc)
004.8 Intelligence artificielle
004.8:614 L'intelligence artificielle dans la santé
004.9 Application de procédés informatiques.
004.9(084.3) Application de procédés informatiques par WebMapping
004.91 Traitement et production de document.
004.912 Traitement de texte
004.93 Traitement des images
004.932 Application de procédés informatique. Traitement de l'image
004.94 Simulation par ordinateur
004.946 Réalité virtuelle

Ouvrages de la bibliothèque en indexation 004.031.43

Introduction aux systèmes embarqués temps réel / Emmanuel Grolleau ; Jérôme Hugues ; Yassine Ouhammou ; Henri Bauer

Public ISBD 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 : Paris : Dunod Année de publication : 2018 Collection : Sciences sup Sous-collection : Sciences de l'ingénieur Importance : X, 325 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-077842-3 Note générale : La couv. porte en plus : cours, exercices corrigés, études de cas, IUT, Master, Écoles d'ingénieurs. - Index Langues : Français (fre) Mots-clés : Systèmes  embarqués  (informatique)  --  Manuels  d'enseignement  supérieur Commande  en  temps  réel  --  Manuels  d'enseignement  supérieur Temps  réel  (informatique)  --  Manuels  d'enseignement  supérieur Index. décimale : 004.031.43 Système en temps réel Résumé : En analysant des systèmes simples et concrets, cet ouvrage présente tous les concepts nécessaires à la compréhension des systèmes embarqués : programmation séquentielle, interruptions matérielles, programmation cyclique, programmation multitâche, langages de spécification et modélisation, langages spécifiques de domaine, implémentation sur exécutif temps réel et validation temporelle. La première partie part d'un exemple simple de système pour introduire les concepts et les méthodes, et la seconde propose des études de cas concrets avant de s'attacher aux apports de l'ingénierie dirigée par les modèles. Note de contenu : Au sommaire : I. Introduction à la conception par l'exemple. 1. Présentation du système exemple. 2. Programmation séquentielle. 3. Utilisation des interruptions matérielles. 4. Exécution cyclique. 5. Programmation multitâche. II. Les concepts présentés à travers une étude de cas détaillée. 6. Spécification fonctionnelle. 7. Conception multitâche par la méthode des rythmes. 8. Impacts d'un changement de spécification et tolérance aux fautes. 9. Implémentation POSIX avec simulateur. 10. Génération automatique de code depuis AADL. 11. Validation temporelle du système. 12. De la conception des systèmes à la conception des modèles : une utilisation avancée des modèles. Introduction aux systèmes embarqués temps réel : conception et mise en oeuvre [texte imprimé] / Emmanuel Grolleau, Auteur ; Jérôme Hugues, Auteur ; Yassine Ouhammou, Auteur ; Henri Bauer, Auteur . - Dunod, 2018 . - X, 325 p. : ill. ; 24 cm. - (Sciences sup. Sciences de l'ingénieur) . ISBN : 978-2-10-077842-3 La couv. porte en plus : cours, exercices corrigés, études de cas, IUT, Master, Écoles d'ingénieurs. - Index Langues : Français (fre) Mots-clés : Systèmes  embarqués  (informatique)  --  Manuels  d'enseignement  supérieur Commande  en  temps  réel  --  Manuels  d'enseignement  supérieur Temps  réel  (informatique)  --  Manuels  d'enseignement  supérieur Index. décimale : 004.031.43 Système en temps réel Résumé : En analysant des systèmes simples et concrets, cet ouvrage présente tous les concepts nécessaires à la compréhension des systèmes embarqués : programmation séquentielle, interruptions matérielles, programmation cyclique, programmation multitâche, langages de spécification et modélisation, langages spécifiques de domaine, implémentation sur exécutif temps réel et validation temporelle. La première partie part d'un exemple simple de système pour introduire les concepts et les méthodes, et la seconde propose des études de cas concrets avant de s'attacher aux apports de l'ingénierie dirigée par les modèles. Note de contenu : Au sommaire : I. Introduction à la conception par l'exemple. 1. Présentation du système exemple. 2. Programmation séquentielle. 3. Utilisation des interruptions matérielles. 4. Exécution cyclique. 5. Programmation multitâche. II. Les concepts présentés à travers une étude de cas détaillée. 6. Spécification fonctionnelle. 7. Conception multitâche par la méthode des rythmes. 8. Impacts d'un changement de spécification et tolérance aux fautes. 9. Implémentation POSIX avec simulateur. 10. Génération automatique de code depuis AADL. 11. Validation temporelle du système. 12. De la conception des systèmes à la conception des modèles : une utilisation avancée des modèles.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
058022	004.031.43 INT	Papier	Bibliothèque Centrale	Informatique	Disponible	Consultation sur place
058021	004.031.43 INT	Papier	Bibliothèque Centrale	Informatique	Disponible	En bon état

Les systèmes mécatroniques embarqués, Tome 1. Analyse des causes de défaillances, fiabilité et contraintes

Public ISBD Titre de série : Les systèmes mécatroniques embarqués, Tome 1 Titre : Analyse des causes de défaillances, fiabilité et contraintes Type de document : texte imprimé Auteurs : Abdelkhalak El Hami, Directeur de publication, rédacteur en chef ; Philippe Pougnet, Directeur de publication, rédacteur en chef Editeur : London : ISTE éditions Année de publication : 2015 Collection : Génie mécanique et mécaniques des solides Importance : 233 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-1-7840-5057-3 Note générale : Bibliogr. en fin de chapitres. - Index Langues : Français (fre) Mots-clés : Mécatronique Mécatronique  --  Fiabilité Mécatronique  --  Simulation,  Méthodes  de Systèmes  embarqués  (informatique)  --  Fiabilité Électronique Index. décimale : 004.031.43 Système en temps réel Résumé : La mécatronique associée l'informatique, la mécanique et l'électronique. Elle permet d"améliorer les performances des systèmes électroniques embarqués en réduisant leurs poids, leur volumes, leurs consommations d'énergie et leur coûts, ces équipements doivent fonctionner sans défaillance pendant des durées de service de plus en plus longues. Les systèmes embarqués 2 présente les avancées de la recherche et de l'industrie appliquées aux domaines des systèmes mécatroniques qui intègrent la fiabilité dans le processus de conception. Accompagné d'exemples détaillés, cet ouvrage développe une méthodologie de la caractérisation des défauts des systèmes mécatroniques. Il analyse la modélisation multi-physique des défauts, révélant les faiblesses des création et les mécanismes de défaillances. L'élaboration de méta-modèles permettant de simuler les effets sur la fiabilité des conditions d'emploi et de fabrication est également exposés. Note de contenu : Au sommaire : 1. Optimisation de la conception par la fiabilité 2. Caractérisation non destructive par ellipsométrie spectroscopique des interfaces de dispositifs mécatroniques 3. Méthode de caractérisation de l'environnement électromagnétique dans des circuits hyperfréquences encapsulés dans les cavités métalliques 4. Mesure des déformations et des déplacements statiques et vibratoires par des méthodes plein champ 5. Caractérisations de transistors de commutation aux contraintes de surtension électrique 6. Fiabilité des transistors radiofréquence de puissance aux agressions électromagnétique et thermique 7. Mesure de la température interne des composants électroniques 8. Fiabilité prévisionnelle des systèmes électroniques embarqués : référentiel FIDES 9. Etude du contact dynamique entre solides déformables Les systèmes mécatroniques embarqués, Tome 1. Analyse des causes de défaillances, fiabilité et contraintes [texte imprimé] / Abdelkhalak El Hami, Directeur de publication, rédacteur en chef ; Philippe Pougnet, Directeur de publication, rédacteur en chef . - ISTE éditions, 2015 . - 233 p. : ill. ; 24 cm. - (Génie mécanique et mécaniques des solides) . ISBN : 978-1-7840-5057-3 Bibliogr. en fin de chapitres. - Index Langues : Français (fre) Mots-clés : Mécatronique Mécatronique  --  Fiabilité Mécatronique  --  Simulation,  Méthodes  de Systèmes  embarqués  (informatique)  --  Fiabilité Électronique Index. décimale : 004.031.43 Système en temps réel Résumé : La mécatronique associée l'informatique, la mécanique et l'électronique. Elle permet d"améliorer les performances des systèmes électroniques embarqués en réduisant leurs poids, leur volumes, leurs consommations d'énergie et leur coûts, ces équipements doivent fonctionner sans défaillance pendant des durées de service de plus en plus longues. Les systèmes embarqués 2 présente les avancées de la recherche et de l'industrie appliquées aux domaines des systèmes mécatroniques qui intègrent la fiabilité dans le processus de conception. Accompagné d'exemples détaillés, cet ouvrage développe une méthodologie de la caractérisation des défauts des systèmes mécatroniques. Il analyse la modélisation multi-physique des défauts, révélant les faiblesses des création et les mécanismes de défaillances. L'élaboration de méta-modèles permettant de simuler les effets sur la fiabilité des conditions d'emploi et de fabrication est également exposés. Note de contenu : Au sommaire : 1. Optimisation de la conception par la fiabilité 2. Caractérisation non destructive par ellipsométrie spectroscopique des interfaces de dispositifs mécatroniques 3. Méthode de caractérisation de l'environnement électromagnétique dans des circuits hyperfréquences encapsulés dans les cavités métalliques 4. Mesure des déformations et des déplacements statiques et vibratoires par des méthodes plein champ 5. Caractérisations de transistors de commutation aux contraintes de surtension électrique 6. Fiabilité des transistors radiofréquence de puissance aux agressions électromagnétique et thermique 7. Mesure de la température interne des composants électroniques 8. Fiabilité prévisionnelle des systèmes électroniques embarqués : référentiel FIDES 9. Etude du contact dynamique entre solides déformables

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
057963	004.031.43 SYS	Papier	Bibliothèque Centrale	Génie Mécanique	Disponible	Consultation sur place

Les systèmes mécatroniques embarqués, Tome 2. Analyse des causes de défaillances, modélisation, simulation et optimisation

Public ISBD Titre de série : Les systèmes mécatroniques embarqués, Tome 2 Titre : Analyse des causes de défaillances, modélisation, simulation et optimisation Type de document : texte imprimé Auteurs : Abdelkhalak El Hami, Directeur de publication, rédacteur en chef ; Philippe Pougnet, Directeur de publication, rédacteur en chef Editeur : London : ISTE éditions Année de publication : 2015 Collection : Génie mécanique et mécaniques des solides Importance : 244 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-1-7840-5059-7 Note générale : Bibliogr. en fin de chapitres. - Index Langues : Français (fre) Mots-clés : Mécatronique Mécatronique  --  Fiabilité Mécatronique  --  Simulation,  Méthodes  de Systèmes  embarqués  (informatique)  --  Fiabilité Électronique Électronique  de  l'état  solide  --  Modèles  mathématiques Index. décimale : 004.031.43 Système en temps réel Résumé : La mécatronique associée l'informatique, la mécanique et l'électronique. Elle permet d"améliorer les performances des systèmes électroniques embarqués en réduisant leurs poids, leur volumes, leurs consommations d'énergie et leur coûts, ces équipements doivent fonctionner sans défaillance pendant des durées de service de plus en plus longues. Les systèmes mécatronique embarqués 2 présente les avancées de la recherche et de l'industrie appliquées aux domaines des systèmes mécatroniques qui intègrent la fiabilité dans le processus de conception. Accompagné d'exemples détaillés, cet ouvrage développe une méthodologie de caractérisation des défauts des systèmes mécatroniques. Il analyse la modélisation multi-physique des défauts, révélant les faiblesse de création et les mécanismes de défaillance. l'élaboration de méta modèles permettant de simuler les effets sur la fiabilité des condition d'emploi et de fabrication est également exposée. Note de contenu : Au sommaire : 1. Essais hautement accélérés associant température, vibrations et humidité. 2. Banc de vieillissement de transistors en conditions opérationnelles. 3. Analyse des défauts physiques des systèmes mécatroniques. 4. Effet de défauts lacunaires dans les matériaux d'interconnexion. 5. Modélisation électro-thermomécanique de systèmes mécatroniques. 6. Création de métamodèle. 7. Optimisation fiabiliste des systèmes électroniques embarqués. 8. Architecture haut rendement d'amplificateurs de puissance. Les systèmes mécatroniques embarqués, Tome 2. Analyse des causes de défaillances, modélisation, simulation et optimisation [texte imprimé] / Abdelkhalak El Hami, Directeur de publication, rédacteur en chef ; Philippe Pougnet, Directeur de publication, rédacteur en chef . - ISTE éditions, 2015 . - 244 p. : ill. ; 24 cm. - (Génie mécanique et mécaniques des solides) . ISBN : 978-1-7840-5059-7 Bibliogr. en fin de chapitres. - Index Langues : Français (fre) Mots-clés : Mécatronique Mécatronique  --  Fiabilité Mécatronique  --  Simulation,  Méthodes  de Systèmes  embarqués  (informatique)  --  Fiabilité Électronique Électronique  de  l'état  solide  --  Modèles  mathématiques Index. décimale : 004.031.43 Système en temps réel Résumé : La mécatronique associée l'informatique, la mécanique et l'électronique. Elle permet d"améliorer les performances des systèmes électroniques embarqués en réduisant leurs poids, leur volumes, leurs consommations d'énergie et leur coûts, ces équipements doivent fonctionner sans défaillance pendant des durées de service de plus en plus longues. Les systèmes mécatronique embarqués 2 présente les avancées de la recherche et de l'industrie appliquées aux domaines des systèmes mécatroniques qui intègrent la fiabilité dans le processus de conception. Accompagné d'exemples détaillés, cet ouvrage développe une méthodologie de caractérisation des défauts des systèmes mécatroniques. Il analyse la modélisation multi-physique des défauts, révélant les faiblesse de création et les mécanismes de défaillance. l'élaboration de méta modèles permettant de simuler les effets sur la fiabilité des condition d'emploi et de fabrication est également exposée. Note de contenu : Au sommaire : 1. Essais hautement accélérés associant température, vibrations et humidité. 2. Banc de vieillissement de transistors en conditions opérationnelles. 3. Analyse des défauts physiques des systèmes mécatroniques. 4. Effet de défauts lacunaires dans les matériaux d'interconnexion. 5. Modélisation électro-thermomécanique de systèmes mécatroniques. 6. Création de métamodèle. 7. Optimisation fiabiliste des systèmes électroniques embarqués. 8. Architecture haut rendement d'amplificateurs de puissance.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
057964	004.031.43 SYS	Papier	Bibliothèque Centrale	Génie Mécanique	Disponible	Consultation sur place