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
Hardware Generation of Random Single Input Change Test SequenceJournal of Electronic Testing: : Theory and Applications, 2002, 18 (2), pp.145-157. ⟨10.1023/A:1014941525735⟩
Journal articles
lirmm-00268540v1
|
|
|
Delay Fault Testing: Choosing Between Random SIC and Random MIC Test SequencesJournal of Electronic Testing: : Theory and Applications, 2001, 17 (3/4), pp.233-241. ⟨10.1023/A:1012259227622⟩
Journal articles
lirmm-00345796v1
|
Un duo grenoblois gagnant? L’intersection de l’Automatique et de l’InformatiquePatrimoine UGA Hors Murs, Nov 2021, Grenoble, France
Conference papers
hal-03424497v1
|
|
On Using Efficient Test Sequences for BISTVTS: VLSI Test Symposium, 2002, Monterey, CA, United States. pp.145-150
Conference papers
lirmm-00268499v1
|
|
|
Test Intégré de Circuits Digitaux : Comparaison de deux types de Séquences de TestJournées des Doctorants, École Doctorale I2S, 2001, Montpellier, France. pp.158-160
Conference papers
lirmm-00345806v1
|
On Hardware Generation of Random Single Input Change TestETW: European Test Workshop, May 2001, Saltsjöbaden, Sweden. pp.117-123
Conference papers
lirmm-00345801v1
|
|
|
Delay Fault Testing: Choosing Between Random SIC and Random MIC Test SequencesETW: European Test Workshop, May 2000, Cascais, Portugal. pp.09-14, ⟨10.1109/ETW.2000.873772⟩
Conference papers
lirmm-00345799v1
|
|
Test Intégré de Circuits Digitaux : Etude Comparative de l'Efficacité de deux types de Séquences de TestJNRDM: 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 UniversityEvolution-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 RAMsFTCS-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
|
Discrete, Continuous, and Hybrid Petri NetsSpringer, pp.554, 2010, Robotics, 978-3-642-10668-2
Books
hal-00495611v1
|
|
De la logique câblée au calculateur industriel. Une aventure du Laboratoire d'Automatique de GrenobleEDA Publishing Association, Grenoble, 198 p., 2008
Books
hal-00363170v1
|
|
Random Adjacent Sequences: An Efficient Solution for Logic BISTSOC 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
|
|
Le système IRIS2021, pp.140
Other publications
hal-03360648v1
|
|
Réalisation de systèmes séquentiels asynchrones par interconnexion simple de cellules séquentielles identiquesModélisation et simulation. Université Joseph-Fourier - Grenoble I, 1969
Habilitation à diriger des recherches
tel-00281599v1
|
|
Langages de programmation en commande numérique de machines-outilsModélisation et simulation. Université Joseph-Fourier - Grenoble I, 1969
Habilitation à diriger des recherches
tel-00281601v1
|