Cosimulation multiniveaux dans un flot de conception multilangage - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2000

Cosimulation multiniveaux dans un flot de conception multilangage

Multilevel co-simulation in a multilanguage design flow

Résumé

Nowadays, the realization of an heterogeneous electronic system composed by different sub-systems (software, hardware, mechanical parts, etc...) begins with a high level specification which is then divided into different parts often modelized in different languages. These new methods thus imply new co-design and validation techniques so as to reduce the time to market. The verification by simulation of such systems consists in the joined simulation of the different parts of the system by using simulators which are appropriate to the type of module. This kind of simulation is called co-simulation and must be usable at each abstraction level of the specification. The subject of this thesis concentrates on the study of a validation tool based on co-- simulation. The aim of this tool is to verify a complete system all through its design flow by simulation implying the parallel and communicating execution of simulators. Each part of the system is, if necessary, simulated on a remote machine so as to maintain the delocalization of the working groups. The multilevel co-simulation may be of two types : the first one is the functional co-simulation which enables the validation of the interconnection of the sub-systems. The second one is the timed co-simulation which allows the addition of a temporal synchronization between the simulators. The co-simulation environment has been successfully used on industrial applications, and particularly on mechatronic examples. It was, for instance, the case at PSA (Peugeot-Citroe"n). At the multilanguage level, co-simulation currently permits the introduction of such languages as SDL, COSSAP, MATLAB, SABER, VHDL and C. Thanks to co-simulation, designers benefit from many languages for the validation of their specification.
De nos jours, la réalisation d'un système électronique hétérogène composé de différents sous-systèmes (logiciel, matériel, mécanique, etc..), démarre par une spécification de haut niveau qui est ensuite divisée en différentes parties modélisées en différents langages. Ces nouvelles méthodes requièrent donc de nouvelles techniques d'aide à la conception et de validation afin de réduire le temps de mise sur le marché. La vérification par simulation de tels systèmes consiste à simuler conjointement les différentes parties du système en utilisant les simulateurs appropriés à leur type de modélisation. Ce type de simulation appelé cosimulation doit être réalisable à tous les niveaux de la spécification. Le sujet de cette thèse consiste à étudier un outil de validation par cosimulation. Cet outil doit pouvoir vérifier un système complet tout au long de son flot de conception par simulation à l'aide de simulateurs concurrentiels communicants. Chaque partie du système est simulée, éventuellement sur une machine distante pour respecter la délocalisation des groupes de travail, mais surtout par un simulateur spécifique à son domaine d'application. La cosimulation multiniveaux peut être de deux types. Le premier est la cosimulation fonctionnelle. Elle permet une validation de l'interconnexion des sous-systèmes entre eux. Le second est la cosimulation temporelle. Elle permet d'ajouter à la cosimulation fonctionnelle une synchronisation en temps des différents simulateurs. L'interface de cosimulation a été utilisée avec succès sur des applications industrielles, tout particulièrement sur des exemples du monde automobile chez PSA (Peugeot-Citroën). Au niveau multilangage, elle permet actuellement d'inclure des langages tels que SDL, COSSAP, MATLAB, SABER, VHDL et le C, bénéficiant ainsi d'une variété de langages pour la spécification.
Fichier principal
Vignette du fichier
CMF_109.pdf (25.49 Mo) Télécharger le fichier
Loading...

Dates et versions

tel-00163544 , version 1 (17-07-2007)

Identifiants

  • HAL Id : tel-00163544 , version 1

Citer

Ph. Lemarrec. Cosimulation multiniveaux dans un flot de conception multilangage. Micro et nanotechnologies/Microélectronique. Institut National Polytechnique de Grenoble - INPG, 2000. Français. ⟨NNT : ⟩. ⟨tel-00163544⟩

Collections

UGA CNRS TIMA
212 Consultations
713 Téléchargements

Partager

Gmail Facebook X LinkedIn More