Référence : 2.04.04.0020 (Intra-entreprise)
Formation Norme Ferroviaire EN 50716
MISE EN ŒUVRE DE LA NORME FERROVIAIRE EN 50716
Vue détaillée de la norme ferroviaire applicable à tous les logiciels incluant les liens avec les autres normes du secteur (EN 50126-1&2 et EN 50129).
Objectifs de la formation EN 50716
A l’issue de la formation EN 50716, l’apprenant sera capable de :
- Connaître les principes généraux et Plans de la norme EN 50716 et des normes associées
- Acquérir les modes de pensées et les méthodes pour la prise en compte des activités de Sûreté de fonctionnement d’un système et d’un logiciel
- Appliquer les principes de détermination du niveau de sécurité fonctionnelle visé
- Acquérir une vision complète des dispositions applicables pour les aspects logiciels
- Appliquer la démarche de validation du niveau de sécurité fonctionnelle obtenu
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.