P
lus de 30 Contrats R&D industriels en 25 ans dont 6 projets européens entre 1985-2003

 

Exemples de Contrats Significatifs pour les thèmes de recherche développées :

ADV-IBSI Électronique (MRT/AASI 1989)

"Parallélisation d'ELSIR, système basé sur les réseaux de Petri, sur réseaux de transputers",

APSIS/APTOR

"Algorithmes numériques parallèles pour l'accélération des simulateurs électriques" (1986)

"Réalisation d'un poste gestionnaire de réseau local sur un système de communication en milieu industriel"

"Développement d'outils logiciel pour un système de communication" (1983)

APOLLO COMPUTERS

"Contrat de diffusion de logiciel : Compilateur Occam/X sur machines Unix" (1986)

ARCHIPEL: (initiateur et co-fondateur de cette société en 1985/86 pour la valorisation des activités de recherche en parallélisme menées dans mon groupe à l'IMAG/LGI)

"Étude et conception d'une architecture parallèle pour stations de travail - Volvox" (1986/87)

APRIL-MERLIN GERIN

"La définition et la conception d'un noyau de système de communication pour environnements de programmation d'automates programmables" (1986)

BULL Sems

"Système de communication à diffusion pour noyau temps réel réparti"

"Algorithmique et fonctions de répartition sur un réseau local industriel à diffusion fiable"

CCETT

"L'analyse de l'efficacité d'une architecture matérielle de type transputer face au problème de la synthèse 3D par lancer de rayon" (1986)

DGA/CPM (DGN):

"Étude d'une méthode pour l’utilisation des algorithmes génétiques parallèles pour la fusion des données dans le suivi de trajectoires en temps réel" (1991)

ITMI :  "Noyau de système de communication pour le langage LM parallèle" (1984)

NCR France "Évaluation d'une architecture parallèle GAPP" (1987)

SEGIME (85) Étude préliminaire d'une architecture réseau pour le contrôle commande du métro de Lyon

SRTP Nantes et HBS Paris (1986/87)

"Étude et réalisation d'une architecture parallèle pour un système performant de tri postal"

CEA-Saclay (1996-99)

Boursier thèse BDI en collaboration (Ch. Aussagues) "Conception optimale de systèmes parallèles temps critiques pour le controle de centrales nucléaire"

FRANCE TELECOM- CNET Lanion- "Routeurs Parallèles Adaptatifs Haut Débit" (Convention CTI'97)

Projet CoCTel "Construction Correcte de Protocoles de Télécommunication" (Projet Accépté CTI'98)

GEMPLUS - Contrat de Collaboration CIFRE pour la conception d’un prouveur embarqué sur cartes à puces et la preuve par la Méthode B de machines virtuelles JavaCard.

ST-Microelectronics – Convention recherche pour étude d’un modèle d’intrusion sécurisé (thèse CIFRE)

SESIN – Identité et Anonymat pour documents dématérialisés (en cours)