Skip to Main content
Number of documents

14

René David


René David a été directeur de recherche au CNRS jusqu'en 2000 puis directeur de recherche emerite jusqu'en 2010. Il est ancien directeur-adjoint du Laboratoire d'automatique de Grenoble (Grenoble-INP, CNRS).

Ses domaines de spécialisation étaient les automatismes logiques (co-créateur du GRAFCET), le test des circuits digitaux, l'évaluation de performances des systèmes de production, et les réseaux de Petri continus et hybrides (outils de modélisation qu'il a créés, et développés en collaboration).

Auteur ou co-auteur de plusieurs ouvrages : Du Grafcet aux réseaux de Petri (Hermès, Paris, 1989), traduit en anglais (Prentice Hall, Londres, 1992) et en chinois (Machinery Press, Pékin, 1996) ; Random Testing of Digital Circuits: Theory and Applications (Marcel Dekker, New-York, 1998) ; Discrete, Continuous, and Hybrid Petri Nets (Springer, Heidelberg, 2005) ; De la logique câblée au calculateur industriel – Une aventure du Laboratoire d'Automatique de Grenoble (EDA Publishing, Grenoble, 2008). En outre, il est auteur de chapitres dans six ouvrages collectifs, en France et à l'étranger ; et co-auteur de deux brevets (invité à présenter l'un d'eux au Tremplin des inventeurs, Antenne 2, 1985). Il a dirigé 31 thèses.

Distinctions pour son activité professionnelle : Prix de thèse de l'Alliance Universitaire de Grenoble, 1969 ; Prix de "International Federation of Automatic Control", meilleur "survey" dans la revue Automatica (période 92-95) ; Prix
Nessim-Habif, décerné par la Société des Ingénieurs Arts & Métiers, 2001.

Activité dans le cadre handisport.

