PhD Thesis

< back to PhD thesis

« Specification and validation for heterogeneous embedded systems ».

Author: G. Nicolescu
Advisor: A.-A. Jerraya
These de Doctorat Institut National Polytechnique de Grenoble - INPG
Speciality: Microélectronique
Defense: November 27 2002
ISBN: ISBN 2-913329-91-8
Honour: INPG Microelectronics Best Dissertation Prize


Currently the design of heterogeneous embedded systems requires the integration of existing standard components. The difficulty of such design resides in the heterogeneity of the components in terms of abstraction levels, communication protocols and specification languages. This work approaches two main aspects related to the design of heterogeneous embedded systems: the specification and the validation. Our contributions are: (1) the study on the specificationlanguages for heterogeneous system design, this study helped us to define arepresentation model for the specification for heterogeneous systems design;(2) the definition of a methodology for simulation based validation ofheterogeneous embedded systems and (3) a native simulation model for the fast validation of operating systems in embedded systems. The proposed concepts where validated using complex applications : two multiprocessor embedded systems - the VDSL modem and the IS-95 CDMA mobile phone system and an optical micro-system - the optical switcher.

pdf pdf

Other localisation