1. Instrumentation industrielle vol.1 / Michel CERR

Titre : Instrumentation industrielle vol.1 Type de document : texte imprimé Auteurs : Michel CERR ; Jean-Claude ENGRAND ; François ROSSMANN ; R. GASTAUER Editeur : Paris : Lavoisier Hermès Année de publication : 1980 Collection : Technique et Documentation Importance : 523 p. ISBN/ISSN/EAN : 978-2-85206-069-2 Note générale : Préface Table des matières Sommaire du volume 2 Bibliographie Catégories : Ingénierie Ingénierie:Instruments Mesure Signal, Théorie du (télécommunications) Systèmes, Conception de Traitement du signal Index. décimale : 681.2 Instruments d'essai et de mesure Résumé : METROLOGIE INDUSTRIELLE Qu'est-ce que la métrologie industrielle ? Grandeurs et dimensions Techniques métrologiques Erreurs de mesurage Expression des résultats La métrologie dans l'usine Les moyens métrologiques TRAITEMENT DE L'INFORMATION ET CONCEPTION DES SYSTEMES Introduction Définition de l'information et du signal Les différents types de signaux utilisés en instrumentation Nature et génération des signaux Le traitement des signaux La transmission des signaux Conception des systèmes d'automatisme et de régulation

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00005892	681.2 CER	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	600 - Sciences appliquées - Technologie	Disponible

Aide à la validation temporelle et au dimensionnement de systèmes temps réel dans une démarche dirigée par les modèles / Thanh Dat NGUYEN  

Titre : Aide à la validation temporelle et au dimensionnement de systèmes temps réel dans une démarche dirigée par les modèles Type de document : thèse Auteurs : Thanh Dat NGUYEN, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; Yassine OUHAMMOU, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Olivier H. ROUX, Rapporteur ; Chokri MRHAIDA, Rapporteur ; Annie CHOQUET-GENIET, Examinateur ; Nicolas NAVET, Examinateur ; Laurent RIOUX, Examinateur Année de publication : 2020 Importance : 142 p. Note générale : NNT 2020ESMA0007 Remerciements Table des matières Liste des figures Liste des tableaux Introduction générale Bibliographie Résumé Mots clés Catégories : AADL (informatique) Analyse temporelle Ingénierie dirigée par les modèles Ordonnancement (informatique) Systèmes embarqués (informatique) Systèmes, Analyse de Systèmes, Conception de Temps réel (informatique) Résumé : SYSTÈMES EMBARQUÉS TEMPS RÉEL Introduction Structure des systèmes temps réel Caractéristiques des test d'ordonnançabilité Ingénierie dirigée par les modèles Langages dédiés aux systèmes temps réel Conclusion FOCUS SUR L'ANALYSE D'ORDONNANÇABILITÉ Introduction Ordonnancement monoprocesseur Ordonnancement multi-processeur Ordonnancement distribué (réparti) Outils d'analyse Discussion Conclusion CONTRAINTES DE PRÉCÉDENCE À BASE DE SÉMAPHORE POUR UNE COMMUNICATION MULTI-PÉRIODIQUE DÉTERMINISTE Introduction Modèles de représentation de contraintes de précédence Renforcement de la sémantique des SPC Politique d'ordonnancement et analyse d'ordonnançabilité Implémentation de SPC en AADL Étude de cas Outillage Conclusion TEST EXACT D'ORDONNANÇABILITÉ DE TÂCHES DÉPENDANTES SOUS G-FP Introduction Exemple motivationnel Analyse exacte de temps de réponse sous ordonnanceur FP sur plateforme monoprocesseur Analyse exacte de temps de réponse sous ordonnanceur FP sur plateforme multi-processeur identique Vérification temporelle Conclusion VERS UN RÉFÉRENTIEL D'ANALYSE GÉNÉRIQUE Introduction Travaux connexes : méthodes d'aide à la conception Positionnement Identification Rule Language (IRL) Le référentiel d'analyse générique Transformation et adaptation Conclusion CONCLUSION ET PERSPECTIVES Conclusion Perspectives En ligne : https://tel.archives-ouvertes.fr/tel-03079085

