Projets par an
Résumé
We propose to see adaptive systems as systems with highly dynamic features. We model as features both the reconfigurations of the system, but also the changes of the environment, such as failure modes. The resilience of the system can then be defined as the fact that the system can select an adequate reconfiguration for each possible change of the environment. We must take into account that reconfiguration is often a major undertaking for the system: it has a high cost and it might make functions of the system unavailable for some time. These constraints are domain-specific. In this paper, we therefore provide a modelling language to describe these aspects, and a property language to describe the requirements on the adaptive system. We design algorithms that determine how the system must reconfigure itself to satisfy its intended requirements. © 2013 Springer-Verlag.
langue originale | Anglais |
---|---|
titre | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Sous-titre | Principles, Models, and Techniques |
rédacteurs en chef | Javier Cámara, Rogério de Lemos, Carlo Ghezzi , Antónia Lopes |
Lieu de publication | Heidelberg Dordrecht London New York |
Editeur | Springer |
Pages | 1-29 |
Nombre de pages | 29 |
Volume | 7740 |
ISBN (Electronique) | 978-3-642-36249-1 |
ISBN (imprimé) | 978-3-642-36248-4 |
Les DOIs | |
Etat de la publication | Publié - 1 janv. 2013 |
Série de publications
Nom | Lecture Notes in Computer Science |
---|
Empreinte digitale
Examiner les sujets de recherche de « Model checking adaptive software with featured transition systems ». Ensemble, ils forment une empreinte digitale unique.Projets
- 3 Terminé
-
Thesis-M-Cordy: Modélisation et vérification modulaires de lignes de produits logiciels temps réel.
CORDY, M. (Chercheur), Heymans, P. (Co-investigateur) & Schobbens, P. Y. (Co-investigateur)
1/10/11 → 30/09/15
Projet: Projet de thèse
-
VLPL: Vérification de Lignes de Produits Logiciels
Heymans, P. (Responsable du Projet), Schobbens, P. Y. (Responsable du Projet), Classen, A. (Chercheur), CORDY, M. (Chercheur), KANG, E.-Y. (Chercheur) & Legay, A. (Chercheur)
1/01/11 → 1/01/13
Projet: Recherche
-
TPA: Théorie et Pratique des Automates et des Logiques
Schobbens, P. Y. (Responsable du Projet), CORDY, M. (Chercheur), KANG, E.-Y. (Chercheur) & Ortiz Vega, J. J. (Chercheur)
1/01/11 → 31/12/14
Projet: Recherche