GEF499 Systèmes en temps réel

Slides:



Advertisements
Présentations similaires
CHAPITRE 4 Calcul littéral et Identités Remarquables
Advertisements

Portée des variables VBA & Excel
LIRMM 1 Journée Deuxièmes années Département Microélectronique LIRMM.
Calculs de complexité d'algorithmes
LE CALCUL LITTÉRAL AU COLLÈGE
Critère d’ordonnancement en temps réel Partie II
Caractéristique des systèmes en temps réel
Critères d’ordonnancement en temps réel Partie I
Tolérance aux défaillances de logiciel
Hiver 2005Maj JGA Beaulieu & Capt MWP LeSauvage GEF 243B Programmation informatique appliquée Considération de temps.
SYSTEME DE GESTION ET D’INFORMATIQUE BUDGETAIRE DU MALI
Formation Technique 6èmepartie.
EFFET du VENT TRAVERSIER sur les TRAJECTOIRES SOL:
Performances 1 Évolution : Performance. Performances 2 Évolution : Mémoire.
Objectifs Nous allons concevoir une mise en œuvre contenant un noyau de jeu d’instructions. Nous verrons comment l’architecture de jeu d’instructions.
1 Intégration numérique garantie de systèmes décrits par des équations différentielles non-linéaires Application à l'estimation garantie d'état et de paramètres.
Estimation de la survie comparaison des courbes de survie FRT C3.
L’entretien annuel Mai 2012.
INTRODUCTION.
FIABILITE MAINTENABILITE DISPONIBILITE
1 Théorie des Graphes Cycle Eulérien. 2 Rappels de définitions On dit qu'une chaîne est un chemin passant par toutes les arêtes du graphe. On dit qu'un.
Analyse de fabrication-qualité/coût
Les requêtes La Requête est une méthode pour afficher les enregistrements qui répondent à des conditions spécifiques. La requête est donc un filtre.
Page 1 Introduction à ATEasy 3.0 Page 2 Quest ce quATEasy 3.0? n Ensemble de développement très simple demploi n Conçu pour développer des bancs de test.
MIAGE MASTER 1 Cours de gestion de projet
Eléments d ’algèbre relationnelle
le profil UML en temps réel MARTE
La philosophie de l’esprit La survenance psychophysique (ch. 4)
2-1 CIRCUITS ÉLECTRIQUES SIMPLES
Cours de physique générale I Ph 11
Chapitre 2 Les vecteurs 2.0 Introduction
1.2 COMPOSANTES DES VECTEURS
1 CLUB DES UTILISATEURS SAS DE QUÉBEC COMMENT TRANSFORMER UN PROGRAMME SAS EN TÂCHE PLANIFIÉE SOUS WINDOWS Présentation de Jacques Pagé STRiCT Technologies.
L’utilisation des bases de données
2.1 LONGUEURS ET DISTANCES Cours 4 1.
1.3 COORDONNÉES DES POINTS
Partie 1: Ondes et Particules.
Test bilan de calcul mental N°1 :
Chapitre 2 : suite et fin.
11/10/07 MATHÉMATIQUES FINANCIÈRES I Douzième cours.
II- L’algorithme du recuit simulé (pseudo-code)
Représentation des systèmes dynamiques dans l’espace d’état
Représentation des systèmes dynamiques dans l’espace d’état
Des indicateurs de performance pertinents et adéquats
Programmation concurrente
Corrélation Principe fondamental d’une analyse de corrélation
3.2 PRODUIT VECTORIEL Cours 7.
Universté de la Manouba
Gilbert TOUT NEST QUE CALCUL Vous vous êtes certainement déjà demandé ce que voulait dire « se donner à 100% » ?
La gestion par activités (ABM)
Dépannage du 12 mars 2007.
LES ERREURS DE PRÉVISION e t = X t - P t X1X2X3X4 X5 X6…X1X2X3X4 X5 X6…X1X2X3X4 X5 X6…X1X2X3X4 X5 X6… P5P6P5P6P5P6P5P6 e5e6e5e6e5e6e5e6.
Quelle heure est-il ??. THE TIME: OCLOCK IL EST HEURE IL EST + + HEURES etc.
Gestion de Fichiers Hachage (suite). 2 Plan du cours daujourdhui Prédiction de la distribution des enregistrements Réduction des collisions en augmentant.
Ordonnancement de tâches
2.2 PRODUIT SCALAIRE ET CALCUL D’ANGLES
Atelier de formation : MAT optimisation II (les graphes).
Méthodes de prévision (STT-3220)
Demande stochastique stationnaire
Mise en forme en Mathématiques
Présentation de la méthode des Eléments Finis
ECOLE DES HAUTES ETUDES COMMERCIALES MARKETING FONDAMENTAL
ECOLE DES HAUTES ETUDES COMMERCIALES MARKETING FONDAMENTAL
Fiabilité des composants électroniques
Processus de Poisson UQAM, Actuariat 3.
10 paires -. 9 séries de 3 étuis ( n° 1 à 27 ) 9 positions à jouer 5 tables Réalisé par M..Chardon.
désintégrations radioactives
Quel est l’intérêt d’utiliser le diagramme de Gantt dans la démarche de projet A partir d’un exemple concret, nous allons pouvoir exploiter plusieurs parties.
INTRODUCTION.
Fiabilité et défaillance
Transcription de la présentation:

