Documente Academic
Documente Profesional
Documente Cultură
1. 1. Introduction Introduction
2. Dfaillances, Erreurs et Fautes
3. Evaluation quantitative
4. Analyse des dfaillances
5. Arbres de dfaillances
1
Master 1 - Scurit des Systmes Informatiques
Cours de Sret de Fonctionnement Cours de Sret de Fonctionnement
et Fiabilit des Logiciels et Fiabilit des Logiciels
Master 1 - Scurit des Systmes Informatiques
Cours de Sret de Fonctionnement Cours de Sret de Fonctionnement
et Fiabilit des Logiciels et Fiabilit des Logiciels
2
1) Notion de Systme 1) Notion de Systme
1. Introduction
2. Quest ce quun systme?
3. Assurer des fonctions : Besoins fonctionnels et
non fonctionnels
4. Exemple
3
1.1) Introduction 1.1) Introduction
La sret de fonctionnement consiste atteindre les
objectifs sacrs de la conception des systmes :
qzro accident,
qzro arrt,
qzro dfaut
q(et mme zro maintenance).
4
Dfinition Dfinition de la de la sret sret de de fonctionnement fonctionnement
La sret de fonctionnement (SdF) est l'aptitude d'une
entit satisfaire une ou plusieurs fonctions requises dans
des conditions donnes (selon Alain Villemeur, ).
Elle traduit la confiance qu'on peut accorder un systme,
la sret de fonctionnement tant, selon la dfinition
propose par Jean-Claude Laprie
2
, la proprit qui permet
aux utilisateurs du systme de placer une confiance justifie
dans le service qu'il leur dlivre .
5
La sret de fonctionnement peut donc dsigner
plusieurs choses :
qL'aptitude d'une entit (organisation, systme, produit,
moyen, etc.) d'une part, disposer de ses performances
fonctionnelles (fiabilit, maintenabilit, disponibilit) et
d'autre part, ne pas engendrer de risques majeurs
(humains, environnementaux, financiers, etc.)
(scurit) ;
qLes activits d'valuation de cette aptitude (tudes de
sret de fonctionnement) ;
qL'ensemble du personnel charg de ces activits.
6
Historique Historique
7
Bref historique de la sret de fonctionnement (1) Bref historique de la sret de fonctionnement (1)
8
Priode Accidents
Jusqu'aux annes 30 Jusqu'aux annes 30
Approche intuitive : renforcer llment le plus faible
Premiers systmes parallles et redondants
Approche statistique, taux de dfaillance
Premires estimation de probabilit d'accidents d'avion
Pugsley : premier objectif de safety
taux d'accident d'avion 10
-5
per flight hour
Explosion poudrire (1794)
Accident chemin de fer (1842)
Titanic (1912). . .
Annes 40 Annes 40
Analyse des missiles allemands V1 (Robert Lusser)
Loi de Murphy If anything can go wrong, it will
Quantification de la disponibilit
Annes 50 Annes 50
Advisory Group on Reliability of Electronic Equipment
(AGREE)
- Rduction des cots de maintenance
- Augmentation de la fiabilit
- MTBF
Tcheliabinsk 40 (1957)
Priode Accidents
Annes 60 Annes 60
Analyses des modes de dfaillance et de leurs effets
Programmes de recherche spatiaux
Arbre de dfaillance (missile Minuteman)
Arbres des causes (Boeing - NASA)
Livres sur la fiabilit (ex. Barlow and Proschan)
Torrey Canyon (1967)
Annes 70 Annes 70
Analyse des risques
Collecte de donnes REX
Annes 80 Annes 80 nos jours nos jours
Nouvelles techniques (simulation, rseaux de
Petri,..)
Modlisation
Tchernobyl (1986)
Ariane V (1996)
DART (NASA, 2005)
Vol Rio Janeiro. . .
9
Bref historique de la sret de fonctionnement (2) Bref historique de la sret de fonctionnement (2)
1.2) Quest ce quun systme? 1.2) Quest ce quun systme?
Des hommes
Des quipements
Des logiciels
Des techniques
10
Notions de base: Notions de base:
Systme : combinaison de parties qui se coordonnent
pour concourir un rsultat
Service rendu par le systme : son rsultat, son
comportement tel qu'il est peru par l'utilisateur.
Utilisateur : un autre produit, un autre procde , un
operateur
11
Notion de Systme (1) Notion de Systme (1)
Un systme est un ensemble dlments (i.e., composants)
interagissant (interdpendants) entre eux selon certains
principes ou rgles.
Les lments forment tout un tout intgr.
les relations entre ces lments sont diffrentes des relations qui
peuvent exister entre lensemble ou ses lments avec dautres
ensembles et lments
Beaucoup de systmes sont ouverts, certains sont ferms ou isols.
Le terme systme provient du mot latin systma qui vient
de lancien grec sustma (susthma) signifiant un tout
compos de plusieurs parties ou lments, littralement
composition, organisation, ensemble .
Exemples: Systmes dExploitation, Systmes Formels,
Systmes Biologiques,
12
Notion de Systme (2) Notion de Systme (2)
Les systmes partagent les caractristiques suivantes :
Un systme a une structure; Il contient des lments relis les uns
autres directement ou indirectement,
Un systme a un comportement; Il contient des processus qui
transforment des entres (hard ou soft) en sortie.
Un systme comporte interconnexions; les lments et les
processus sont interconnects par des relations structurelles ou
comportementales.
La structure et le comportement dun systme peut tre dcompos
via des sous-systmes (modules) et sous-processus en des
lments et des tapes plus simples
Un systme est dtermin par :
La nature de ses lments constitutifs,
Le type des interactions entre ces derniers
Sa frontire, i.e., le critre dappartenance au systme dterminant
si une entit appartient au systme ou bien son environnement.
13
En rsum : En rsum :
Un systme peut tre dcrit comme un ensemble
dlments en interaction entre eux et avec
l'environnement dont le comportement dpend :
des comportements individuels des lments qui le
composent,
des rgles d'interaction entre lments (interfaces,
algorithmes, protocoles),
de l'organisation topologique des lments
(architectures).
14
1.3) Assurer 1.3) Assurer les fonctions les fonctions
Tout systme se dfinit par une ou plusieurs fonctions
(ou missions) qu'il doit accomplir dans des conditions
et dans un environnement donn.
L'objet dtude de la sret de fonctionnement est la
fonction.
Une fonction peut tre dfinie comme l'action d'une
entit ou de l'un de ses composants exprime en terme
de finalit.
15
Fonctions dun systme Fonctions dun systme
fonction principale : raison dtre d'un systme (pour
un tlphone portable, la fonction principale est la
communication entre 2 entits) ;
fonctions secondaires : fonctions assures en plus de la
fonction principale (sms, horloge, rveil, jeux . . . ) ;
fonctions de protection : moyens pour assurer la
scurit des biens, des personnes et environnement ;
fonctions redondantes : plusieurs composants assurent
la mme fonction.
16
DDescription escription fonctionnelle fonctionnelle
17
Structure dun systme Structure dun systme
18
1.4) Exemple 1.4) Exemple : Elaborer un : Elaborer un systme systme
Un Tout-En-Un
Une socit SAS souhaite mettre en vente un outil, offrant des
facilits facilits de coordination avec ses autres produits : un
portable faisant ouverture/verrouillage de portes-PDA-GPS-
tlphone-camra-WI-FI.
Elle fait d'abord :
une tude de dfinition du produit : quelles fonctionnalits?
une tude de marche : quels clients?
une valuation des cots : bnfices attendus
Elle effectue donc une analyse des besoins.
19
Exemple : Exemple : Analyse des besoins Analyse des besoins
micro-processeur(s) et logiciel embarqus rendant les
services demands:
bon fonctionnement, en particulier du systme de verrouillage des
portes
Mais aussi:
pas dchauffement excessif,
cran de bonne qualit rsistant aux chocs,
poids le plus lger possible,
clavier agrable utiliser et rsistant aux petits incidents,
bonne isolation lectrique, facilite de maintenance, ...
Ces qualits sont des exigences du donneur d'ordre, qui
doit satisfaire ses futurs acheteurs.
20
Exemple Exemple : Autres souhaits de SAS : Autres souhaits de SAS
Respect de la norme internationale CEI61508 (rgles
appliques en industrie: Functional Safety of
Electrical/Electronic/Programmable Electronic Safety-
related Systems)
minimisation des cots de production pour assurer une
commercialisation du produit dgageant des bnfices ...
faible taux de pannes,
maintenance facile,
volution possible
mise au rebut respectant les normes lies l'environnement
21
Exemple : Exemple : Donneur Donneur D'ordre / Constructeur D'ordre / Constructeur
Cette socit SAS fait alors un appel d'offres accompagn
d'un cahier des charges labor suite l'analyse des besoins.
L'appel d'offres est attribu l'entreprise HIGHTEC, bien
connue pour ses comptences en matire de dveloppement
de systmes comportant matriel et logiciel.
La socit SAS est le donneur d'ordre.
L'entreprise HIGHTEC est le
Concepteur/constructeur/commanditaire.
SAS est son client.
22
Exemple Exemple : : Vue de l'utilisateur Vue de l'utilisateur
L'utilisateur achte le produit : une cl + un tlphone + ...+
un systme d'exploitation + les logiciels fournis + la
documentation
Qualits souhaites par l'utilisateur:
fonctionnement correct du verrouillage, du GPS, du WI-FI, ...,
systme d'exploitation sachant tirer parti des possibilits du
micro-processeur, permettant de se prmunir contre des
attaques,
logiciels fournis performants,
documentation claire, prcise ... et adquate ...
facilit de mise jour, ....
23
Exemple Exemple : : Vue de HIGHTEC Vue de HIGHTEC
Tout-En-Un = ensemble de composants matriels dont
certains supportent du logiciel
Satisfaire tous les interlocuteurs : le client et les utilisateurs
... et lui-mme