La Modélisation Architecturale au Service des Systèmes TR2E: Contributions à la Configuration Dynamique, la Tolérance aux Pannes, l’Optimisation et la Vérification Formelle