Description
Spécification et validation des systèmes monopuces
Traité EGEM, série Electronique et micro-électronique
Authors: JERRAYA Ahmed-Amine, NICOLESCU Gabriela
Language: FrenchSubjects for Spécification et validation des systèmes monopuces:
Publication date: 03-2004
216 p. · 16x24 cm · Hardback
Withdrawn from sale
216 p. · 16x24 cm · Hardback
Withdrawn from sale
Description
/li>Contents
/li>
Cet ouvrage présente les éléments fondamentaux utilisés par les
concepteurs lors de la modélisation et de la conception d'un système, à
travers toutes les étapes du flot de conception partant d'un niveau
d'abstraction élevé. Il en découle une méthodologie pour la spécification
et la modélisation des systèmes monopuces. Les auteurs analysent également
la problématique de la validation globale de ces systèmes et présentent
une méthodologie de co-simulation. Ils proposent un modèle de simulation
des systèmes d'exploitation permettant la simulation native comme solution
alternative plus efficace que l'emploi des simulateurs des processeurs de
niveau jeu d'instructions (ISS). Cet ouvrage présente une démarche pour
l'évaluation des performances des systèmes mixtes matériels/logiciels. Il
met l'accent sur l'approche SystemC pour la modélisation et le raffinement
des systèmes monopuces. Les méthodologies et les outils présentés dans les
différents chapitres sont illustrés par des exemples d'applications
Introduction aux systèmes embarqués -A.-A. Jerraya.
Spécification et modélisation des systèmes logiciels/matériels -J.-P.
Calvez, G. Nicolescu. Méthodes de validation pour systèmes hétérogènes
-A.-A. Jerraya, G. Nicolescu. Modèle de simulation pour logiciel et
systèmes d'exploitation enfouis -A.-A. Jerraya, G. Nicolescu, S.
Yoo. Évaluation des performances des systèmes embarqués -J.-P.
Calvez. Modélisation, raffinement et programmation orientée objet avec
SystemC -G. Bois, L. Filion, A. Tsikhanovich, E.-M. Aboulhamid.
Glossaire. Index.
© 2024 LAVOISIER S.A.S.