Modélisation des dépendances fonctionnelles pour l'analyse des risques de niveau avion / Sébastien MAITREHENRY  

Titre : Modélisation des dépendances fonctionnelles pour l'analyse des risques de niveau avion Type de document : thèse Auteurs : Sébastien MAITREHENRY, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Nicole LEVY, Rapporteur ; Philippe PALANQUE, Rapporteur ; Pierre BIEBER, Examinateur ; Sylvain METGE, Examinateur ; Jérémy GUIOCHET, Examinateur ; Patrick GIRARD, Examinateur Importance : 254 p. Note générale : NNT 2013ESMA0025 Remerciements Table des matières Introduction Bibliographie Annexes Index des figures Index des tables Glossaire Résumé Mots clés Catégories : Aéronautique Analyse fonctionnelle Fiabilité Ingénierie dirigée par les modèles Méthodes formelles (informatique) Résumé : VERS DES ANALYSES DE SECURITE ASSISTEES PAR LES MODELES La sûreté de fonctionnement dans l'aéronautique Intérêts des modèles et de l'ingénierie des modèles Objectifs et approche de nos travaux DEFINITION ET SYNTHESE DE MODELES POUR L'ANALYSE DES RISQUES Définition des modèles conceptuels pour la sécurité Mise en oeuvre de l'analyse des risques avec AltaRica La transformation de modèle Déploiement sur un cas industriel Extension des modèles à l'étude des facteurs humains CONCLUSION En ligne : http://tel.archives-ouvertes.fr/tel-00954467

Exemplaires (2)

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

---

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