Conception et construction de systèmes

> Processus de développement

  • Ingénierie de modèles et certification
  • Composition d’analyses
  • Gestion de l’hétérogénéité et du caractère ouvert des systèmes

> Prise en compte des contraintes des systèmes

  • Compromis argumentés (fiabilité, utilisabilité, sûreté de fonctionnement, performance, sécurité, coût, …)
  • Traçabilité

> Fiabilisation des systèmes

  • Démocratisation des méthodes formelles
  • Surveillance adaptative