Article précédent
Mise en œuvre de la norme CENELEC EN 50128:2011 - Logiciel pour les transports ferroviairesArticle de référence | Réf : TRP3309 v1
Auteur(s) : Jean-Louis BOULANGER
Date de publication : 10 févr. 2016
Article suivant
Signalisation ferroviaire - Principales fonctionsCet article fait partie de l’offre
Systèmes ferroviaires (47 articles en ce moment)
Cette offre vous donne accès à :
Une base complète et actualisée d'articles validés par des comités scientifiques
Un service Questions aux experts et des outils pratiques
Des Quiz interactifs pour valider la compréhension et ancrer les connaissances
Quitter la lecture facile
Application logicielle
Ensemble des programmes, des procédés et des règles et éventuellement de la documentation, relatifs au fonctionnement d’un ensemble de traitement de l’information.
Analyse d’impact
L’analyse d’impact d’une anomalie consiste à identifier les modifications à réaliser sur la phase descendante (impact sur les documents, impact sur le code, impact sur la description et l’implémentation des tests) de la réalisation.
Analyse de non-régression
L’analyse de non-régression consiste à déterminer un ensemble de vérifications permettant de démontrer que la modification réalisée n’a pas d’effet sur le reste de l’application logicielle.
Vérification
Confirmation par des preuves tangibles que les exigences spécifiées ont été satisfaites à chaque étape du processus de développement.
Validation
Confirmation par des preuves tangibles que les exigences définissant une utilisation spécifique ou une application prévues ont été satisfaites.
Propriété
Une propriété est une caractéristique qu’un composant (matériel ou logiciel) doit vérifier.
Propriété de sûreté
Une propriété de sûreté (au sens du terme anglais safety) exprime que quelque chose de mauvais ne se produit jamais au cours de l’exécution.
Propriété de vivacité
Une propriété de vivacité (liveness) exprime que quelque chose de bon se produit immanquablement au cours de l’exécution.
Application spécifique
Une application spécifique est une application générique à qui un paramétrage a été associé. Cette application spécifique n’est utilisable que pour une seule installation.
Application générique
Une application générique est composée d’une plateforme d’exécution (appelée produit générique) et d’une application logicielle. Cette application logicielle est définie en fonction d’un jeu de données de paramétrage qui devra être instancié en fonction de l’utilisation finale (dépendant du site, dépendant des services à activer, dépendant des caractéristiques techniques, etc.).
Produit générique
Un...
Vous êtes abonné à cette offre ?
Connectez-vous !
Vous souhaitez découvrir cette offre ?
Cet article est inclus dans l'offre :
SYSTÈMES FERROVIAIRES
(1) - ABRIAL Jr., The B Book - Assigning programs to meanings. - Cambridge University Press, Cambridge, août 1996.
(2) - BOULANGER (J.-L.), SCHÖN (W.) - Logiciel sûr et fiable : retours d’expérience. - Revue Génie Logiciel, n° 79, p. 37 à 40, déc. 2006.
(3) - BOULANGER (J.-L.), SCHÖN (W.) - Assessment of safety railway application. - ESREL (2007).
(4) - BOULANGER (J.-L.) - Expression et validation des propriétés de sécurité logique et physique pour les systèmes informatiques critiques. - Thèse, Université de Technologie de Compiègne (2006).
(5) - Sous la direction de BOULANGER (J.-L.) - Utilisations industrielles des techniques formelles – Interprétation abstraite. - Collection IC2, Hermès (2011).
(6)...
CENELEC http://www.cenelec.eu/Cenelec/Homepage.htm
COFRAC http://www.cofrac.fr
EPSF http://www.securite-ferroviaire.fr/
ERTMS http://www.ertms.com
ISO http://www.iso.org/iso/home.html
MODUrban http://www.modurban.org/
STRMTG http://www.strmtg.equipement.gouv.fr/
UGTMS http://www.ugtms.jrc.cec.eu.int/
CodePeer http://www.adacore.com/codepeer/
Polyspace http://www.mathworks.com/products/polyspace/
Caveat https://ieeexplore.ieee.org/document/1028953
Absint http://www.absint.com/
FRAMAC http://frama-c.com/
ASTREE http://www.astree.ens.fr/
ADA 2012 http://www.ada2012.org/...
DÉTAIL DE L'ABONNEMENT :
TOUS LES ARTICLES DE VOTRE RESSOURCE DOCUMENTAIRE
Accès aux :
Articles et leurs mises à jour
Nouveautés
Archives
Articles interactifs
Formats :
HTML illimité
Versions PDF
Site responsive (mobile)
Info parution :
Toutes les nouveautés de vos ressources documentaires par email
DES ARTICLES INTERACTIFS
Articles enrichis de quiz :
Expérience de lecture améliorée
Quiz attractifs, stimulants et variés
Compréhension et ancrage mémoriel assurés
DES SERVICES ET OUTILS PRATIQUES
Votre site est 100% responsive, compatible PC, mobiles et tablettes.
FORMULES
| Formule monoposte | Autres formules | |
|---|---|---|
| Ressources documentaires | ||
| Consultation HTML des articles | Illimitée | Illimitée |
| Quiz d'entraînement | Illimités | Illimités |
| Téléchargement des versions PDF | 5 / jour | Selon devis |
| Accès aux archives | Oui | Oui |
| Info parution | Oui | Oui |
| Services inclus | ||
| Questions aux experts (1) | 4 / an | Jusqu'à 12 par an |
| Articles Découverte | 5 / an | Jusqu'à 7 par an |
| Dictionnaire technique multilingue | Oui | Oui |
|
(1) Non disponible pour les lycées, les établissements d’enseignement supérieur et autres organismes de formation. |
||
| DEMANDER UN DEVIS | ||
Information
Quiz d'entraînement bientôt disponible
