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.
Type de document :
Communication dans un congrès
FMICS: Formal Methods for Industrial Critical Systems, Sep 2013, Madrid, Spain. 18th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'13), 2013, 〈http://lvl.info.ucl.ac.be/Fmics2013〉
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01064165
Contributeur : Karen Godary-Dejean <>
Soumis le : lundi 15 septembre 2014 - 16:23:44
Dernière modification le : jeudi 24 mai 2018 - 15:59:23

Identifiants

  • 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. FMICS: Formal Methods for Industrial Critical Systems, Sep 2013, Madrid, Spain. 18th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'13), 2013, 〈http://lvl.info.ucl.ac.be/Fmics2013〉. 〈lirmm-01064165〉

Partager

Métriques

Consultations de la notice

333