Ingénieur développement logiciel - interfaces graphiques et vs code

Contexte et atouts du poste

L’équipe de recherche CONVECS [L1] (INRIA, Univ. Grenoble Alpes, Grenoble INP, CNRS) étudie
la modélisation et la vérification formelle de systèmes distribués, en proposant des langages de
nouvelle génération pour décrire formellement le comportement et les propriétés de correction de ces
systèmes.

Ces langages et les outils d’analyse associés sont implémentés dans la boîte à outils CADP [L2] [L3],
qui fournit une palette complète de fonctionnalités assistant le processus de conception : compilation et
prototypage rapide, simulation interactive et guidée, vérification par équivalences et logiques
temporelles, génération de tests de conformité avec garanties de couverture, évaluation de
performances, etc.

Les outils CADP sont utilisés pour de nombreuses applications et leur développement a été salué par
plusieurs prix scientifiques, dont le prix de l’innovation de l’Académie des sciences et le
premier Test-of-Time Tool Award d’ETAPS .

Le projet proposé consiste à améliorer CADP du point de vue des utilisateurs.

[L1] [L3]

Mission confiée

Le projet proposé consiste à améliorer CADP du point de vue des utilisateurs. Il comporte trois parties
indépendantes.

1. Protocole de téléchargement

Actuellement, le logiciel CADP est distribué en utilisant le protocole FTP (File Transfer Protocol)
[1a], qui est ancien et de plus en plus souvent filtré par les navigateurs et les gestionnaires de réseau.
L’objectif est de proposer une solution de remplacement, basée sur le protocole (Hypertext
Transfer Protocol Secure) [1b].

Cette solution sera implantée dans l’outil INSTALLATOR [1c] qui permet de télécharger et d’installer
automatiquement CADP sur une machine ou une grille de calcul. Il s’agira de modifier ponctuellement
le code de cet outil, écrit dans le langage de scripts Tcl/Tk [1d], afin de remplacer FTP par

2. Amélioration des interfaces graphiques de CADP

Les outils de base de CADP fonctionnent en ligne de commande, mais plusieurs interfaces graphiques
ont été développées pour permettre de les utiliser de manière plus conviviale : EUCALYPTUS [2a],
BCG_DRAW [2b], BCG_EDIT [2c], Distributed MONITOR [2d], INSTALLATOR [1c],
CONTRIBUTOR [2e] et OCIS [2f].

Afin d’être portables sur divers systèmes d’exploitation (Linux, macOS, Solaris, Windows), ces
interfaces ont été développées dans le langage de scripts Tcl/Tk [1d] et régulièrement maintenues au fil
du temps.

L’objectif est d’adapter ces interfaces pour permettre leur fonctionnement sur les écrans récents à haute
résolution. En effet, les fenêtres de ces interfaces ont souvent une taille fixe, qui ne permet pas
d’utiliser tous les pixels disponibles et qui conduit à des tailles de polices trop petites pour les yeux de
certains utilisateurs.

Le travail proposé consiste à faire évoluer ces interfaces par des modifications bien ciblées, afin
d’autoriser les fenêtres de taille variable et d’apporter la possibilité de zoom sur le contenu de ces
fenêtres.

3. Connexion à l’environnement VS Code

Visual Studio Code (VS Code en abrégé) [3] est un éditeur de code source très populaire. Développé
par Microsoft et disponible en code libre ouvert sous Windows, macOS et Linux, VS Code reconnaît la
plupart des langages de programmation existants.

L’objectif est d’intégrer dans VS Code les différents langages de CADP (LNT, MCL, SVL, etc.). Dans
un premier temps, le travail consistera à étudier VS Code et à comprendre ses interfaces qui permettent
de connecter de nouveaux langages.

Ensuite, il faudra réaliser des prototypes permettant de connecter un ou deux langages simples de
CADP et s’assurer que le résultat correspond aux attentes de utilisateurs.

Enfin, il faudra automatiser la production de connecteurs pour VS Code en étendant les outils SECT de
l’équipe CONVECS qui permettent déjà de connecter automatiquement les différents langages de
CADP à d’autres éditeurs : Emacs, Gnome GTK, Jedit, Nano, Notepad++, Sublime Text et Vim.

[1a] [1c] [2a] [2c] [2e] [3]

Principales activités

Pour tous renseignements complémentaires sur la mission confiée, il est possible de contacter

Compétences

Compétences techniques et niveau requis : formation en informatique BAC + 4 minimum

Langues : français ou anglais

Compétences additionnelles appréciées : en lien avec le travail proposé

Avantages

1. Restauration subventionnée
2. Transports publics remboursés partiellement
3. Congés: 7 semaines de congés annuels + 10 jours de RTT (base temps plein) + possibilité d'autorisations d'absence exceptionnelle (ex : enfants malades, déménagement)
4. Possibilité de télétravail (après 6 mois d'ancienneté) et aménagement du temps de travail
5. Équipements professionnels à disposition (visioconférence, prêts de matériels informatiques, etc.)
6. Prestations sociales, culturelles et sportives (Association de gestion des œuvres sociales d'Inria)
7. Accès à la formation professionnelle
8. Sécurité sociale