Prêtable
| Titre : | Spécification et validation des systèmes monopuces |
| Auteurs : | Ahmed-Amine Jerraya |
| Type de document : | texte imprimé |
| Editeur : | Paris [France] : Lavoisier, 2004 |
| Collection : | Traité EGEM (électronique-génie électrique-microsystèmes) |
| ISBN/ISSN/EAN : | 978-2-7462-0820-9 |
| Format : | 216 p. / ill.; couv. ill. en coul. / 24 cm. |
| Langues: | Français |
| Langues originales: | Français |
| Index. décimale : | 621.381 (Electronique appliquée (microélectronique)) |
| Catégories : | |
| Mots-clés: | Modélisation système ; Système hétérogéne ; Programmation orientée objet |
| Résumé : |
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
|
| Note de contenu : |
Sommaire :
Chapitre 1: Introduction aux systèmes embarqués Chapitre 2: Spécification et modélisation des systèmes logiciels/matériels Chapitre 3: Méthodes de validation pour systèmes hétérogènes Chapitre 4: Modèle de simulation pour logiciel et systèmes d'exploitation enfouis Chapitre 5: Évaluation des performances des systèmes embarqués Chapitre 6: Modélisation, raffinement et programmation orientée objet avec System |
Exemplaires (1)
| Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|
| F8/2403 | Livre | Bibliothèque de la Faculté de Technologie | Salle des livres | Disponible |