En mai 1966, il fonda l'Association Sportive des Handicapés Physiques de Grenoble (ASHPG), qui lui confia la
présidence (l'association prendra le titre Grenoble Handisport en 1986).

Dès la création de l'association, responsable de la section tir à l'arc, il fut l'initiateur et l'entraîneur de
plusieurs archers(ères), dont certains très bons. Aux Jeux paralympiques de 1968 (Tel Aviv), l'équipe de France de tir à l'arc (12 personnes) comprenait 5 grenoblois. Outre R. DAVID, il y avait M. MARASCHIN, Monique GIRARD, R. GROSJEAN, et G. MARASCHIN ; les quatre premiers sont revenus médaillés. Ces excellents résultats, relatés dans la presse avec une photo en première page du Dauphiné Libéré, ont dynamisé la progression de l'ASHPG (augmentation du nombre d'adhérents et reconnaissance par divers organismes et institutions). M. MARASCHIN et M. GIRARD sont les deux archères françaises qui ont le meilleur palmarès international (à elles deux, 5 médailles individuelles dont 4 d'or aux Jeux paralympiques entre 1968 et 1976).

René DAVID a été le responsable de l'équipe de basket en fauteuil roulant pendant plusieurs années à partir de sa création en 1966. Il créa aussi la section tennis en fauteuil roulant, en 1983.
Il a été sept fois capitaine de l'équipe de France de tir à l'arc (dont  Jeux paralympiques de 1968), capitaine de l'équipe de France omnisport à des Jeux mondiaux (Stoke-Mandeville22 1969) et, en 1970, athlète choisi pour prononcer le serment à l'ouverture des Jeux mondiaux de St-Etienne.

René DAVID a conçu la première potence de tir à l'arc (système de repérage tactile pour archers handicapés visuels) et le système IRIS (viseur sonore optoélectronique pour les mêmes personnes).

Distinctions pour son activité dans le sport : grande médaille de la Ville de Grenoble, 1969 ; médaille d'or de la Jeunesse et des Sports, 1980 ; Chevalier dans l'Ordre national du mérite, 1986.


Journal articles2 documents

  • René David, Patrick Girard, Christian Landrault, Serge Pravossoudovitch, Arnaud Virazel. Hardware Generation of Random Single Input Change Test Sequence. Journal of Electronic Testing, Springer Verlag, 2002, 18 (2), pp.145-157. ⟨10.1023/A:1014941525735⟩. ⟨lirmm-00268540⟩
  • Arnaud Virazel, René David, Patrick Girard, Christian Landrault, Serge Pravossoudovitch. Delay Fault Testing: Choosing Between Random SIC and Random MIC Test Sequences. Journal of Electronic Testing, Springer Verlag, 2001, 17 (3/4), pp.233-241. ⟨10.1023/A:1012259227622⟩. ⟨lirmm-00345796⟩

Conference papers7 documents

  • René David, Patrick Girard, Christian Landrault, Serge Pravossoudovitch, Arnaud Virazel. On Using Efficient Test Sequences for BIST. VTS: VLSI Test Symposium, 2002, Monterey, CA, United States. pp.145-150. ⟨lirmm-00268499⟩
  • René David, Patrick Girard, Christian Landrault, Serge Pravossoudovitch, Arnaud Virazel. Random Adjacent Sequences: An Efficient Solution for Logic BIST. SoC Design Methodologies - International Conference on Very Large Scale Integration of Systems-on-Chips, 2002, Montpellier, France. pp.413-424. ⟨lirmm-00268500⟩
  • Arnaud Virazel, René David, Patrick Girard, Christian Landrault, Serge Pravossoudovitch. Test Intégré de Circuits Digitaux : Comparaison de deux types de Séquences de Test. Journées des Doctorants, École Doctorale I2S, 2001, Montpellier, France. pp.158-160. ⟨lirmm-00345806⟩
  • René David, Patrick Girard, Christian Landrault, Serge Pravossoudovitch, Arnaud Virazel. Random Adjacent Sequences: An Efficient Solution for Logic BIST. VLSI-SoC: Very Large Scale Integration - System-on-Chip, Dec 2001, Montpellier, France. pp.413-424. ⟨lirmm-00345802⟩
  • René David, Patrick Girard, Christian Landrault, Serge Pravossoudovitch, Arnaud Virazel. On Hardware Generation of Random Single Input Change Test. ETW: European Test Workshop, May 2001, Saltsjöbaden, Sweden. pp.117-123. ⟨lirmm-00345801⟩
  • Arnaud Virazel, René David, Patrick Girard, Christian Landrault, Serge Pravossoudovitch. Test Intégré de Circuits Digitaux : Etude Comparative de l'Efficacité de deux types de Séquences de Test. JNRDM: Journées Nationales du Réseau Doctoral de Microélectronique, LIRMM; CEM2, May 2000, Montpellier, France. pp.86-87. ⟨lirmm-00345804⟩
  • Arnaud Virazel, René David, Patrick Girard, Christian Landrault, Serge Pravossoudovitch. Delay Fault Testing: Choosing Between Random SIC and Random MIC Test Sequences. ETW: European Test Workshop, May 2000, Cascais, Portugal. pp.09-14, ⟨10.1109/ETW.2000.873772⟩. ⟨lirmm-00345799⟩

Books2 documents

  • René David, Hassane Alla. Discrete, Continuous, and Hybrid Petri Nets. Springer, pp.554, 2010, Robotics, 978-3-642-10668-2. ⟨hal-00495611⟩
  • Michel Deguerry, René David. De la logique câblée au calculateur industriel. Une aventure du Laboratoire d'Automatique de Grenoble. EDA Publishing Association, Grenoble, 198 p., 2008. ⟨hal-00363170⟩

Other publications1 document

  • René David. Le système IRIS : Tir à l'arc pour handicapés visuels à Grenoble. 2021, pp.140. ⟨hal-03360648⟩

Habilitation à diriger des recherches2 documents

  • René David. Langages de programmation en commande numérique de machines-outils. Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1969. ⟨tel-00281601⟩
  • René David. Réalisation de systèmes séquentiels asynchrones par interconnexion simple de cellules séquentielles identiques. Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1969. ⟨tel-00281599⟩