Publications

Thèses


< retour aux thèses

« Spécification et validation des systèmes hétérogènes embarqués ».

Auteur : G. Nicolescu
Directeur de thèse : A.-A. Jerraya
These de Doctorat Institut National Polytechnique de Grenoble - INPG
Spécialité : Microélectronique
Soutenance : 27/11/2002
ISBN : ISBN 2-913329-91-8
Distinction : INPG Microelectronics Best Dissertation Prize

Résumé

La tendance très récente dans la conception des systèmes embarqués est l'assemblage des composants standard existants. La difficulté d'une telle conception provient du fait que ces composants sont hétérogènes en termes de protocoles de communication, niveaux d'abstraction et langages de spécification. Dans ce travail nous avons abordé deux principaux problèmes liés à la conception des systèmes embarqués hétérogènes, la spécification et la validation. Nos contributions sont : (1) une étude de la spécification des systèmes hétérogènes embarqués, étude qui a aidé à la définition d'un modèle de représentation pour la spécification en vue de la conception des systèmes hétérogènes embarqués, (2) la proposition d'une méthodologie de validation par simulation des systèmes hétérogènes embarqués et (3) la proposition d'un modèle de simulation pour la validation rapide des interfaces logicielles (les systèmes d'exploitation) dans les systèmes embarqués. Les concepts proposés ont été validés sur des applications complexes : deux systèmes embarqués multiprocesseurs - le modem VDSL et le système de téléphonie mobile IS-95 CDMA et un micro-système optique - le commutateur optique.

pdf pdf

Autre localisation