Réunion du 25 mai 2000 à l'ENST (Paris)
Thème : "Composants logiciels
de confiance"
Le cercle "Objectif Zéro-Défaut"
du club SEE "Systèmes
Informatiques de Confiance" et Jean-Marc Jézequel de l'IRISA
organisent le 25 mai 2000 à l'ENST une journée gratuite et
ouverte à tous sur les "Composants logiciels de confiance"
Objectifs de la journée
L'avènement et la stabilisation progressive d'environnements comme
CORBA, DCOM ou EJB semble enfin rendre possible la réalisation du
vieux rêve de la construction de logiciels par assemblages de composants
"sur étagère". Si ce rêve commence même à
devenir une réalité dans le monde Windows, il reste que l'utilisation
de composants logiciel "sur étagère" dans des applications
critiques est loin d'être aussi banale que dans des applications
de bureau.
Des études récentes montrent qu'il s'agit principalement
d'un manque de confiance dans l'utilisation de composants d'origine tierce
pour la construction d'application critiques. En effet, à la différence
des composants électroniques dont la qualité peut être
mesurée (fiabilité, performance, domaine d'utilisation, etc.),
il manque encore dans le domaine des composants logiciels des moyens et
des méthodes pour établir de tels critères de confiance.
La confiance que l'on peut avoir en un composant logiciel peut être
fondée sur une combinaison d'arguments persuasifs de diverses sortes
:
-
technique (par exemple conception par contract, le test systématique,
un langage de programmation approprié, des preuves formelles),
-
management (par exemple processus systématique basé sur le
modèle CMM ou ses semblables), ou encore
-
social (par exemple réputation des auteurs des composants).
L'idée des composants de confiance ("Trusted Components") a été
présentée dans un article IEEE Computer de mai 1998, et plusieurs
workshops ont déjà eut lieu sur ce thème (voir http://www.trusted-components.org).
L'objectif de cette journée est de faire le point sur la notion
de "Trusted Components" et d'investiguer différentes approches permettant
de bâtir une certaine confiance dans des composants sur étagère.
Programme
"Composants auto-testables" Jean Marc Jézéquel (IRISA)
résumé,transparents.
"Prédiction de qualités de composants logiciels" Thomas
Lambolais (Thomson-CSF)
résumé,transparents.
"Modèle de Composant pour le controle du traffic aérien"
Emmanuel Fuchs (Thomson AirSys, Air Traffic Control)
résumé,transparents.
"Analyse des interactions entre éléments de services"
Pierre Combes (France Télécom R&D, DAC/PRI)
résumé,transparents.
"Vérification de composants pour cartes à puce"
Virginie Wiels (ONERA/DTIM)
résumé,transparents, articles.
"Analyse de l'intégration de composants logiciels: la technologie
PolySpace et son utilisation dans quelques cas industriels" Daniel Pilaud,
Bruno Buyssounous (PolySpace)
résumé, transparents (Polyspace,
la technologie ),contact et documentation
Retour à la présentation de la journée
Trusted Components