Bibliographie & annexes
Quiz & test
Présentation
En anglais
RÉSUMÉ
Cet article traite de la notion de sécurité telle qu’appréhendée pour les logiciels des systèmes scientifiques et techniques.
Après avoir présenté les aspects de sûreté de fonctionnement et de cybersécurité, l’article est consacré à la maîtrise de la sécurité fonctionnelle et de la fiabilité des logiciels. Il présente les méthodes de construction de la sécurité basées sut les AMDE et les méthodes de quantification de la fiabilité basées sur les modèles. Il traite également de la prise en compte du facteur humain lors de l’analyse des risques.
L’article s’intéresse ensuite aux méthodes de réduction des risques basées sur les mécanismes de tolérance aux fautes ou aux méthodes formelles. Il conclut en faisant le point sur les aspects normatifs et les principales pratiques industrielles en termes de sécurité fonctionnelle.
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 deals with the notion of safety and security as understood for software in scientific and technical systems.
After presenting the aspects of dependability and cybersecurity, the article is devoted to the control of functional safety and reliability of software. It presents FMEA-based safety construction methods and model-based reliability quantification methods. It also deals with the consideration of the human factor when analysing risks.
The article then looks at risk reduction methods based on fault tolerance mechanisms or formal methods. It concludes by reviewing of the normative aspects and the main industrial practices in terms of functional safety.
Auteur(s)
-
Frédérique VALLÉE : Agrégée de mathématiques – Docteur en statistiques - Expert en sûreté de fonctionnement des systèmes programmés – Consultante, France
INTRODUCTION
La sécurité d’un système correspond à la non-occurrence d’événements pouvant diminuer ou porter atteinte à l’intégrité du système et de son environnement pendant toute la durée de l’activité du système, que celle-ci soit réussie, dégradée ou échouée. La sécurité couvre les événements de natures aléatoire (danger) ou volontaire (menace).
La fiabilité d’un système correspond à son aptitude à accomplir l’ensemble des fonctions spécifiées dans son document de référence, dans un environnement donné et pour un temps de fonctionnement donné.
Cet article présente plus particulièrement l’application des techniques de sûreté de fonctionnement permettant de conférer aux systèmes programmés scientifiques et techniques de bonnes caractéristiques de sécurité et de fiabilité.
Les systèmes programmés scientifiques et techniques regroupent principalement :
-
les systèmes embarqués dans les voitures, trains, avions, équipements médicaux, systèmes d’arme… ;
-
les systèmes de contrôle-commande des installations industrielles des domaines : nucléaire, chimie… ;
-
les systèmes de télécommunication ;
-
les systèmes de calcul scientifique.
Avant la lecture du présent article, il est recommandé de lire les concepts généraux relatifs à la sécurité et à la gestion des risques des systèmes informatiques décrits dans l’article précédent [SE 2 500].
Notons que les concepts et méthodes de cybersécurité qui y sont décrits sont communs à tous les types de systèmes informatiques et ne sont donc pas repris dans le présent article.
L'expertise technique et scientifique de référence
MOTS-CLÉS
logiciel AMDEC Analyse des risques cybersécurité Sécurité fonctionnelle Tolérance fiabilité
KEYWORDS
software | FMECA | Risk analysis | cybersecurity | Functional safety | tolerances | reliability
VERSIONS
- Version archivée 1 de avr. 2016 par Frédérique VALLÉE
DOI (Digital Object Identifier)
CET ARTICLE SE TROUVE ÉGALEMENT DANS :
Accueil > Ressources documentaires > Environnement - Sécurité > Sécurité et gestion des risques > Sécurité par secteur d'activité et par technologie > Sécurité informatique pour la gestion des risques - Application aux systèmes scientifiques et techniques > Exemples de solutions
Accueil > Ressources documentaires > Environnement - Sécurité > Sécurité et gestion des risques > Menaces et vulnérabilités : protection des sites industriels > Sécurité informatique pour la gestion des risques - Application aux systèmes scientifiques et techniques > Exemples de solutions
Accueil > Ressources documentaires > Innovation > Industrie du futur > Industrie du futur : outils numériques > Sécurité informatique pour la gestion des risques - Application aux systèmes scientifiques et techniques > Exemples de solutions
Accueil > Ressources documentaires > Technologies de l'information > Sécurité des systèmes d'information > Sécurité des SI : organisation dans l'entreprise et législation > Sécurité informatique pour la gestion des risques - Application aux systèmes scientifiques et techniques > Exemples de solutions
Cet article fait partie de l’offre
Industrie du futur
(104 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
Aspects normatifs
En anglais
5. Exemples de solutions
Les mécanismes de tolérance aux fautes et les méthodes formelles font partie des solutions techniques proposées pour réduire la criticité des systèmes scientifiques et techniques. Quelques-unes de ces solutions sont présentées ici.
5.1 Mécanismes de tolérance aux fautes
-
Les techniques de programmation défensive mettent à la disposition des concepteurs des techniques particulières qui permettent aux systèmes programmés d’être réactifs en cas de défaillance. Ces techniques sont utilisables dans les AMDE en tant que barrières de sécurité pour éviter que certains modes de défaillance des composants ne produisent les événements redoutés du système.
Les techniques les plus souvent utilisées au niveau de la conception sont les techniques dites de programmation N versions ou de bloc de recouvrement.
-
Le principe de la programmation N versions (figure 7) est similaire au principe de redondance active bien connu pour le matériel : N versions de programmes différents développés selon les mêmes spécifications sont exécutées en parallèle.
Cette approche permet en principe de ne laisser passer aucune défaillance. Le problème est qu’elle peut être mise en défaut dans le cas d’une faute dont l’origine est implicitement dans les spécifications, ce qui est tout à fait possible. Il y a alors une cause commune de défaillance, l’indépendance entre les programmes n’est plus vérifiée : on dit qu’il n’y a pas de « diversité ». Par ailleurs, une telle approche est coûteuse à réaliser.
-
Le principe du bloc de recouvrement (figure 8) consiste à développer une sorte de vérificateur de calcul appelé « alternant primaire ». L’alternant primaire ne fait pas les mêmes calculs que la fonction principale, mais, connaissant les entrées, il liste un certain nombre de propriétés que doivent avoir les sorties de la fonction. Si possible, il utilise également d’autres entrées que celles utilisées par la fonction principale. Un test d’acceptation permet de s’assurer que ces propriétés sont vérifiées. Si ce n’est pas le cas, un « alternant secondaire »...
L'expertise technique et scientifique de référence
TEST DE VALIDATION ET CERTIFICATION CerT.I. :
Cet article vous permet de préparer une certification CerT.I.
Le test de validation des connaissances pour obtenir cette certification de Techniques de l’Ingénieur est disponible dans le module CerT.I.
de Techniques de l’Ingénieur ! Acheter le module
Cet article fait partie de l’offre
Industrie du futur
(104 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
Exemples de solutions
BIBLIOGRAPHIE
-
(1) - DESROCHES (A.), LEROY (A.), VALLEE (F.) - La gestion des risques : principes et pratiques. - Hermès Sciences, Lavoisier (2015).
-
(2) - IMdR - Collège sûreté de fonctionnement des logiciels, - GTR 6 Guide : démarche et méthodes de conception de logiciels sûrs de fonctionnement, mai 2000.
-
(3) - Collectif AFIS - Découvrir et comprendre l’ingénierie système. - Éditions Cépaduès (2011).
-
(4) - VALLÉE (F.), SADMI (F.), DUMONT (J.) - Safety Architect © : a tool for model-based safety analyses compliant with the system engineering approach. - ICSSEA (International Conference on Software and Systems Engineering and their Applications), Paris (2011).
-
(5) - MUSA (J.), IANNINO (A.), OKUMOTO (K.) - Software reliability : measurement, prediction, application (Fiabilité du logiciel : mesure, prévision, application). - Mc Graw-Hill Book Company (1987).
- ...
DANS NOS BASES DOCUMENTAIRES
IMdR – Institut pour la maîtrise des risques
AFIS – Association Française d’Ingénierie Système
AFNOR – Association française de normalisation
INERIS – Institut national de l’environnement industriel et des risques
COFRAC – Comité français d’accréditation
CERTIFER – Groupe d’inspection et de certification des systèmes ferroviaires et des transports guidés
UTE – Union Technique de l’Electricité
HAUT DE PAGE
EN 50128-11, Applications ferroviaires : systèmes de signalisation, de télécommunication et de traitement – logiciels pour systèmes de commande et de protection ferroviaire
CEI 61508-10, Sécurité fonctionnelle des systèmes électriques/électroniques/électroniques programmables relatifs à la sécurité
DO 178 C-12, Software considerations in airborne...
L'expertise technique et scientifique de référence
Cet article fait partie de l’offre
Industrie du futur
(104 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
QUIZ ET TEST DE VALIDATION PRÉSENTS DANS CET ARTICLE
1/ Quiz d'entraînement
Entraînez vous autant que vous le voulez avec les quiz d'entraînement.
2/ Test de validation
Lorsque vous êtes prêt, vous passez le test de validation. Vous avez deux passages possibles dans un laps de temps de 30 jours.
Entre les deux essais, vous pouvez consulter l’article et réutiliser les quiz d'entraînement pour progresser. L’attestation vous est délivrée pour un score minimum de 70 %.
L'expertise technique et scientifique de référence
Cet article fait partie de l’offre
Industrie du futur
(104 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
