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

https://tel.archives-ouvertes.fr/tel-00002938
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

Identifiers

  • HAL Id : tel-00002938, version 1

Collections

TIMA | UGA

Citation

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⟩

Share

Metrics

Record views

414

Files downloads

1771