ISO 25119 : Développement de logiciels pour tracteurs et matériels agricoles et forestiers

La norme ISO 25119 / EN 16590, " Tracteurs et matériels agricoles et forestiers - Parties des systèmes de commande relatives à la sécurité " ou, dans sa version anglaise, " Tractors and machinery for agriculture and forestry - Safety-related parts of control systems " remplace, dans le domaine des machines agricoles, la norme IEC 61508 qui devait être respectée jusqu'à présent en tant que norme générique pour la sécurité fonctionnelle.

L'objectif de cette norme est de rendre les véhicules et les machines agricoles plus sûrs et plus fiables. Grâce au développement selon la norme de sécurité, le fabricant de véhicules ou de machines dispose d'une position de départ solide pour apporter des preuves en cas de dommage ( la charge de la preuve incombe en principe au fabricant ).

La norme ISO 25119 se compose de quatre parties, la partie 3 étant consacrée au développement de matériel et de logiciels ainsi qu'aux tests.

Le modèle V est utilisé comme base du développement. Comme l'ISO 26262, l'ISO 25119 prescrit un concept de sécurité fonctionnelle, qui doit contenir les exigences fonctionnelles du système, et un concept de sécurité technique avec l'architecture ou la conception du système.

En ce qui concerne les tests de composants logiciels, la preuve d'une couverture structurelle du code source ( Entry Points, Statement- et Branch-Coverage ) est exigée pour les " Software Requirement Level " ( SRL ): SRL 2 et SRL 3.

La mesure de cette couverture de test peut être effectuée avec notre outil Testwell CTC++. En effet Testwell CTC++ est utilisé avec succès dans de nombreux projets de logiciels critiques pour la sécurité.

Certification

Testwell CTC++ est certifié par TÜV Süd pour l'utilisation dans le développement de logiciels critiques pour la sécurité.

La norme ISO 25119 exige également des listes de contrôle et une analyse statique du code ( Control Flow Analysis, Data Flow Analysis ).

Notre solution d'analyse statique

TiCS est une solution de supervision de la qualité du code source, conçue pour les environnements de développement multi-technologies, multi-projets et multi-sites.

TiCS permet de :
✅ Centraliser les mesures de qualité sur l’ensemble du code (C/C++, Java, C#, etc.),
✅ Unifier les outils d’analyse (Coverity, Parasoft C++Test, BlackDuck, MISRA, Cyclomatique, duplication, couverture,…) dans une interface unique,
✅ Automatiser les contrôles qualité dans la chaîne CI/CD,
✅ Assurer la traçabilité et la conformité aux normes (ISO 26262, DO-178C, IEC 61508, etc.),
✅ Suivre l’évolution de la qualité dans le temps via des tableaux de bord clairs et auditables.

Webinaires et séminaires intra entreprise

Les développeurs et managers de logiciels critiques ont besoin des meilleures connaissances afin de développer et de fournir un excellent logiciel.
Verifysoft vous soutient avec ses webinaires et ses formations intra entreprise.