Mission

Actuellement, les activités de validation et de vérification (V&V) dans l'industrie aérospatiale reposent principalement sur des outils de simulations de type Monte Carlo. Ces outils permettent d'estimer la probabilité de phénomènes suffisamment fréquents (typiquement la satisfaction d'exigences dans le contexte de la V&V), et présentent l'avantage d'être relativement simples à mettre en oeuvre. Ils sont en revanche chronophages, et peuvent échouer à détecter des phénomènes rares mais néanmoins critiques. À mesure que la complexité des systèmes spatiaux modernes augmente, cette limitation joue un rôle de plus en plus important.

Ces dernières années, les méthodes d'analyse de robustesse et d'identification de pires cas basées sur des modèles LFT (µ-analyse, IQC) ont atteint un bon niveau de maturité. Sans avoir recours à des simulations, ces méthodes peuvent explorer de manière exhaustive l'espace de toutes les combinaisons possibles des param...