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éeDirectrice de Mathix-All4tec
tél. : 06 81 68 92 92e-mail : [email protected]
avec l’aimable autorisation de Thierry Chéreau (ABS)
2© MATHIX-ALL4TEC - v 1.0
1 Présentation de Mathix - All4tec
2 La modélisation de la fiabilité des logiciels
3 L’outil M-élopée©
4 Exemple d’application dans les autocommutateurs privés
PLAN DE LA PRESENTATION
3© MATHIX-ALL4TEC - v 1.0
L’ingé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 3
31703 Blagnac
Site parisien :19 rue du Banquier
75013 Paris
Siège social :rue Léonard de Vinci53061 Laval Cedex 9 02 43 49 75 30
Responsable Commercial : Laurent COSSON 06 73 41 04 55
4© MATHIX-ALL4TEC - v 1.0
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
5© MATHIX-ALL4TEC - v 1.0
DOMAINES D’ACTIVITE
Ingénierie des Systèmes Programmés
Développement logiciel
Métiers
Expertises
Qualité
Sûreté de Fonctionnement
Amélioration de Processus
6© MATHIX-ALL4TEC - v 1.0
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
7© MATHIX-ALL4TEC - v 1.0
MISSION D’ALL4TEC
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© MATHIX-ALL4TEC - v 1.0
1 Présentation de Mathix - All4tec
2 La modélisation de la fiabilité des logiciels
3 L’outil M-élopée©
4 Exemple d’application dans les autocommutateurs privés
PLAN DE LA PRESENTATION
9© MATHIX-ALL4TEC - v 1.0
CROISSANCE DE FIABILITE DES LOGICIELS (1/2)
CROISSANCE DE FIABILITE DES LOGICIELS
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
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© MATHIX-ALL4TEC - v 1.0
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
12© MATHIX-ALL4TEC - v 1.0
1 Présentation de Mathix - All4tec
2 La modélisation de la fiabilité des logiciels
3 L’outil M-élopée©
4 Exemple d’application dans les autocommutateurs privés
PLAN DE LA PRESENTATION
13© MATHIX-ALL4TEC - v 1.0
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
OE PEEL®
14© MATHIX-ALL4TEC - v 1.0
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
15© MATHIX-ALL4TEC - v 1.0
DES DONNEES EXPLICITES
16© MATHIX-ALL4TEC - v 1.0
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
17© MATHIX-ALL4TEC - v 1.0
0 200 400 600 800 10000
10
20
30
40
50
60
70
Temps de fonctionnement
No
mb
re d
e d
éfa
illa
nce
s
c:\melodev\demo\demo.mbu21/03/99 - 14:04:22
Nombre de défaillances modélisé
StatistiqueMusa-OkumotoGoel-OkumotoCrowHyper-exponentiel
4 MODELES NHPP de M-ELOPEE
18© MATHIX-ALL4TEC - v 1.0
LE MODELE BAYESIEN DE M-ELOPEE
0 200 400 600 800 10000
10
20
30
40
50
60
70
80
Temps de fonctionnement
No
mb
re d
e d
éfa
illa
nce
s
c:\melodev\demo\demo.mbuDécoupage automatique - 21/03/99 - 14:06:45
Nombre de défaillances modélisé (Littlewood-Verrall)
StatistiqueMod. complète
19© MATHIX-ALL4TEC - v 1.0
CHOISIR LE MEILLEUR MODELE
20© MATHIX-ALL4TEC - v 1.0
PREVOIR
21© MATHIX-ALL4TEC - v 1.0
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
22© MATHIX-ALL4TEC - v 1.0
1 Présentation de Mathix - All4tec
2 La modélisation de la fiabilité des logiciels
3 L’outil M-élopée©
4 Exemples de calculs de fiabilité pour les autocommutateurs privés
PLAN DE LA PRESENTATION
23© MATHIX-ALL4TEC - v 1.0
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)
24© MATHIX-ALL4TEC - v 1.0
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
25© MATHIX-ALL4TEC - v 1.0
Merci pour votre attention.
Des questions ?