Bibliographie & annexes
Présentation
En anglais
RÉSUMÉ
Cet article présente le processus de qualification des outils tel qu'il est défini dans la version 2011 de la norme CENELEC EN 50128. La précédente version se focalisait sur la qualification des compilateurs, mais la nouvelle version prend en compte l'ensemble des outils mis en oeuvre pour la réalisation d'une application logicielle. La notion de qualification des outils est ainsi présentée et des exemples permettent d'expliciter le besoin.
Lire cet article issu d'une ressource documentaire complète, actualisée et validée par des comités scientifiques.
Lire l’articleABSTRACT
This article presents the qualification process for tools as defined in the 2011 version of the CENELEC EN 50128. Although the previous version focused on the characterization of compilers, the new version takes into account all the tools used for the implementation of a software application. The concept of tool qualification is thus presented and examples are provided in order to explain the need it meets.
Auteur(s)
-
Jean-Louis BOULANGER : Évaluateur-Certificateur - Certifer (Anzin, France)
INTRODUCTION
La réalisation d'un logiciel est basée sur l'utilisation de logiciels tant pour le développement, la compilation que pour la vérification et la validation. Les normes à appliquer pour la réalisation de logiciels critiques définissent un processus afin de maîtriser l'introduction des défauts au sein des logiciels, mais ce processus ne peut atteindre les objectifs prédéfinis que si les outils utilisés respectent eux aussi certains objectifs.
La norme DO 178 – version B introduisait la notion de qualification des outils, introduite dans la CEI 61508 version 2008 et par conséquent dans les normes dérivées comme l'ISO 26262 et la norme 50128 version 2011.
L'objet de cet article est de présenter la problématique, les notions associées et les attendus.
L'expertise technique et scientifique de référence
KEYWORDS
software assessment | regulation context | tools qualification
DOI (Digital Object Identifier)
Cet article fait partie de l’offre
Systèmes ferroviaires
(56 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
Présentation
Conclusion
En anglais
2. Qualification des outils
2.1 Problématique
Initialement, le développement d'une application logicielle consistait à produire un code. L'obtention d'un exécutable passe alors par l'utilisation d'un compilateur. Si le processus permettant d'obtenir le code est conforme à un objectif SSIL, le fait que l'application logicielle soit conforme à son objectif de SSIL est directement lié au compilateur. Il faut donc démontrer que le compilateur est utilisable pour un objectif de SSIL.
Plus généralement, cette problématique peut être généralisée à l'ensemble des outils utilisés pour la conception, la compilation, la vérification et la validation de l'application logicielle, mais aussi pour les outils utilisés dans le cadre de la production des données de l'application logicielle.
Comme nous l'avons expliqué, il faut démontrer qu'un outil est utilisable dans le cadre de la réalisation d'un logiciel ayant un objectif SSIL déterminé. Cette activité est appelée qualification d'un outil.
Définition 1 (qualification). La qualification d'un outil est un processus qui permet de démontrer qu'un outil est utilisable dans le cadre de la réalisation d'une application logicielle ayant un niveau de SSIL défini.
Dans les sections suivantes, nous présentons plus précisément ce qu'est la qualification en explicitant les entrées, les sorties et les activités.
HAUT DE PAGE2.2 EN 50128:2001
Dans le cadre de l'article 10.4.7 (section conception), la norme 50128:2001 requiert que l'on choisisse un jeu d'outil adapté (méthodes de conception, langage, compilateur) pour le niveau de SSIL, et ce pour l'ensemble du cycle de vie du logiciel.
Plus précisément l'article 10.4.9 introduisait une demande concernant la sélection du langage, le compilateur devait disposer de l'un des éléments suivants :
-
un certificat de validation ;
-
un rapport d'évaluation ;
-
un processus redondant.
L'expertise technique et scientifique de référence
Cet article fait partie de l’offre
Systèmes ferroviaires
(56 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
Qualification des outils
BIBLIOGRAPHIE
-
(1) - BAUFRETON (P.), BLANQUART (J.-P.), BOULANGER (J.-L.), DELSENY (H.), DERRIEN (J.-C.), GASSINO (J.), LADIER (G.), LEDINOT (E.), LEEMAN (M.), QUERE (P.), RICQUE (B.) - Comparaison de normes de sécurité-innocuité de plusieurs domaines industriels - . Revue REE, no 2 (2011).
-
(2) - BOULANGER (J.-L.), WALTER (S.) - Logiciel sûr et fiable : retours d'expérience. - Revue Génie Logiciel, no 79, p. 37 à 40, déc. 2006.
-
(3) - BOULANGER (J.-L.), WALTER (S.) - Assessment of Safety Railway Application - . ESREL (2007).
-
(4) - GEORGES (J.-P.) - Principes et fonctionnement du Système d'Aide à la Conduite, à l'Exploitation et à la Maintenance (SACEM). Application à la ligne A du RER. - Revue Générale des Chemins de fer, no 6, juin 1990.
-
(5) - BOULANGER (J.-L.), GALLARDO (M.) - Processus de validation basée sur la notion de propriété. - LamnbdaMu, 12, p. 28-30, mars 2000.
-
...
DANS NOS BASES DOCUMENTAIRES
ANNEXES
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/
HAUT DE PAGE
ERTSS...
L'expertise technique et scientifique de référence
Cet article fait partie de l’offre
Systèmes ferroviaires
(56 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
