Complex Digital System Design: a methodology and its application to medical implants - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Conference Papers Year : 2013

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

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.
No file

Dates and versions

lirmm-01064165 , version 1 (15-09-2014)

Identifiers

  • HAL Id : lirmm-01064165 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More