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: | Weber, Jean-Francois |
---|---|
Other Authors: | Bourgogne Franche-Comté |
Language: | fr |
Published: |
2017
|
Subjects: | |
Online Access: | http://www.theses.fr/2017UBFCD068 |
Similar Items
-
MARTE based model driven design methodology for targeting dynamically reconfigurable FPGA based SoCs
by: Quadri, Imran Rafiq
Published: (2010) -
Développement évolutionnaire de systèmes de systèmes avec une approche par patron de reconfiguration dynamique
by: Petitdemange, Franck
Published: (2018) -
Une Approche Générique pour la Reconfiguration Dynamique des Applications à base de Composants Logiciels
by: KETFI, Abdelmadjid
Published: (2004) -
Exploring Adaptive Cache for Reconfigurable VLIW Processor
by: Sensen Hu, et al.
Published: (2019-01-01) -
Dynamic Partial Reconfigurable FPGA
by: Zhou, Ruoxing
Published: (2011)