Présidents de session
Cas du spatial et de l’embarqué : spécificités et impacts sur le processus de qualité logicielle, exemple avec le logiciel de vol du spectro-imageur MAJIS de la mission JUICE
- Benoit Garçon - Karin Dassas (CNRS IAS)
Description
· criticité (métriques à atteindre), règles de codage spécifiques CNES C embarqué, règles MISRA,
· qualité Interface Soft Hdw (HSIA),
· REX mode de fonctionnement des analyses (Sonarqube, Understand, Polyspace, RTRT),
· livrables et revues (jalons ESA),
· problématique de la qualité liée aux REUSE (réutilisation de la plateforme générique du CNES, LVCUGEN)