[Home bibliotech]
Home > Les thèses en ligne de l'INP

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

Hamon, Juan-Carlos (2005) Méthodes et outils de la conception amont pour les systèmes et les micro-systèmes. (Methods and tools for high-level systems and micro-systems design.)

Full text available as:

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
3.22 Mo

Abstract

Ce travail de thèse porte sur l'élaboration de modèles de haut-niveau de systèmes pluridisciplinaires à base d'électronique. L'objectif est de réaliser des prototypes virtuels de ces systèmes et de vérifier formellement leur comportement dès les premières étapes du cycle de conception. Grâce à une approche descendante et au formalisme HiLeS, nous réalisons des représentations hiérarchiques qui associent des réseaux de Petri à un ensemble de blocs et de canaux interagissant mutuellement. Nous avons développé l'outil HiLeS Designer pour rendre utilisable le formalisme avec plusieurs améliorations opérationnelles telles que le couplage avec un outil d'analyse de réseaux de Petri (TINA) et la compatibilité avec VHDL-AMS. Nous proposons donc, une plate-forme de conception amont autour de l'outil HiLeS Designer avec des passerelles vers TINA et VHDL-AMS. L'utilisation de cette plate-forme nous à permis d'identifier plusieurs perspectives de développement, notamment vers la conduite de projet. 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.

Department or laboratory:Laboratoire d'Analyse et d'Architecture des Systèmes - LAAS (Toulouse, France)
Directeur de thèse:Estève, Daniel
Uncontrolled Keywords:Conception système - Prototypage virtuel - Modélisation formelle - Systèmes pluridisciplinaires - VHDL-AMS. KEYWORDS : Systems design - Virtual prototyping - Formal modelling - Multidisciplinary systems - VHDL-AMS
Subjects:Electronics > Circuits design / Microelectronics and microsystems
Deposited On:28 April 2005

Archive Staff Only: edit this record


Contacts | Infos légales | Plan du site | Intranet

(c)INP de Toulouse 2012 - Tous droits réservés. -  INP Communication