Expertise |
Contexte industrielLe secteur des télécommunications et l'industrie du logiciel en général sont toujours en expansion. Un manque important de développeurs de systèmes, tout comme un impératif de réduction du temps nécessaire à la production, favorisent et souvent dictent l'utilisation de différentes techniques qui permettent aux concepteurs d'automatiser, au moins partiellement, le processus de développement des systèmes. En effet, le coût des activités de test représente près de 70 % du coût total du développement des systèmes ce qui nécessite l'utilisation de techniques et d'outils capables de fournir des taux élevés de précision et de performance. C'est pourquoi l'utilisation des méthodes formelles a connu une croissance constante dans les deux dernières décennies, en particulier dans le milieu industriel. Par conséquent, les processus de développement et d'analyse des systèmes sont devenus un domaine majeur d'application pour les outils basés sur les méthodes formelles. Contexte de rechercheLa recherche générale dans le domaine des méthodes formelles a déjà abouti à de nombreux environnements intégrés supportant plusieurs langages de spécification, une variété de vérificateurs de modèles et des outils de génération de tests offrant un grand niveau d'automatisation des activités de développement. Cette tendance continuera dans le futur, en raison des importants investissements dans ces recherches durant les 20 dernières années Les applications industrielles des méthodes formelles sont passées de prototypes à de véritables succès et recommandations pratiques. En même temps, les générations futures des outils utilisés pour le développement des applications plus complexes dépendront, de plus en plus, de méthodes rigoureuses et efficaces, offrant un haut niveau de confiance dans la qualité des produits développés. Les efforts de recherche de l'équipe Analyse de systèmes distribués du CRIM visent à contribuer
au développement de telles méthodes et outils.
Thèmes de rechercheLes activités de recherche de l'équipe portent sur les principaux sujets suivants :
Champs d'applications Les activités de R-D de l'équipe servent particulièrement les intérêts des entreprises engagées dans le développement de systèmes répartis et leurs applications, d'applications de gestion d'affaires, d'applications qui utilisent des programmes multithreads et de celles basées sur le Web, des réseaux informatiques, des services de télécommunication et des systèmes de sécurité informatique. |
 |
 |
|
|||||||||||
