Grands domaines d'application

Résumé : Les deux cibles privilégiées du projet Lande sont:

1.

Les applications qui exigent un degré de confiance très important justifiant l'emploi de techniques reposant sur des méthodes formelles. Il peut s'agir de logiciels critiques pour la confidentialité ou l'intégrité des informations, la sécurité des personnes.

2.

Les logiciels complexes ou qui nécessitent des modifications fréquentes (aide à la démonstration, reconnaissance de la parole, systèmes qui mettent en oeuvre des ensembles de règles devant suivre les évolutions du marché ou de la législation): il s'agit du domaine d'excellence des langages de programmation logique.

De par sa nature même, le projet LANDE est orienté <<technologie>> plutôt que <<domaine d'application>>. Les domaines cités ici sont donc des illustrations de travaux passés ou en cours, plutôt que des centres d'intérêt du projet.

On peut identifier deux cibles privilégiées pour les outils formels et les langages de haut niveau qui sont au coeur de nos activités:

La première concerne les applications exigeant un degré de confiance très important qui justifie l'emploi de techniques reposant sur des méthodes formelles. Il peut s'agir de logiciels critiques pour la confidentialité ou l'intégrité des informations, la sécurité des personnes. Sur ce thème, nous travaillons à l'application de techniques d'analyse de programmes à la vérification de programmes Java, avec comme domaine d'application les cartes à puce, notamment pour le commerce électronique (cf module ).
La seconde cible de nos travaux concerne les logiciels complexes ou qui nécessitent des modifications fréquentes: on peut citer par exemple l'aide à la démonstration, la reconnaissance de la parole, les systèmes qui mettent en oeuvre des ensembles de règles (de fonctionnement d'une organisation, de facturation, de réservation, etc.) devant suivre les évolutions du marché ou de la législation. Il s'agit du domaine d'excellence des langages de programmation logique. La mise en oeuvre du langage $\lambda$ Prolog réalisée dans le projet a notamment été utilisée pour la programmation d'un module de recherche de composants logiciels, pour la reconnaissance de partitions musicales (cf module ). Nos travaux sur les explications dans les bases de données déductives (cf module ) sont en cours d'application dans le domaine de la publicité ciblée pour la télévision à la demande (avec Next Century Media). Nous entamons également une collaboration industrielle (cf module ) qui nous permettra d'appliquer nos techniques de débogage à des logiciels de facturation hospitalière (avec Mission Critical) et de diagnostic de matériels défectueux (avec Dassault Electronique). Les langages d'architectures de logiciels constituent une démarche plus récente pour le développement de logiciels complexes. Nous nous sommes engagés depuis cette année dans une collaboration avec la société Signaal (Pays-Bas) qui nous permet d'appliquer nos travaux sur ce thème à un système de contrôle de trafic ferroviaire (cf module ).

Précédent : Fondements scientifiques Remonter : Projet LANDE, Conception et validation Suivant : Logiciels