1 © MATHIX-ALL4TEC - v 1.0 FIABILITE DES LOGICIELS DANS LES AUTOCOMMUTATEURS PRIVES Club SEE «...

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)


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


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


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


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


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


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é


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


(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


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


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®


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


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


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


CHOISIR LE MEILLEUR MODELE


PREVOIR


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





4 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 ?

1 © MATHIX-ALL4TEC - v 1.0 FIABILITE DES LOGICIELS DANS LES AUTOCOMMUTATEURS PRIVES Club SEE «...

Documents

Transcript of 1 © MATHIX-ALL4TEC - v 1.0 FIABILITE DES LOGICIELS DANS LES AUTOCOMMUTATEURS PRIVES Club SEE «...