Mots clés : Télécommunications, génie logiciels, test, UML, SDL .

Résumé :

le secteur des télécommunications est en grande expansion, avec la mise en place d'infrastructures mondiales, l'explosion des télécommunications mobiles et le développement de nouveaux services. Le contexte industriel français et européen est par ailleurs assez favorable. Du point de vue du logiciel, la pression est grande pour augmenter la généricité des solutions proposées (aspect méthode) tout en raccourcissant les délais de mise au point (aspect outils). Le projet Pampa, spécialiste de l'ingénierie des protocoles, trouve là un terrain privilégié d'applications. Ceci à condition de ne pas manquer des évolutions majeures du domaine qui sont : la nécessité de considérer globalement le cycle de développement du logiciel, notamment dans le cadre des méthodes de conception objet; et l'intérêt croissant pour les protocoles des couches hautes exprimées sous la forme de services de communication ou de gestion. L'augmentation de la complexité et les exigences de fiabilité et de réutilisation justifient pleinement les méthodes développées dans le projet. Les sujets abordés sont la validation de conceptions UML, la génération de tests de conformité pour les protocoles, la conception d'un langage d'interface pour objets communicants, et le suivi de pannes dans les réseaux.

Logiciels pour les télécommunications

L'activité de recherche du projet, centrée sur la maîtrise de la fiabilité, est en rapport avec deux types d'applications dans le domaine des télécommunications : la conception fiable de logiciels communicants et le test et diagnostic de systèmes communicants.

 

Conception fiable de logiciels communicants :

L'exigence de fiabilité des logiciels est facile à comprendre dans un contexte où ils sont présents à de trés nombreux exemplaires et dans différentes versions sur un grand réseau de télécommunication. L'accent est porté sur la faculté d'interopérer. Le coût d'apparition d'une faute majeure est considérable dans ces systèmes et la réparation longue et difficile. Il est à noter aussi une exigence d'évolutivité importante liée à la mise en oeuvre rapide de nouveau services. Nous encourageons l'utilisation de méthodes formelles pour faciliter la résolution de ces problèmes.

Mais il ne faut pas oublier que les méthodes formelles doivent de plus en plus s'intégrer à une ``approche système'' permettant aux ingénieurs de concevoir globalement les systèmes pour prendre en compte tout un ensemble de contraintes et d'objectifs liés aux besoins des utilisateurs. Ces méthodologies formalisées n'en sont qu'à leurs débuts : un bon exemple est l'approche objet qui s'étend rapidement au contexte des télécommunications.

 

Test et diagnostic des systèmes communicants :

Le test est l'autre facette du développement fiable; il consiste à s'assurer que le système, une fois réalisé, est conforme à ses spécifications. Quel que soit le soin apporté à la conception, cette phase reste de première importance pour vérifier le bon fonctionnement du système dans des environnements complexes et évolutifs. La surveillance et le diagnostic sont aussi un aspect du travail sur les implantations.

Le projet Pampa s'est focalisé sur la génération automatique de tests de conformité à partir de spécifications formelles, ainsi que sur le diagnostic en environnement réparti.

L'obtention d'une bonne suite de tests de conformité est d'un intérêt économique certain. C'est à l'heure actuelle un travail manuel coûteux et répétitif qui est ensuite utilisé à grande échelle. Nous participons au défi de l'automatisation en mettant particulièrement l'accent sur la qualité de la suite de tests (dans sa capacité à détecter les implantations non conformes et uniquement celles-ci). Sur plusieurs études de cas, nous avons montré la rentabilité de l'approche et le transfert industriel en cours de notre outil TGV en est l'exemple. La principale difficulté non résolue actuellement est le test réparti (dit d'interopérabilité); elle constitue une perspective importante de recherche pour le projet. Un premier travail sur ce sujet nous a permis de proposer un schéma de distribution d'un testeur séquentiel en un ensemble de testeurs répartis ayant le même pouvoir de détection que le test original.

Cette question de test réparti apparaît d'ailleurs dans nos études sur la surveillance des comportements des réseaux. En effet, les questions de gestion des réseaux de plus en plus complexes sont d'une grande actualité. Beaucoup d'études sont menées sur l'architecture des protocoles et des services pour faire de la gestion. Un effort moins important est consacré à la conception d'algorithmes permettant d'offrir de tels services. Nos travaux sur la corrélation causale d'alarmes vont dans ce sens, avec la perspective principale de distribuer sur les capteurs la fonction de surveillance (notion de capteurs intelligents communicants que l'on souhaite développer dans le domaine des télécommunications).

 

 

 


Page d'acceuil Page d'acceuil

Haut Précédente Suivante English