LIP6 Jean-Luc Mounier : Vue du bureau

Jean-Luc Mounier

Jean-Luc Mounier
Work UPMC - LIP6 - Boîte courrier 169
4 place Jussieu
75252 PARIS CEDEX 05
FRANCE
WorkTel: +33 (0)1 44 27 61 89

Je suis employé par l'Université Pierre et Marie Curie (Paris 6) comme ingénieur de recherche.

Vous trouverez mes coordonnées sur ma page administrative au LIP6.

Mes activités d’administrateur Macintosh et système d’information sont transversales au sein de trois entités : Le Laboratoire d’Informatique de Paris 6 (LIP6 CNRS UMR7606), les équipes systèmes (MoVe et REGAL) du département réseaux et systèmes répartis et les départements de Licence et Master informatique.

Au sein du LIP6 j’assure les tâches suivantes :

Jean-Luc Mounier 2005

Au sein des équipes systèmes (MoVe et REGAL) du LIP6 :

Activités de recherche

Maintien et extensions d’un logiciel d’interface graphique (Macao), gestion de modèles formels pour les activités de recherche en vérification de systèmes de l’équipe MoVe. Logiciel de recherche, conçu durant ma thèse et qui est diffusé sur Internet. (utilisé par plus de 200 instituts dans 45 pays).

Jean-Luc Mounier 1990

Le passé

1985-90 Thèse de l'Université Pierre et Marie Curie: Conception et mise en œuvre d'un environnement système pour la modélisation, l'analyse et la réalisation de systèmes informatiques.

Cette thèse a permis la mise en oeuvre de l'environnement de génie logiciel AMI sur station de travail Sun (plate-forme réalisée par Jean-Marc Bernard) et de son interface graphique Macao sur Macintosh (réalisée par moi-même). Cet environnement générique est particularisé en fonction des besoins des applications intégrées.

Le manuscrit de la thèse est disponible en version postscript (2305 Ko) ou pdf en trois parties: Le projet MARS (265 Ko), l'analyse fonctionnelle de l'environnement système (462 Ko) et l'atelier AMI(379 Ko).

Le présent

Un domaine de compétences de l'équipe MoVe (anciennement thème "Systèmes Répartis et Coopératifs") étant les réseaux de Petri, nous avons conçu une plate-forme CPN-AMI (AMI for Colored Petri Nets) à partir de AMI. CPN-AMI est diffusée sur serveur ftp depuis Octobre 1993 et est utilisée dans plusieurs dizaines d'universités et centres de recherches.

J'ai conçu et réalisé l'éditeur de graphes Macao sur Macintosh. Macao est à la fois un éditeur de graphes (qui peut être utilisé indépendamment de CPN-AMI) et l'interface utilisateur de l'atelier CPN-AMI.

Je poursuis le développement de Macao en l'adaptant à la nouvelle plate-forme FrameKit (plate-forme réalisée par Fabrice Kordon).

J'ai aussi la charge des interfaces de programmation en langage C de FrameKit. Ces interfaces permettent de développer des outils portables sur Linux et MacOS X.

icone Macao

Le futur

Plusieurs axes sont explorés :

Au sein des départements Licence et Master informatique de la Faculté d'ingénierie - UFR919 :

Tâches transversales à toutes les composantes :

Février 2012


Compteur! Powered By Mac