GEF499 Systèmes en temps réel Fiabilité de logiciel (Partie II)

Synopsis Quantifier la fiabilité des composants Intensité de la défaillance des logiciels Fiabilité des systèmes fiabilité des systèmes en série fiabilité des systèmes en parallèle fiabilité « k parmi n » Exercice 2

Rappel- Définition de la fiabilité fiabilité, R(t) - la probabilité que, lorsque opérant sous des conditions environnementales fixes, un système exécutera sa fonction destinée adéquatement pour un intervalle spécifié de temps. la fiabilité est évaluée sur un intervalle de temps R(t = 6 heures) = 95% ainsi, la fiabilité est une fonction d’un taux de défaillance (intensité) et d’un intervalle de temps désiré. 3

Rappel – Modèles de fiabilité dynamiques la fiabilité change due aux changements au logiciel  T en utilisation le taux de défaillance de logiciel est en fait “constant”, pour n’importe quelle version  T • • • probability that a program will operate correctly in a specified environment for a specified length of time. 4

Quantifier la fiabilité des composants étant donné des composants d’un processus Poisson homogène avec une intensité de défaillance (), alors la fiabilité peut être exprimée comme: R(T) = e - T 1.0 la fiabilité diminue exponentiellement avec le temps de “mission” Reliability Time 5

Fiabilité d’un composant - Exemple 1 Supposez qu’un composant a été testé et jugé avoir un temps moyen entre défaillance (MTBF) de 200 heures, quelle est la probabilité que le composant ne faillira pas pendant 8 heures d’utilisation normale dans le lab? Solution:  = 1/ MTBF = 0.005 défaillance par heure R(T=8 heures) = e -(0.005)(8) = 0.961 or 96.1% 6

Fiabilité d’un composant - Exemple 2 Prenons une sonde spatiale sans équipage avec un besoin d’opérer sans défaillance pour une mission de 25 ans, ayant une probabilité de 95%, Quel est le MTBF requis? Solution:  = - ln (R(T)) / T = -ln(0.95) / [(25)(365)(24)] = 0.0000002 défaillance par heure MTBF = 5,000,000 heures! 7

Rappel – Fiabilité et temps en termes de fiabilité de logiciel, nous devons distinguer trois formes de temps: durée calendaire – temps écoulé normal temps d’horloge – le temps qu’un processeur opère réellement durant une durée calendaire temps d’exécution – le temps qu’un programme logiciel exécute sur un processeur donné cependant, nous allons plus probablement évaluer la fiabilité des logiciels en termes de temps d’exécution, mais pour réaliser une analyse de systèmes, nous avons besoin de parler de fiabilité en termes de durée calendaire ou de temps d’horloge. 8

