Skip to Main content Skip to Navigation
Theses

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 metadatas

Cited literature [74 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00009523
Contributor : Emilie Marchand <>
Submitted on : Thursday, July 28, 2005 - 10:31:39 AM
Last modification on : Friday, October 23, 2020 - 5:02:15 PM
Long-term archiving on: : Friday, April 2, 2010 - 10:23:20 PM

Identifiers

  • HAL Id : tel-00009523, version 1

Citation

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⟩

Share

Metrics

Record views

552

Files downloads

1183