Allocation sûre dans les systèmes aéronautiques : Modélisation, Vérification et Génération / Safe Allocation with Aeronautical systems : Modelisation, Verification and Generation
👁 2 lượt xem↓ 0 lượt tải qua VietLexVietLex bảo vệ quyền riêng tư của bạn — không tracking, không chia sẻ thông tin tải về cho bên thứ ba.
📑 Trích dẫn đầy đủ (citation)
APA-like:
Tác giả chưa xác định. Allocation sûre dans les systèmes aéronautiques : Modélisation, Vérification et Génération / Safe Allocation with Aeronautical systems : Modelisation, Verification and Generation. Thesis, HAL - Pháp.
Việt Nam (chuẩn TCVN 5453:1991):
. Allocation sûre dans les systèmes aéronautiques : Modélisation, Vérification et Génération / Safe Allocation with Aeronautical systems : Modelisation, Verification and Generation. Thesis. HAL - Pháp. Truy cập từ .
Tóm tắt
Cette thèse propose un cadre afin de modéliser, vérifier et générer des allocations de fonctions d'un système embarqué sur des ressources avioniques. 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'arbre de défaillances et sur les techniques de résolution de contraintes. Les travaux sont illustrés par deux - HAL URI: https://theses.hal.science/tel-00906924v1