Exemplaires (1)

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

Analyse orientée objets / P. COAD

Titre : Analyse orientée objets Autre titre : Objects-Oriented Analysis Type de document : texte imprimé Auteurs : P. COAD ; E. YOURDON ; Abdelkader BOUGHLAM, Traducteur ; Michel GALINIER, Préfacier, etc. Mention d'édition : 2e tirage Editeur : Masson Année de publication : 1993 Collection : MIPS (Méthodes Informatiques et Pratique des Systèmes) Importance : 194 p. ISBN/ISSN/EAN : 978-2-225-82562-0 Note générale : Préface Table des matières Avant-propos à la deuxième édition Remerciements Avant-propos du traducteurs Annexe A : Résumé des représentations graphiques et des démarches Annexe B : Insertion de l'AOO dans la DOD-STD-2167A Bibliographie Bibliographie complémentaire de la version française Index Catégories : Analyse informatique Conception orientée objet Programmation orientée objets (informatique) Systèmes, Analyse de Systèmes, Conception de Index. décimale : 005.13 Langages de programmation Résumé : Introduction Amélioration de l'analyse Expérimentation d'une perspective objet Trouver les classe&objets Identification des structures Identification des sujets Définition des attributs Définition des services Choix d'outils pour l'AOO Passage à la conception orientée objets Mise en oeuvre de l'AOO

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00002016	005.13 COA	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Cadre fondé sur les modèles pour une utilisation avancée de la théorie de l'ordonnancement dans la conception des systèmes temps réel / Yassine OUHAMMOU  

Titre : Cadre fondé sur les modèles pour une utilisation avancée de la théorie de l'ordonnancement dans la conception des systèmes temps réel Type de document : thèse Auteurs : Yassine OUHAMMOU, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; Pascal RICHARD, Directeur de thèse ; Mickaël RICHARD, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Marco DI NATALE, Rapporteur ; Frank SINGHOFF, Rapporteur ; Yves SOREL, Rapporteur ; Jérôme HUGUES, Examinateur Importance : 214 p. Note générale : NNT 2013ESMA0029 Remerciements Contents Appendices Bibliography Abstract Key words Catégories : Ingénierie dirigée par les modèles Modèles mathématiques Ordonnancement (informatique) Systèmes embarqués (informatique) Systèmes, Conception de Temps réel (informatique) Résumé : Introduction RESEARCH FOUNDATIONS Real-time systems : generalities and definitions Real-time scheduling Technological background CONTRIBUTIONS Synthesis and work orientation MoSaRT design language MoSaRT analysis repository MoSaRT framework CONCLUSION AND PERSPECTIVES En ligne : http://tel.archives-ouvertes.fr/tel-00954468

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00010379	TH-13 OUH	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt
TH-13 OUH	OUH	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Conception et vérification formelles des interfaces homme-machine multimodales : application à la multimodalité en sortie / Linda MOHAND-OUSSAÏD  

