Skip to Main content Skip to Navigation

Méthodes et outils de la conception amont pour les systèmes et les microsystèmes

Abstract : This work concerns the development of high-level models of multi-disciplinary systems based on electronics. The objective is to construct virtual prototypes of those systems and to verify their behavior since the early stages of the design process. Using a top-down approach and the HiLeS formalism we obtain hierarchical models that associate Petri nets and a group of blocks and channels interacting mutually. We developed HiLeS Designer, a software tool that implements the formalism with several complementary improvements such as an interface to a Petri nets analysis tool (TINA) and compatibility with VHDL-AMS. These two aspects are the base of our formal verification and virtual prototyping approach. We propose a high-level systems design platform that integrates HiLeS Designer, TINA and VHDL-AMS. Using this platform on two case studies allowed us to identify possible improvements to our project and prospective evolutions.
Complete list of metadata

Cited literature [74 references]  Display  Hide  Download
Contributor : Emilie Marchand Connect in order to contact the contributor
Submitted on : Thursday, July 28, 2005 - 10:31:39 AM
Last modification on : Tuesday, October 19, 2021 - 11:16:23 PM
Long-term archiving on: : Friday, April 2, 2010 - 10:23:20 PM


  • HAL Id : tel-00009523, version 1


Juan Carlos Hamon. Méthodes et outils de la conception amont pour les systèmes et les microsystèmes. Micro et nanotechnologies/Microélectronique. Institut National Polytechnique de Toulouse - INPT, 2005. Français. ⟨tel-00009523⟩



Record views


Files downloads