Qualites du Logiciel: Dependabilite LFI2 Automne 2008 Chapitre 11.

Présentation au sujet: "Qualites du Logiciel: Dependabilite LFI2 Automne 2008 Chapitre 11."— Transcription de la présentation:

1 Qualites du Logiciel: Dependabilite LFI2 Automne 2008 Chapitre 11

2 Motivation de la Dependabilite Applications critiques Enjeux importants (vie humaines, sommes financieres, mission, etc). Produits complexes Echecs dus a la conception Evolution continue Troisieme partie: V&V produit, vs processus

3 Dimensions de la Dependabilite Disponibilite, proportion de temps disponible Fiabilite, probabilte de comportement correct (sans echec) Surete, probabilite de comportement sur (sans catastrophe) Securite, probabilite de ne pas subir des intrusions malencontreuses

4 Quatre dimensions orthogonales Disponibilite sans fiabilite. Fiabilite sans disponbibilite. Ne se trompe jamais. Fiabilite sans Surete. Surete sans fiabilite. Fiabilite sans securite. Securite sans fiabilite

5 Conception: Priorite entre Qualites FCS: Flight Control System, under pilot supervision. RES: Airline Reservation System. UAV: Unmanned Aerial Vehicle (reconnaissance, dangerous missions, etc). DPM: System for managing distributed project. PACE: Pace Maker.

6 Flight Control System

7 FCS

8 Unmanned Aerial Vehicle

9 Reservation

10 Distributed Project Management

11 PaceMaker

12 Priorites DISPFIABSURESECU FCS RES UAV DPM PACE

13 Disponibilite Capacite du systeme a delivrer ses services a la demande. Deux types de systemes: Systemes continus Systemes a execution individuelle Definitions distinctes

14 Fiabilite Capacite dun systeme a operer sans echec/ Echec? Definitions Faute (عيب) Fault Erreur (خطأ) Error Echec (فشل) Failure

15 Specification Faute: Default dun systeme qui peut lempecher detre correct. Correct? Specification.

16 Faute

17 Erreur

18 Echec

19 Evaluer la Fiabilite MTTF: Mean Time To Failure MTBF: Mean Time Between Failures MFC: Mean Failure Cost

20 Fiabilite sans fautes? Lien logique faute echec. Pas de lien statistique. Des programmes fiables peuvent avoir des fautes. Des programmes peuvent avoir peu de fautes et ne pas etre fiables.

21 Fiabilite Sans Fautes? Une Faute peut se manifester ou pas. Une erreur (manifestation dune faute) peut se propager ou pas. Une erreur qui se propage peut causer un echec ou pas. Les degats de lechec peuvent etre importants ou pas.

22 Implications Fiabilite =/= densite des fautes. Fiabilite == MTTF? Fiabilite == MFC? Diriger lelimination des fautes vers les fautes ayant un impact eleve sur le MTTF.

23 Moyens de la Fiabilite Eviter les Fautes (إجتناب العيوب) Enlever les Fautes (نزع العيوب) Tolerer les Fautes (تحمل العيوب)

24 Tolerance aux Fautes Capacite dun systeme a eviter lechec apres quune faute ait cause une erreur.

25 Surete Capacite dun systeme a eviter les catastrophes meme sil nevite pas lechec. A system is fail-safe.

26 Fiabilite et Surete

27 Exemple: FCS Fiabilite Smoothness of flight Fuel efficiency Adherence to flight vector Response time Tolerance of flight parameters Surete Avoid stalling Avoid stalling at low altitude Avoid reverse thrust in midair Keep throttle down near terminal

28 Concepts de Surete Accident: echec par rapport a une clause de surete. Danger: conditions/ circonstances qui rendent laccident possible. Degats: effet de laccident. Degres de danger. Probabilite du danger.

29 Moyens de Surete Eviter les dangers, Exposer et traiter les conditions dangereuses, Limiter les degats.

30 Securite Concepts de securite Vulnerabilite Intrusion Menace Protection

31 Types de Malice Denial of Service Damage to programs or data Exposure of confidential data

32 Methodes de Securite Eviter les vulnerabilites (arms race). Tolerer les vulnerabilites (ligne maginot). Limiter les degats.