Petri nets based methodology for communicating neuroprosthesis design and prototyping - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Conference Papers Year : 2008

Petri nets based methodology for communicating neuroprosthesis design and prototyping

Guillaume Souquet
  • Function : Author
  • PersonId : 938655
David Andreu
David Guiraud

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.

Domains

Automatic
No file

Dates and versions

lirmm-00320485 , version 1 (11-09-2008)

Identifiers

  • HAL Id : lirmm-00320485 , version 1

Cite

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⟩
304 View
0 Download

Share

More