Titre : Conception et vérification formelles des interfaces homme-machine multimodales : application à la multimodalité en sortie Type de document : thèse Auteurs : Linda MOHAND-OUSSAÏD, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; Idir AIT SADOUNE, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Christophe KOLSKI, Rapporteur ; Hassan MOUNTASSIR, Rapporteur ; Patrick GIRARD, Examinateur ; Christian ATTIOGBE, Examinateur Importance : 184 p. Note générale : NNT 2014ESMA0022 Remerciements Table des matières Table des figures Liste des tableaux Introduction générale Bibliographie Résumé Mots clés Catégories : Interaction homme-ordinateur Interfaces utilisateur (informatique) Méthode B (informatique) Systèmes, Analyse de Systèmes, Conception de Résumé : LES INTERFACES HOMME-MACHINE MULTIMODALES Introduction Interaction homme-machine Systèmes interactifs Concepts de base Interfaces homme-machine multimodales Développement des interfaces homme-machine Les modèles de description du dialogue Propriétés des interfaces homme-machine Conception des IHM multimodales Les systèmes multimodaux Conclusion DEVELOPPEMENTS FORMELS DES SYSTEMES INTERACTIFS Introduction Les modèles formels La conception formelle Les méthodes de spécification formelles Vérification formelle Utilisation des méthodes formelles pour le développement des IHM Synthèse et proposition UN MODELE FORMEL GENERIQUE POUR LES INTERFACES HOMME-MACHINE MULTIMODALES EN SORTIE Introduction Démarche générale de modélisation Modèle formel de conception des interfaces homme-machine multimodales en sortie Conclusion MODELISATION DES INTERFACES HOMME-MACHINE MULTIMODALES EN SORTIE DANS B EVENEMENTIEL Introduction La méthode B événementiel Démarche de modélisation avec B événementiel Les modèles génériques de développement B événementiel Conclusion MODELISATION DE LA FISSION SEMANTIQUE AVEC B EVENEMENTIEL : GENERALISATION Introduction Démarche de modélisation avec B événementiel Le modèle de fission sémantique Bilan des obligations de preuve Intanciation du modèle B événementiel de fission sémantique Application à l'étude de cas Conclusion MODELISATION DE L'ALLOCATION AVEC B EVENEMENTIEL : GENERALISATION Introduction Démarche de modélisation avec B événementiel Le modèle de combinaison des présentations Le modèle de décomposition des présentations Le modèle d'affectation Bilan des obligations de preuve Instanciation du modèle B événementiel d'allocation Application à l'étude de cas Vérification des propriétés Conclusion CONCLUSION GENERALE ET PERSPECTIVES En ligne : https://tel.archives-ouvertes.fr/tel-01127547

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00010927	TH-14 MOH	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt
TH-14 MOH	MOH	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Contributions à la conception à base de modèles des systèmes temps réel en vue de leur analyse de performance temporelle / Anh Toan BUI LONG  

Titre : Contributions à la conception à base de modèles des systèmes temps réel en vue de leur analyse de performance temporelle Type de document : thèse Auteurs : Anh Toan BUI LONG, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; Yassine OUHAMMOU, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Yamine AIT AMEUR, Examinateur ; Christian ATTIOGBE, Rapporteur ; Jérôme HUGUES, Rapporteur ; Liliana CUCU-GROSJEAN, Examinateur Importance : 146 p. Note générale : NNT 2018ESMA0020 Remerciements Table des matières Liste des figures Liste des tableaux Introduction générale Bibliographie Liste des acronymes Liste des symboles Résumé Mots clés Catégories : Analyse temporelle Ingénierie dirigée par les modèles Modélisation des données (informatique) Ordonnancement dynamique Systèmes à paramètres répartis Systèmes, Analyse de Systèmes, Conception de Temps réel (informatique) Tolérance aux fautes (informatique) Résumé : ÉTAT DE L'ART Ordonnancement temps-réel Conception dirigée par les modèles des systèmes temps réel CONTRIBUTIONS Adaptation conservative des cas pratiques à l'analyse Les réseaux dans les analyses temps réel Extraction conservative et patrons de modèles d'analyses CONCLUSIONS Conclusions et perspectives En ligne : https://tel.archives-ouvertes.fr/tel-02080119

Exemplaires (1)

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

Données de tests non fonctionnels de l'ombre à la lumière : une approche multidimensionnelle pour déployer une base de données / Lahcène BRAHIMI  

