Capitalisation de la sûreté de fonctionnement des applications soumises à des adaptations dynamiques : le modèle exécutable Satin / Capitalizing safety of applications while being dynamically adapted : the Satin executable model
👁 3 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. Capitalisation de la sûreté de fonctionnement des applications soumises à des adaptations dynamiques : le modèle exécutable Satin / Capitalizing safety of applications while being dynamically adapted : the Satin executable model. Thesis, HAL - Pháp.
Việt Nam (chuẩn TCVN 5453:1991):
. Capitalisation de la sûreté de fonctionnement des applications soumises à des adaptations dynamiques : le modèle exécutable Satin / Capitalizing safety of applications while being dynamically adapted : the Satin executable model. Thesis. HAL - Pháp. Truy cập từ .
Tóm tắt
Les technologies pour l'adaptation dynamique (composants, aspects, ...) arrivent à maturité et permettent de modifier les applications durant leur exécution. Si l'on considère que la sûreté de fonctionnement d'une application est la propriété permettant aux utilisateurs d'un système de placer une confiance justifiée dans le service qu'il leur délivre alors il faut garantir lors d'une adaptation dynamique que cette propriété est préservée. Autrement dit, une adaptation n'est pas "sûre" à partir d - HAL URI: https://theses.hal.science/tel-00090755v1