Intensité des défaillances de logiciel étant donné que la majorité des fiabilités de logiciels seront mentionnées en termes de temps d’exécution, il est nécessaire d’identifier deux intensités de défaillance distinctes: une basée sur le temps d’exécution,  , et une autre basée sur le temps d’horloge, t alors, t = c  où, c représente l’utilisation moyenne 9

Intensité des défaillances de logiciel - Exemple Prenons une tâche périodique avec un temps d’exécution estimé de une(1) heure, fiabilité de 99.5%. De plus, nous savons que la tâche se répète à toutes les 200 msec avec un temps de computation moyen de 2000 sec. déterminer le temps d’horloge basé l’intensité de la défaillance  = - ln(R(=1)/  = - ln(0.995) = 0.005 déf/hr t = c  = (0.01) (0.005) = 0.00005 déf/hr 10

Fiabilité des systèmes – systèmes en série C Rsys =  Ri pour tous les composants i Exemple Soit RA = 90%, RB = 97.5%, RC = 99.25% Rsys = (.9)(.975)(.9925) = 87.1 % *Présume qu’au point de vue fiabilité, tous les composants sont indépendants. 11

Systèmes en série - Exemple c1 c2 c10000 ••• Prenons une sonde spatiale avec 10,000 composants identiques et un besoin de fiabilité de 25 ans de 95%, quel est le taux de défaillance requis des composants? Solution: RC = (Rsys)1/10000 = 0.999995 c = -ln(.999995)/[(25)(365)(24)] = 2.28 E-11 12

Fiabilité des systèmes – systèmes parallèles Définir la probabilité de défaillance comme: Qi = 1 - Ri, alors Qsys =  Qi il s’en suit que Rsys = 1 – Qsys, ou Rsys = 1 -  (1 - Ri) A B C Exemple Soit RA = 90%, RB = 97.5%, RC = 99.25% Rsys = 1 - (.1)(.025)(.0075) = 99.998% 13

Fiabilité des systèmes - k parmi n un cas spécial de la configuration d’un système parallèle en quoi il est requis que seulement k parmi n composants identiques soient nécessaires pour réussir: Rsys =  [ ] Rci (1 - Rc)n-i A n n i où “k parmi n”, [ ] = n! / (k!(n-k)!) i=k n k 14

Fiabilité des systèmes - k parmi n Exemple supposez que la fiabilité de c1 est 90% et que vous en avez besoin d’au moins deux pour que le système fonctionne c1 c1 solution: Rsys =  [ ] Rci (1 - Rc)3-i = [ ] Rc2 (1 - Rc) + [ ] Rc3 (1 - Rc)0 = (3)(.81)(.1) + (1)(.729)(1) = 97.2% 3 i i=2 2 1 c1 15

Exercice – Composantes de système Considérez un système EW fait des composantes suivantes: 2 écrans tactiles, dont seulement un a besoin de fonctionner pour que le système fonctionne chaque écran tactile contient un logiciel identique un processeur de système et le logiciel d’intégration du système un ECM avec un logiciel de brouillage intégré Supposez que l’utilisation du matériel est de 100% en d’autres mots, tout le matériel fonctionne pour la durée entière de la mission 16

Exercice – données sur les composants 17

Exercice – Questions a) Déterminez la fiabilité globale du système pour une mission de 4 heures? b) Quelle est la probabilité d’avoir au moins un écran fonctionnel pour une mission de 2 heures? c) Quel est le lien le lien le plus faible dans le système? Qu’est-ce qui pourrait être fait pour améliorer la fiabilité générale du système (présumant que vous ne pouvez pas changer significativement la fiabilité des composantes sans un redesign sérieux). Dessinez le schéma de principe de la nouvelle fiabilité et trouvez Rsys. 18

Exercice – Questions (cont) Présumez que nous avons maintenant 4 sous-systèmes ECM (logiciel et matériel combinés) et pour que le système soit fonctionnel n’importe quels 3 sous-systèmes sur 4 doivent être fonctionnels d) Dessinez le schéma de principe pour la nouvelle fiabilité et calculez la fiabilité du système. 19

References [1] Musa, J.D., Iannino, A., Okumoto,K. “Software Relibility - Measurement, Prediction, Application”, Chapter 4, McGraw-Hill 1987. 20

Questions 21