Access content directly

René DAVID

16
Documents

Presentation

**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.

Publications

Un duo grenoblois gagnant? L’intersection de l’Automatique et de l’Informatique

René M. G. David , Philippe Denoyelle , Luc Dugard , Jonathan Dumon , Alphonse Franco
Patrimoine UGA Hors Murs, Nov 2021, Grenoble, France
Conference papers hal-03424497v1

On Using Efficient Test Sequences for BIST

René M. G. David , Patrick Girard , Christian Landrault , Serge Pravossoudovitch , Arnaud Virazel
VTS: VLSI Test Symposium, 2002, Monterey, CA, United States. pp.145-150
Conference papers lirmm-00268499v1
Image document

Test Intégré de Circuits Digitaux : Comparaison de deux types de Séquences de Test

Arnaud Virazel , René M. G. David , Patrick Girard , Christian Landrault , Serge Pravossoudovitch
Journées des Doctorants, École Doctorale I2S, 2001, Montpellier, France. pp.158-160
Conference papers lirmm-00345806v1

On Hardware Generation of Random Single Input Change Test

René M. G. David , Patrick Girard , Christian Landrault , Serge Pravossoudovitch , Arnaud Virazel
ETW: European Test Workshop, May 2001, Saltsjöbaden, Sweden. pp.117-123
Conference papers lirmm-00345801v1
Image document

Delay Fault Testing: Choosing Between Random SIC and Random MIC Test Sequences

Arnaud Virazel , René M. G. David , Patrick Girard , Christian Landrault , Serge Pravossoudovitch
ETW: European Test Workshop, May 2000, Cascais, Portugal. pp.09-14, ⟨10.1109/ETW.2000.873772⟩
Conference papers lirmm-00345799v1
Image document

Test Intégré de Circuits Digitaux : Etude Comparative de l'Efficacité de deux types de Séquences de Test

Arnaud Virazel , René M. G. David , Patrick Girard , Christian Landrault , Serge Pravossoudovitch
JNRDM: Journées Nationales du Réseau Doctoral de Microélectronique, LIRMM; CEM2, May 2000, Montpellier, France. pp.86-87
Conference papers lirmm-00345804v1

A history of research in fault tolerant computing at the Grenoble University

René M. G. David , B. Courtois , G. Saucier
Evolution-of-Fault-Tolerant-Computing.-In-the-Honor-of-William-C.-Carter, 1987, Baden, Austria. pp.337-53
Conference papers hal-00013405v1

Random testing versus deterministic testing of RAMs

A. Fuentes , René M. G. David , B. Courtois
FTCS-Digest-of-Papers.-16th-Annual-International-Symposium-on-Fault-Tolerant-Computing-Systems-Cat.-No.86CH2335-8, 1986, Vienna, Austria. pp.266-71
Conference papers hal-00013446v1
Image document

Random Adjacent Sequences: An Efficient Solution for Logic BIST

René M. G. David , Patrick Girard , Christian Landrault , Serge Pravossoudovitch , Arnaud Virazel
SOC Design Methodologies, 90, Kluwer, pp.413-424, 2002, IFIP — The International Federation for Information Processing, 978-1-4757-6530-4. ⟨10.1007/978-0-387-35597-9_35⟩
Book sections lirmm-00345802v1
Image document

Réalisation de systèmes séquentiels asynchrones par interconnexion simple de cellules séquentielles identiques

René M. G. David
Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1969
Habilitation à diriger des recherches tel-00281599v1
Image document

Langages de programmation en commande numérique de machines-outils

René M. G. David
Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1969
Habilitation à diriger des recherches tel-00281601v1