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

ISBN 2-913329-91-8Currently 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.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