Guider et contrôler les reconfigurations de systèmes à composants : Reconfigurations dynamiques : modélisation formelle et validation automatique
Notre objectif principal est de permettre l’utilisation de propriétés temporelles dans une politique d’adaptation en tenant compte des spécificités de la vérification à l’exécution.Pour y répondre, nous définissons un modèle de système à composants supportant les reconfigurations dynamiques. Nous in...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2017
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2017UBFCD068 |