FIABILITE DES LOGICIELS DANS LES AUTOCOMMUTATEURS PRIVES Frédérique Vallée Directrice de Mathix-All4tec tél. : 06 81 68 92 92 e-mail : frederique.vallee@alll4tec.net avec l’aimable autorisation de Thierry Chéreau (ABS) 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"
PLAN DE LA PRESENTATION 1 Présentation de Mathix - All4tec La modélisation de la fiabilité des logiciels L’outil M-élopée© Exemple d’application dans les autocommutateurs privés
L’ingénierie des systèmes programmés pour vous rendre plus compétitif ALL4TEC L’ingénierie des systèmes programmés pour vous rendre plus compétitif 1ère SSII Européenne évaluée CMM niveau 4 Siège social : rue Léonard de Vinci 53061 Laval Cedex 9 02 43 49 75 30 Site parisien : 19 rue du Banquier 75013 Paris Site toulousain : 5 Av. Albert Durand, Bât 3 31703 Blagnac Responsable Commercial : Laurent COSSON 06 73 41 04 55
ALL4TEC - HISTORIQUE Création en 1998 à Laval - Ouverture de l’agence de PARIS en 2000 et de celle de TOULOUSE en 2001 Création en 2004 d’ALL4TEC 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 500 000 Euros et une indépendance financière 2,5 M€ d'activité en 2005 - 40 ingénieurs et consultants Plus de 100 hommes.an d'expérience en savoir faire logiciel M. MARTIN a été chef de projet de soft embarqué des 2 premières versions de GSM chez ALCATEL à Colombes, Il a ensuite été à LAVAL est c'est occupé de l'industrialisation du site, c'est là qu'il a mis en œuvre CleanRoom et le CMM. Il a crée son entreprise pour développer une une activité industrielle du dev logiciel sur la base de cette experience La surcapitalisation montre notre capacité de croissance et que nous n'avons pas de problème pour trouver des financiers
DOMAINES D’ACTIVITE Ingénierie des Systèmes Programmés Métiers Développement logiciel Expertises Qualité Sûreté de Fonctionnement Amélioration de Processus
OFFRES ET ACTIVITES Développement de systèmes embarqués Activités d'expertise Diminution du temps de test et suppression des défauts critiques Retro engineering (documentation, industrialisation de logiciel, …) Amélioration continue des processus (CMMI, SPICE, Cleanroom) Amélioration de la productivité et maîtrise des coûts logiciels Etudes de sûreté de fonctionnement Activités de R&D Projet européen AIRNET du 6éme PCRD (système anti-collision) Produit MATELO issu d’un projet du 5eme PCRD. Commercialisation de MATELO au travers d’ALL4TEC Génie Logiciel
Aider ses clients à gagner en compétitivité MISSION D’ALL4TEC Aider ses clients à gagner en compétitivité SECTEURS Informatique embarquée Informatique industrielle Génie logiciel MARCHÉS Automobile Télécoms Aéronautique-Spatial-Défense
PLAN DE LA PRESENTATION 1 Présentation de Mathix - All4tec La modélisation de la fiabilité des logiciels L’outil M-élopée© Exemple d’application dans les autocommutateurs privés
CROISSANCE DE FIABILITE DES LOGICIELS (1/2) Pour les logiciels, l’intensité de défaillance est décroissante en fonction du temps : Elle est notée : (t) La croissance de fiabilité des logiciels : Est due au fait de la correction (en principe) des défauts à l’origine des défaillances au fur et à mesure qu’ils sont mis en évidence Le logiciel étant moins susceptible de rencontrer des défauts, il devient plus fiable
CROISSANCE DE FIABILITE DES LOGICIELS (2/2) (t) diminue tant que des efforts sont consacrés à corriger le logiciel En opérationnel, il devient constant V1 l1 l2 V2 V3 temps de fonctionnement taux de défaillance
IMPACT DE L’ENVIRONNEMENT 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) : Elle est sensible à l’erlang Le taux de défaillance est à diviser par 10 lorsque l’on passe de 1 erlang à 0,1 erlang Elle 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 d’utilisation Elle est différente dans les phases d’installation et d’utilisation par exemple
PLAN DE LA PRESENTATION 1 Présentation de Mathix - All4tec La modélisation de la fiabilité des logiciels L’outil M-élopée© Exemple d’application dans les autocommutateurs privés
M-élopée distribué par Mathix depuis 1996 est un atelier d’Evaluation des Logiciels depuis les Phases d’Essais jusqu’en Exploitation. Véritable outil de suivi de projet et d’aide à la décision, il permet de répondre aux questions suivantes : Quelle est l’efficacité des tests ? Quand mon logiciel va-t-il atteindre le niveau de fiabilité requis ? Quel sera son comportement en service ? © 1996 - M-élopée est une marque déposée de France Télécom
DONNEES D’ENTREE 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 : de suivre tout type de logiciel d'accueillir toute nature de données d'intégrer des données existant déjà sous forme informatique
DES DONNEES EXPLICITES
TRAITEMENTS M-élopée propose de réaliser à partir des données : des évaluations de tendances des calculs empiriques des modèles sélectionnés une aide au choix du meilleur estimateur des prévisions
4 MODELES NHPP de M-ELOPEE
LE MODELE BAYESIEN DE M-ELOPEE
CHOISIR LE MEILLEUR MODELE
PREVOIR
un consolidation des calculs partiels UTILITAIRES M-élopée est conçu pour permettre instantanément : des calculs partiels un consolidation des calculs partiels le transfert des résultats vers tout logiciel de traitement de texte la traduction des courbes en anglais
PLAN DE LA PRESENTATION 1 Présentation de Mathix - All4tec La modélisation de la fiabilité des logiciels L’outil M-élopée© Exemples de calculs de fiabilité pour les autocommutateurs privés
MOTIVATION D’ABS Mieux maîtriser le processus de test Redéfinir les objectifs du test Diminuer le risque de non qualité en exploitation … Vue « end user » … au plus juste coût Vue « fabricant » Ce qui implique de : Quantifier des objectifs de fiabilité en fonction des profils d’utilisation les plus fréquents Optimiser le processus de test en fonction de ces objectifs (comparer les profils à la cartographie du soft)
LES CHOIX D’ABS ABS a retenu : Pour chaque phase interne et externe L’indicateur théorique de croissance de fiabilité L’indicateur de fiabilité faisant intervenir les temps de corrections des anomalies (probabilité d’apparition du défaut) L’indicateur « politique » intégrant la sévérité des problèmes trouvés Utilisation des valeurs seuil
Merci pour votre attention. Des questions ?