Titre : Données de tests non fonctionnels de l'ombre à la lumière : une approche multidimensionnelle pour déployer une base de données Type de document : thèse Auteurs : Lahcène BRAHIMI, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; Yassine OUHAMMOU, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Djamal BENSLIMANE, Rapporteur ; Yudith CARDINALE, Rapporteur ; Abdelkader HAMEURLAIN, Examinateur ; Khalil DRIRA, Examinateur Importance : 192 p. Note générale : NNT 2017ESMA0009 Remerciements Table des matières Introduction générale Bibliographie Table des figures Liste des tableaux Glossaire Résumé Mots-clés Catégories : Apprentissage automatique Bases de données:Gestion Entrepôts de données OLAP (informatique) Ontologies (informatique) Prise de décision Systèmes de recommandation (informatique) Systèmes, Analyse de Systèmes, Conception de Résumé : ETAT DE L'ART Evolution du cycle de conception de bases de données Etudes des approches de sélection des SGBD et plateformes CONTRIBUTIONS Vers une explicitation des composantes de l'environnement de tests Approche multidimensionnelle des données des environnements de tests Système de recommandation pour le déploiement des bases de données CONCLUSION GENERALE ET PERSPECTIVES En ligne : https://tel.archives-ouvertes.fr/tel-01585828

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00014315	TH-17 BRA	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt
TH-17 BRA	BRA	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Un framework d’aide au déploiement et à la personnalisation des systèmes temps réel : application aux autopilotes de drones / Soulimane KAMNI  

Titre : Un framework d’aide au déploiement et à la personnalisation des systèmes temps réel : application aux autopilotes de drones Type de document : thèse Auteurs : Soulimane KAMNI, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; Yassine OUHAMMOU, Directeur de thèse ; Antoine BERTOUT, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Jean-Philippe BABAU, Rapporteur ; Jean HLADIK, Rapporteur ; Annie CHOQUET-GENIET, Examinateur ; Jérôme ERMONT, Auteur Importance : 145 p. Note générale : NNT 2023ESMA0014 Résumé Mots clés Remerciements Table des matières Liste des figures Liste des tableaux Liste des abréviations Liste des symboles Bibliographie Résumé Mots clés Catégories : Drones Durée de vie (ingénierie) Ingénierie dirigée par les modèles Ordonnancement (informatique) Systèmes embarqués (informatique) Systèmes, Conception de Temps réel (informatique) Résumé : INTRODUCTION GÉNÉRALE Contexte et motivations Objectifs de la thèse Organisation de la thèse Publications scientifiques SYSTÈMES EMBARQUÉS TEMPS RÉEL ET CONCEPTION À BASE DES MODÈLES Introduction Système embarqué temps réel Cycle de vie de développement des systèmes temps réel Méthodologies et langages de conception standardisés Conception des systèmes temps réel Conclusion ORDONNANCEMENT ET VALIDATION DES SYSTÈMES TEMPS RÉEL Introduction Modèles de tâche Orodonnancement monoprocesseur Orodonnancement multiprocesseur Analyse d'ordonnançabilité et validation Outils d'analyse basés sur les modèles État de l'art sur les méthodes de déploiement des systèmes temps réel Conclusion RYM : UNE APPROCHE BASÉE SUR LES RYTHMES POUR LE PRÉ-DÉPLOIEMENT DES RTES CRITIQUES Introduction Principe général Étude de cas Comparaison Outil Conclusion PERSONNALISATION DU LOGICIEL D'AUTOPULOTES DE DRONES À TRAVERS UN GFRAMEWORK DE RÉTRO-INGÉNIERIE Introduction État de l'art sur la visualisation logicielle et la rétro-ingénierie Conception des autopilotes des UAV Architecture logicielle abstraite d'un autopilote Exemple motivationnel Architecture de Paparazzi Concepts spécifiques dans l'architecture logicielle des autopilotes Implémentaiton du framework État de l'art sur les systèmes à décalage libre (offset-free) Application Conclusion CONCLUSION GÉNÉRALE En ligne : https://theses.hal.science/tel-04399687

Exemplaires (1)

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

---

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