Détail de l'auteur
Auteur Frédéric BONIOL |
Documents disponibles écrits par cet auteur (2)
Faire une suggestion Affiner la recherche
Aide au développement de systèmes temps réel à l'aide d'un langage graphique flots de données / NGO Khanh Hieu
Titre : Aide au développement de systèmes temps réel à l'aide d'un langage graphique flots de données Type de document : thèse Auteurs : NGO Khanh Hieu ; Francis COTTET, Directeur de thèse ; Emmanuel GROLLEAU, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Frédéric BONIOL, Rapporteur ; Patrick MARTINEAU, Rapporteur ; Isabelle PUAUT, Examinateur ; Pascal RICHARD, Examinateur Importance : 221 p. Note générale : Remerciements
Table des matières
Introduction générale
Bibliographie
Annexes
Résumé
Mots clésCatégories : LabVIEW (langage de programmation)
Systèmes embarqués (informatique)
Temps réel (informatique)
XML (langage de balisage)Index. décimale : TH-08 Résumé : INTRODUCTION
Contexte de l'étude
Cycle de développement d'un logiciel
Le cycle de vie Logiciel/Matériel
Support d'exécution pour le temps réel
Méthodes de développement d'un logiciel
Validation temporelle des systèmes temps réel
DARTS : DU CONCEPT AU CODE
Utilisation de la méthode DARTS
Implémentation DARTS sur LabVIEW
Implémentation DARTS sur les langages de programmation impératifs
ARCHITECTURE DARTSVIEW
Présentation de la palette DARTSVIEW
Palette DARTSVIEW et le premier V du cycle de vie en W
Palette DARTSVIEW et le second V du cycle de vie en W
CAS D'ETUDE
Diagramme DARTSVIEW du système de chauffage
Génération de code du système de chauffage d'une maison
DARSTVIEW vs les modifications de modèle DARTS du système de chauffage
CONCLUSIONEn ligne : http://theses.edel.univ-poitiers.fr/theses/2008/Ngo-Khanh/2008-Ngo-Khanh-These.p [...] Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00007982 TH-08 NGO Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt
Titre : A framework for the management of heterogeneous models in systems engineering Type de document : thèse Auteurs : David SIMON ZAYAS, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; Anne MONCEAUX, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Frédéric BONIOL, Rapporteur ; Parisa GHODOUS, Rapporteur ; Ladjel BELLATRÈCHE, Examinateur ; Mourad OUSSALAH, Examinateur ; Romaric REDON, Examinateur Année de publication : 2012 Importance : 245 p. Note générale : NNT 2012ESMA0007
Remerciements
Introduction
Résumé
Summary
Introduction
Context
Current practices
Our proposal
Structure of the document
References
Appendices
Table of figures
Summary
KeywordsLangues : Français (fre) Catégories : Aéronautique
Informatique:Groupes de travail
Ontologies (informatique)
Systèmes informatiquesRésumé : HETEROGENEITY OF MODELS IN SYSEMS ENGINEERING DOMAIN
Introduction
System modelling
Systems engineering
Inter-model relations
Heterogeneity
Current approaches to handle with heterogeneity
Conclusion
KNOWLEDGE MODELS TO INTEGRATE AND VALIDATE HETEROGENEOUS MODELS
Implicit knowledge
Formalization of knowledge
Ontologies and annotation of models
Validation of inter-model properties
EXPRESS modelling language
Conclusion
CURRENT PROACTICES IN AIRCRAFT SYSTEMS ENGINEERING
Introduction
Aircraft systems modelling
Current MBSE applications
From document to models
MBSE and development process
Management of heterogeneous modelling in aircraft systems engineering
Expected benefuts of the proposed approach
Conclusion
KNOWLEDGE-BASED INTER-MODEL CONSTRAINT VERIFICATION
Introduction
The proposed general integrated models representation
Manipulated models
The resources
The modelling process activities
Conclusion
APPROACH VALIDATION
Introduction
Exportation of SysML and CORE models
Annotation using implicit knowledge
Model integration using equivalences
General constraint definition with first order logic expressions
Implementation with ECCO toolkit
Conclusion
INDUSTRIAL EVALUATION
Introduction
Water and waste system model
Hydraulic and engine system model
Ram air turbine models
Conclusion
PROPOTYPING TOOL
A prototype to support the method
Actors and use cases
Selected technology and architecture
Current HCI (Human Computer Interface)
Conclusion
DEPLOYMENT IN INDUSTRY
Industrialization requirements
Needed technology enhancements
Conclusion
CONCLUSION AND PERSPECTIVES
Contributions
Perspectives
En ligne : http://tel.archives-ouvertes.fr/tel-00740161/ Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00009484 TH-12 SIM Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-12 SIM SIM Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt