La présentation est en train de télécharger. S'il vous plaît, attendez

La présentation est en train de télécharger. S'il vous plaît, attendez

1 © MATHIX-ALL4TEC - v 1.0 FIABILITE DES LOGICIELS DANS LES AUTOCOMMUTATEURS PRIVES Club SEE « Systèmes Informatiques de Confiance » Atelier du 2 février.

Présentations similaires


Présentation au sujet: "1 © MATHIX-ALL4TEC - v 1.0 FIABILITE DES LOGICIELS DANS LES AUTOCOMMUTATEURS PRIVES Club SEE « Systèmes Informatiques de Confiance » Atelier du 2 février."— Transcription de la présentation:

1 1 © MATHIX-ALL4TEC - v 1.0 FIABILITE DES LOGICIELS DANS LES AUTOCOMMUTATEURS PRIVES Club SEE « Systèmes Informatiques de Confiance » Atelier du 2 février 2006 à l'ENST - Paris "Analyse et évaluation de la sûreté de fonctionnement à base de modèles" Frédérique Vallée Directrice de Mathix-All4tec tél. : avec laimable autorisation de Thierry Chéreau

2 2 © MATHIX-ALL4TEC - v 1.0 1Présentation de Mathix - All4tec 2La modélisation de la fiabilité des logiciels 3Loutil M-élopée© 4Exemple dapplication dans les autocommutateurs privés PLAN DE LA PRESENTATION

3 3 © MATHIX-ALL4TEC - v 1.0 Lingénierie des systèmes programmés pour vous rendre plus compétitif 1ère SSII Européenne évaluée CMM niveau 4 ALL4TEC Site toulousain : 5 Av. Albert Durand, Bât Blagnac Site parisien : 19 rue du Banquier Paris Siège social : rue Léonard de Vinci Laval Cedex Responsable Commercial : Laurent COSSON

4 4 © MATHIX-ALL4TEC - v 1.0 ALL4TEC - HISTORIQUE Création en 1998 à Laval - Ouverture de lagence de PARIS en 2000 et de celle de TOULOUSE en 2001 Création en 2004 dALL4TEC Génie Logiciel (R&D et commercialisation produit MATELO) Regroupement en 2005 avec la société MATHIX (ingénierie de la sûreté de fonctionnement des systèmes programmés) Un capital de Euros et une indépendance financière 2,5 M d'activité en ingénieurs et consultants Plus de 100 hommes.an d'expérience en savoir faire logiciel

5 5 © MATHIX-ALL4TEC - v 1.0 DOMAINES DACTIVITE Ingénierie des Systèmes Programmés Développement logiciel Métiers Expertises Qualité Sûreté de Fonctionnement Amélioration de Processus

6 6 © MATHIX-ALL4TEC - v 1.0 OFFRES ET ACTIVITES Développement de systèmes embarqués Activités d'expertise qDiminution du temps de test et suppression des défauts critiques qRetro engineering (documentation, industrialisation de logiciel, …) qAmélioration continue des processus (CMMI, SPICE, Cleanroom) qAmélioration de la productivité et maîtrise des coûts logiciels qEtudes de sûreté de fonctionnement Activités de R&D qProjet européen AIRNET du 6éme PCRD (système anti-collision) qProduit MATELO issu dun projet du 5eme PCRD. Commercialisation de MATELO au travers dALL4TEC Génie Logiciel

7 7 © MATHIX-ALL4TEC - v 1.0 MISSION DALL4TEC Informatique embarquée Informatique industrielle Génie logiciel Automobile Télécoms Aéronautique-Spatial- Défense SECTEURS MARCHÉS Aider ses clients à gagner en compétitivité

8 8 © MATHIX-ALL4TEC - v 1.0 1Présentation de Mathix - All4tec 2La modélisation de la fiabilité des logiciels 3Loutil M-élopée© 4Exemple dapplication dans les autocommutateurs privés PLAN DE LA PRESENTATION

9 9 © MATHIX-ALL4TEC - v 1.0 CROISSANCE DE FIABILITE DES LOGICIELS (1/2) CROISSANCE DE FIABILITE DES LOGICIELS Pour les logiciels, lintensité de défaillance est décroissante en fonction du temps : qElle est notée : (t) La croissance de fiabilité des logiciels : qEst due au fait de la correction (en principe) des défauts à lorigine des défaillances au fur et à mesure quils sont mis en évidence qLe logiciel étant moins susceptible de rencontrer des défauts, il devient plus fiable

10 10 © MATHIX-ALL4TEC - v 1.0 (t) diminue tant que des efforts sont consacrés à corriger le logiciel En opérationnel, il devient constant CROISSANCE DE FIABILITE DES LOGICIELS (2/2) V1 V2 V3 temps de fonctionnement taux de défaillance

