Référence : 1.01.04.0020 (Inter-entreprise)
Formation Norme Ferroviaire EN 50716
- 29/01/2025 - Toulouse
Considérations logicielles dans les applications ferroviaire (EN 50716)
Objectifs de la formation EN 50716
A l’issue de la formation EN 50716, l’apprenant sera capable de :
- Comprendre les enjeux relatifs à la sûreté de fonctionnement dans le secteur ferroviaire
- Connaître les principes généraux et activités de la norme EN 50716 et des normes associées
- Maitriser les considérations d’assurance du logiciel pour garantir le niveau de capabilité du logiciel
- Appliquer les principes de détermination du niveau de sécurité fonctionnelle visé
Contact Service Formation
Durée de la formation
EN 50716
Public concerné par la formation la formation
EN 50716
Prérequis pour la formation la formation
EN 50716
- Modalités d'évaluation : ici
- Intervenant : Expert de la Norme EN 50716.
Cet enregistrement ne vaut pas agrément de l’Etat. Art.L6352-12 du Code du travail Circ. N°2006-10 du 16/03/06
Produits associés
Formation Norme Ferroviaire EN 50128 Edition 2
Mise en œuvre de la Norme Ferroviaire EN 50128 édition 2
LDRA TBvision Static / LDRArules Analyse statique syntaxique de code
L'analyse statique de LDRA TBvision Static (intégré à la LDRA tool suite®) et de LDRArules (outil stand-alone) permet de s'assurer qu'un ensemble de règles de codage et de normes de programmation uniformes est appliqué, que le code source C/C++/Java/Ada est correctement structuré, et enfin que la qualité du logiciel est suffisante, au travers de mesures de la clarté, maintenabilité, testabilité, complexité du code source… LDRA TBvision Static / LDRArules permettent donc de garantir un meilleur niveau de qualité du code sans impacter le temps de développement.
REACTIVE SYSTEMS Reactis l'outil indispensable de tests de modèles Simulink©, Stateflow© et TargetLink©
En Model Based Design, ou conception dirigée par les modèles, des modèles visuels et exécutables représentant le comportement d’un logiciel embarqué sont développés avant son implémentation, servant ensuite de base pour le test du logiciel puis du système. Ainsi, le plus grand avantage du Model Based Design par rapport à un développement « classique » réside donc dans le fait de pouvoir commencer le test et le débogage d’un système dès la phase de conception du logiciel, afin de les détecter le tôt possible dans le cycle de développement et donc de diminuer les couts de correction des erreurs.