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

Abstract : 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 specification
languages for heterogeneous system design, this study helped us to define a
representation model for the specification for heterogeneous systems design;
(2) the definition of a methodology for simulation based validation of
heterogeneous 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.
Complete list of metadatas

Cited literature [78 references]  Display  Hide  Download

Contributor : Lucie Torella <>
Submitted on : Tuesday, June 3, 2003 - 4:06:04 PM
Last modification on : Wednesday, May 16, 2018 - 6:30:04 PM
Long-term archiving on : Friday, April 2, 2010 - 8:08:37 PM


  • HAL Id : tel-00002938, version 1




G. Nicolescu. Spécification et validation des systèmes hétérogènes embarqués. Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 2002. Français. ⟨tel-00002938⟩



Record views


Files downloads