Précédent : Abstraction des algorithmes numériques (Aladin-Caps) Remonter : Fiabilité des logiciels scientifiques Suivant : Actions industrielles
Précédent : Abstraction des algorithmes numériques
(Aladin-Caps) Remonter : Fiabilité des logiciels
scientifiques Suivant : Actions
industrielles
Participants : Jocelyne Erhel, Jean-Christophe Paoletti, Bernard Philippe
L'atelier de qualité numérique Aquarels est maintenant opérationnel. Ce logiciel est la propriété d'un partenariat CNES-CEA-DGA et est développé par Simulog, avec suivi scientifique de l'Irisa. Nous avons acquis une première expérience d'utilisation sur une application du CEA. Nous avons mis en évidence des risques d'instabilité numérique selon la nature des données d'entrée grâce à des méthodes de perturbation. Ces résultats sont corroborrés par l'arithmétique d'intervalles [25].
Les trois outils Admin, Forest et Foresys permettent de revaloriser un ancien code Fortran 77, puis de contrôler et de maintenir ce niveau de qualité en phase de développement. L'extention à Fortran 90 est en cours de développement. Admin, Forest et Foresys sont des marques deposées de Connexité (société rachetée par Simulog). Leur distribution est effectuée par Simulog.
Admin construit à partir de fichiers Fortran une Forlib, qui offre un accès aux unités de programme indépendant de la structure logique et physique des fichiers. Une Forlib unifie les unités Fortran et permet de réaliser une vérification de la cohérence globale, de la portabilité et de la qualité numérique sur les variables, les sous-programmes et les fonctions.
Foresys permet de visualiser une Forlib et d'exploiter les résultats de Admin. Cet outil minimise le temps nécessaire à la correction des erreurs.
La cohérence logique de la Forlib étant obtenue, Forest donne la possibilité d'augmenter automatiquement sa facilité de maintenance grâce à ses fonctions de restructuration (vers Fortran 77 ou 90) et d'auto-documentation.