Skip to Main content Skip to Navigation
Conference papers

Complex Digital System Design: a methodology and its application to medical implants

Hélène Leroux 1 Karen Godary-Dejean 2 David Andreu 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
2 EXPLORE - Robotique mobile pour l'exploration de l'environnement
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Abstract : In the context of specification of complex digital systems and their implementation on FPGA, a tool-based methodology is devel- oped using a component-based approach. The component's behavior is described by means of Interpreted Prioritized Time Petri nets which are formalized in this article. Formal analysis is used to validate the model's properties and to optimize its implementation. Our approach is illus- trated on the micro machine of a distributed stimulation unit.
Complete list of metadatas

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01064165
Contributor : Karen Godary-Dejean <>
Submitted on : Monday, September 15, 2014 - 4:23:44 PM
Last modification on : Thursday, October 10, 2019 - 12:19:13 PM

Identifiers

  • HAL Id : lirmm-01064165, version 1

Collections

Citation

Hélène Leroux, Karen Godary-Dejean, David Andreu. Complex Digital System Design: a methodology and its application to medical implants. 18th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), Sep 2013, Madrid, Spain. ⟨lirmm-01064165⟩

Share

Metrics

Record views

603