Skip to Main content Skip to Navigation
Conference papers

Petri nets based methodology for communicating neuroprosthesis design and prototyping

Guillaume Souquet 1 David Andreu 1 David Guiraud 1
1 DEMAR - Artificial movement and gait restoration
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : In this paper, we deal with a design flow that makes easier the design of complex digital systems and allows their fast prototyping, This design flow is based on Petri Nets (PN) and components. The PN-based approach allows for high level analysis, the component aspect favors modularity and reusability, and automatic translation of PN into VHDL enables safe and fast prototyping. To support this design flow, a software tool has been created: HIgh LEvel hardware COmponent Programming (HILECOP). We applied this methodology and its associated software tool to realize prototypes of biomedical devices. Indeed, in the context of functional rehabilitation by means of functional electrical stimulation, it has been used to create a prototype of an implantable stimulator which is briefly exposed, communicating according to a given protocol stack.
Document type :
Conference papers
Complete list of metadata
Contributor : David Andreu <>
Submitted on : Thursday, September 11, 2008 - 9:54:01 AM
Last modification on : Tuesday, January 22, 2019 - 3:24:02 PM


  • HAL Id : lirmm-00320485, version 1



Guillaume Souquet, David Andreu, David Guiraud. Petri nets based methodology for communicating neuroprosthesis design and prototyping. ISABEL'08: 1st International Symposium on Applied Sciences in Biomedical and Communication Technologies, Oct 2008, Aalborg, Denmark. ⟨lirmm-00320485⟩



Record views