Nous avons créé TargetLink pour le développement de systèmes critiques pour la sécurité. Depuis plus de 15 ans, TÜV Süd le confirme chaque année en recertifiant TargetLink pour la norme ISO 26262 pour tous les niveaux ASIL jusqu’au niveau ASIL-D. Mais bien sûr, TargetLink convient également à d’autres normes, telles que ISO 25119, CEI 61508 ou DO-178C, grâce à notre approche de développement cohérente et rigoureuse.
TargetLink est certifié conforme aux normes ISO 26262, ISO 25119 et CEI 61508
Le TÜV SÜD (l’association allemande internationale de certification) a certifié TargetLink comme convenant au développement de systèmes de sécurité. Le TÜV a confirmé que TargetLink était adapté au développement logiciel d’après les normes ISO 26262, ISO 25119, IEC 61508 et leurs dérivés (tels que la norme EN 50128 dont dépendent les logiciels de sécurité relatifs aux chemins de fer). Cette certification recouvre plusieurs domaines :
- Le processus de développement logiciel et le processus de modification logicielle de TargetLink
- Les procédures de gestion de problèmes
- L’aptitude à l’emploi dans le développement de systèmes de sécurité d’après les normes ISO 26262, ISO 25119 et IEC 61508
Le TÜV SÜD a approuvé une procédure de référence proposant un fil directeur pour le développement de logiciels sécuritaires basés sur une modélisation avec TargetLink. La norme IEC 61508 est la norme générique établie au niveau international pour le développement des systèmes électroniques critiques. La norme ISO 26262 est la norme automobile standard pour le développement de systèmes de sécurité dans les véhicules routiers. La norme ISO 25119 est la norme internationale pour le développement des éléments de sécurité des systèmes de commande dans les tracteurs et les machines destinées à l’agriculture et au secteur forestier. Ces deux normes sont dérivées de la norme IEC 61508.
Un processus de développement compatible avec la norme ISO/CEI 15504
La norme ISO/IEC 15504 (également connue sous la dénomination SPICE : Software Process Improvement and Capability Determination) est une norme internationale pour les processus logiciels. Son concept fondamental est qu’un produit logiciel mature exige un processus de développement mature. dSPACE s’est attaché à un processus de développement compatible à la norme ISO/IEC 15504.
Gestion interne de la qualité logicielle
Un département qualité interne, l’équipe de gestion qualité dSPACE gère proactivement la qualité logicielle chez dSPACE. Cette équipe dirige les activités d’améliorations logicielles, définit des standards internes, mène des évaluations internes et fournit des services de consultation à tous les groupes logiciels. Elle agit indépendamment et assure que les objectifs de qualité produit les plus ambitieux soient constamment atteints et maintenus.
DO-178C/DO-331
Avec la norme DO-178C, applicable notamment pour le développement de logiciels dans l'aviation, la conception à base de modèles et la génération de code automatique disposent d’une base solide pour une utilisation dans le secteur aérospatial. Le document DO-331, Développement et vérification à base de modélisation, supplément aux normes DO-178C et DO-278A donc partie prenante de ces dernières, a été spécialement rédigé à cet effet. dSPACE en tient compte en fournissant un document de workflow qui explique comment utiliser TargetLink dans une chaîne d'outils à base de modélisation pour les projets menés selon la norme DO-178C. Le document de workflow décrit comment répondre à chaque exigence ou objectif de la norme DO-178C/DO-331. Il se concentre non seulement sur TargetLink mais également sur une chaîne d'outils complète à base de modélisation qui peut comprendre des outils tierce partie, par exemple ceux des partenaires de coopération de l’écosystème TargetLink comme BTC Embedded Systems, AbsInt et Model Engineering Solutions. Le document de workflow est donc une contribution importante à la simplification de la certification du code TargetLink dans les applications compatibles avec la norme DO-178C, correspondant à tous les niveaux de criticité jusqu'au niveau A. Pour recevoir le document d’environ 60 pages, contactez TargetLink.Info@dspace.de
Faits concernant TargetLink et les normes DO-178C/DO-331 en bref
- Des modèles Simulink ® /TargetLink pour la spécification d'exigences de haut niveau
- Des modèles de conception TargetLink pour la spécification d'exigences de bas niveau
- Génération de code source traçables, facile à lire, de grande qualité à partir des modèles TargetLink.
- Un support de simulation complet pour les modèles et le code d'après le concept de vérification MIL/SIL/PIL
- Une chaîne d'outils comportant des outils de BTC Embedded Systems pour la spécification d'exigences, la génération automatique de vecteurs de test, la vérification des exigences et la vérification formelle par contrôle du modèle