Actualités
  Période
semaine
ou mois
aucune période


  Thèmes:
Thèses
Colloques
Autres
Groupes
Tous les thèmes

   
  Liens:
Voir les thèses

Voir les colloques

Voir les autres événements

Voir la page des groupes

Accéder à l'intranet

Thèse:   
Allocation sûre dans les systèmes aéronautiques : Modélisation, Vérification et Génération

Date 2008-12-04  14:00-16:00
TitreAllocation sûre dans les systèmes aéronautiques : Modélisation, Vérification et Génération 
RésuméUn cadre a été défini pour modéliser, vérifier et générer des allocations de ressources de plateformes avioniques aux fonctions d'un système embarqué. Ce cadre est fondé sur l'utilisation du langage AltaRica pour décrire formellement la propagation des défaillances au sein d'un système embarqué, sur l'utilisation de techniques de vérification tel que le "model-checking" et la génération d'arbres de défaillances et sur les techniques de résolution de contraintes. Les travaux sont illustrés par deux études de cas : l'allocation de ressources de calcul et de communication à une fonction de "suivi de terrain" d'un avion de chasse d'une part, le placement des équipements d'un système hydraulique au sein d'un avion en tenant compte de risques tels que l'éclatement d'un pneu ou d'un réacteur d'autre part. 
LieuAmphi LaBRI 
Laboratoire 
DoctorantLaurent Sagaspe 
Directeur de thèseJean-Michel Couvreur 
Thème de rechercheMéthodes formelles pour la sûreté de fonctionnement - Modélisation - Vérification - Contraintes 



Aucun document lié à cet événement.

Retour
Retour à l'index