 |
 |
|
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 |
| Titre | Allocation 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. |
| Lieu | Amphi LaBRI |
| Laboratoire | |
| Doctorant | Laurent Sagaspe |
| Directeur de thèse | Jean-Michel Couvreur |
| Thème de recherche | Méthodes formelles pour la sûreté de fonctionnement
- Modélisation
- Vérification
- Contraintes |
Aucun document lié à cet événement. RetourRetour à l'index
| |