Cinq façons de chercher les erreurs
- Comparaison avec d’autres programmes : les mêmes modèles, fixes ou générés aléatoirement chaque nuit, sont résolus avec OpenSees, Code_Aster, Frame3DD, PyNite, MYSTRAN, Kratos et CalculiX, et chaque écart est analysé.
- Références publiées : des cas dont les résultats ont été publiés par leurs auteurs, et des vérifications réglementaires comparées à des exemples d’application publiés (INTI-CIRSOC, AISC et d’autres).
- Invariants physiques : faire tourner un modèle, le symétriser, le renuméroter ou changer ses unités doit modifier la réponse exactement comme le prévoit la physique.
- Dérivations : les matrices de l’élément de barre sont dérivées symboliquement et comparées terme à terme avec le code.
- Fuzzing et tests de mutation : des millions d’entrées générées cherchent des défaillances, et des erreurs sont introduites volontairement pour vérifier que les tests les détectent.
Des résultats avec une borne d’erreur
Pour les résultats qui le permettent, Stabileo calcule, en arithmétique d’intervalles, une borne qui contient la solution exacte du système qu’il a résolu ; lorsqu’il n’y parvient pas, le résultat est marqué comme non certifié, avec la raison. Les mathématiques de base sont prouvées en Lean pour l’analyse linéaire, les combinaisons, l’analyse modale et l’effondrement plastique. Depuis la version 0.3.0, pour l’analyse linéaire des portiques et des treillis, la borne est aussi vérifiée par rapport au modèle lui-même, avec un assemblage indépendant.
Pourquoi nous publions des avis de sécurité
Cette vérification a mis au jour des défauts réels, dont beaucoup allaient dans le sens de l’insécurité. Nous publions ceux qui ont pu affecter des résultats déjà utilisés, avec la manière de reconnaître un modèle concerné et ce qu’il faut revérifier, car un défaut que personne ne signale reste dans des calculs déjà livrés.
- SA-2026-001 à 004 ont été corrigés dans la version 0.2.0.
- SA-2026-005 à 020 ont été corrigés dans la version 0.3.0.
- SA-2026-021 à 024 ont été corrigés dans la version 0.4.0.
- L’application prévient une fois lorsque des résultats ont pu changer, et les projets enregistrés avant une modification qui les concerne demandent une revérification à l’ouverture.
Ce qu’aucune vérification ne garantit
- Une borne d’erreur borne l’erreur numérique ; elle ne prouve pas que le modèle est juste et ne borne pas l’erreur de discrétisation du maillage.
- Il n’y a pas encore eu de revue indépendante par un ingénieur structure habilité, et les résultats acier selon CIRSOC 301 restent marqués comme expérimentaux.
- L’analyse en non-linéarité matérielle utilise un modèle sécant sur la barre entière.
- Le module PRO, dimensionnement réglementaire compris, est encore en développement.
- Les problèmes de sécurité ouverts sont publics sur GitHub, et le niveau de vérification de chaque analyse, élément et norme figure dans la matrice de maturité.
En résumé : Stabileo convient à une analyse que l’on peut recouper, à l’enseignement et au dimensionnement lorsqu’un ingénieur revoit les résultats déterminants, comme avec tout programme. Si votre processus exige un logiciel commercial revu de façon indépendante ou certifié, Stabileo n’en est pas encore là, et nous le disons.
Questions fréquentes
Stabileo est-il fiable pour un vrai travail de dimensionnement de structures ?
Ses résultats sont vérifiés de cinq façons indépendantes, dont la comparaison avec sept autres programmes d'éléments finis et des bornes d'erreur prouvées en Lean, et les défauts qui ont pu affecter des résultats déjà utilisés sont publiés ; ceux qui sont encore en cours d'évaluation sont publics sur GitHub. Il n'a pas encore fait l'objet d'une revue indépendante par un ingénieur habilité et le module PRO est en développement : comme avec tout programme, l'ingénieur revoit donc le modèle et les résultats déterminants.
Pourquoi Stabileo publie-t-il des avis de sécurité ?
Parce que sa vérification a mis au jour des défauts réels, dont beaucoup allaient dans le sens de l'insécurité, et qu'un défaut que personne ne signale reste dans des calculs déjà livrés. Chaque avis indique comment reconnaître un modèle concerné et ce qu'il faut revérifier.
Les avis publiés sont-ils corrigés ?
Oui. SA-2026-001 à 004 ont été corrigés dans la version 0.2.0, SA-2026-005 à 020 dans la 0.3.0 et SA-2026-021 à 024 dans la 0.4.0.