11 11 © MATHIX-ALL4TEC - v 1.0 IMPACT DE LENVIRONNEMENT SUR LA FIABILITE Il est considérable dans le monde des télécoms ! Si la fiabilité est mesurée en heures ouvrées (160 heures par mois) : qElle est sensible à lerlang Le taux de défaillance est à diviser par 10 lorsque lon passe de 1 erlang à 0,1 erlang qElle est sensible au temps réel de travail Pour un système utilisé 24h/24, le taux de défaillance est à multiplier par 4,5 (la sollicitation passe à 24 heures au lieu de 8h par jour et à 30 jours au lieu de 20 par mois) Elle dépend du mode dutilisation qElle est différente dans les phases dinstallation et dutilisation par exemple

12 12 © MATHIX-ALL4TEC - v 1.0 1Présentation de Mathix - All4tec 2La modélisation de la fiabilité des logiciels 3Loutil M-élopée© 4Exemple dapplication dans les autocommutateurs privés PLAN DE LA PRESENTATION

13 13 © MATHIX-ALL4TEC - v 1.0 M-élopée distribué par Mathix depuis 1996 est un atelier dEvaluation des Logiciels depuis les Phases dEssais jusquen Exploitation. Véritable outil de suivi de projet et daide à la décision, il permet de répondre aux questions suivantes : qQuelle est lefficacité des tests ? qQuand mon logiciel va-t-il atteindre le niveau de fiabilité requis ? qQuel sera son comportement en service ? © M-élopée est une marque déposée de France Télécom

14 14 © MATHIX-ALL4TEC - v 1.0 DONNEES DENTREE M-élopée utilise des informations provenant des phases dans lesquelles le logiciel est exécutable. C'est un outil très souple qui permet : qde suivre tout type de logiciel qd'accueillir toute nature de données qd'intégrer des données existant déjà sous forme informatique

15 15 © MATHIX-ALL4TEC - v 1.0 DES DONNEES EXPLICITES

16 16 © MATHIX-ALL4TEC - v 1.0 TRAITEMENTS M-élopée propose de réaliser à partir des données : qdes évaluations de tendances qdes calculs empiriques qdes modèles sélectionnés qune aide au choix du meilleur estimateur qdes prévisions

17 17 © MATHIX-ALL4TEC - v MODELES NHPP de M-ELOPEE

18 18 © MATHIX-ALL4TEC - v 1.0 LE MODELE BAYESIEN DE M-ELOPEE

19 19 © MATHIX-ALL4TEC - v 1.0 CHOISIR LE MEILLEUR MODELE

20 20 © MATHIX-ALL4TEC - v 1.0 PREVOIR

21 21 © MATHIX-ALL4TEC - v 1.0 UTILITAIRES M-élopée est conçu pour permettre instantanément : qdes calculs partiels qun consolidation des calculs partiels qle transfert des résultats vers tout logiciel de traitement de texte qla traduction des courbes en anglais

22 22 © MATHIX-ALL4TEC - v 1.0 1Présentation de Mathix - All4tec 2La modélisation de la fiabilité des logiciels 3Loutil M-élopée© 4Exemples de calculs de fiabilité pour les autocommutateurs privés PLAN DE LA PRESENTATION

23 23 © MATHIX-ALL4TEC - v 1.0 MOTIVATION DABS Mieux maîtriser le processus de test Redéfinir les objectifs du test qDiminuer le risque de non qualité en exploitation … Vue « end user » q… au plus juste coût Vue « fabricant » Ce qui implique de : qQuantifier des objectifs de fiabilité en fonction des profils dutilisation les plus fréquents qOptimiser le processus de test en fonction de ces objectifs (comparer les profils à la cartographie du soft)

24 24 © MATHIX-ALL4TEC - v 1.0 LES CHOIX DABS ABS a retenu : Pour chaque phase interne et externe qLindicateur théorique de croissance de fiabilité qLindicateur de fiabilité faisant intervenir les temps de corrections des anomalies (probabilité dapparition du défaut) qLindicateur « politique » intégrant la sévérité des problèmes trouvés Utilisation des valeurs seuil

25 25 © MATHIX-ALL4TEC - v 1.0 Merci pour votre attention. Des questions ?


Télécharger ppt "1 © MATHIX-ALL4TEC - v 1.0 FIABILITE DES LOGICIELS DANS LES AUTOCOMMUTATEURS PRIVES Club SEE « Systèmes Informatiques de Confiance » Atelier du 2 février."

Présentations similaires


Annonces Google