Exposé 1 (14h)

• Titre : Modélisation de politiques de redondance et analyse des scénarios de pannes
• Intervenant : Frédéric Boulanger (Supélec)

Le séminaire présente les résultats d'une étude menée en de 2012 à 2014 pour la modélisation et la vérification de la redondance dans l'architecture du lanceur Ariane. Nous y avons développé un environnement pour la modélisation de :

• la redondance dans la structure logicielle,
  
• la redondance dans l'architecture matérielle,
• les politiques de reconfiguration en cas de panne,
  
• les contraintes d'allocation,
• les contraintes de communication et les temps d'exécution.

Nous utilisons ensuite des solveurs pour trouver une configuration qui satisfait les contraintes d'allocation, de communication et de temps d'exécution. Sur cette configuration nominale, nous jouons les scénarios de pannes et vérifions que la politique de reconfiguration est capable de ramener le système dans un état acceptable. Cette chaîne d'outils qui repose sur Alloy, SynDEx, et les transformations de modèles dans Eclipse/EMF (Acceleo et ATL) a été complètement automatisée. Elle permet aux architectes d'explorer différentes architectures matérielles et logicielles et d'expérimenter différentes politiques de redondance.