• Spécification et validation globales des systèmes embarqués

Une modélisation et une validation globales sont nécessaires pour maîtriser la conception des systèmes construits à partir de composants hétérogènes. Ces systèmes sont désormais omniprésents dans notre vie ; on les retrouve dans des domaines très différents comme les communications (terminaux mobiles, commutateurs optiques, etc.), la santé (stimulateurs cardiaques, implants cochléaires, etc.), les transports (automobile et aéronautique), pour n’en citer que quelques-uns. Les principales difficultés liées à leur conception sont la modélisation et la validation des interactions entre les différents composants (matériels, logiciels, analogiques, RF, optiques et micromécaniques).

Ce livre sur la spécification et la validation globales des systèmes embarqués (Global Specification and Validation of Embedded Systems) apporte une profonde compréhension des concepts et des pratiques à la base de la composition de composants hétérogènes. Après l’analyse des modèles de calcul et d’exécution existants utilisés pour la spécification et la validation de différents sous-systèmes, l’ouvrage présente une approche systématique visant à construire un modèle d’exécution pour les systèmes basés sur des composants hétérogènes. Des systèmes mixtes continu/discret et matériel/logiciel sont choisis pour illustrer ces concepts. Grâce à ce livre, le lecteur disposera d’une vision claire de la théorie et de la pratique de la spécification et de la validation des systèmes complexes modernes. Les exemples choisis offrent aux concepteurs des solutions applicables dans leur pratique quotidienne.

Pour commander, consulter le site des éditions Springer

• Transistors doubles grilles planaires

Ce livre sur les dispositifs et les circuits à doubles grilles est unique, et vise à renforcer la synergie entre les activités de recherche sur les dispositifs CMOS en dessous de 32 mm et la conception de cellules élémentaires. L’objectif est de montrer comment nous pouvons tirer avantage de nouvelles structures de transistors pour proposer de nouvelles cellules de base et de nouveaux concepts qui exploitent les caractéristiques électriques de ces nouveaux dispositifs et les avancées qu’ils permettent.

Ce livre sur les transistors doubles grilles planaires (Planar Double-Gate Transistor) s’intéresse principalement aux transistors CMOS SOI reposant sur le procédé Fully Depleted avec des doubles grilles planaires indépendantes.

Pour commander, consulter le site des éditions Springer

• Technologies émergentes et circuits

Pour répondre à la croissance du marché des semi-conducteurs, les nouvelles conceptions de circuits intégrés repoussent les limites de la technologie, et dans certains cas nécessitent un ajustement spécifique de certains modules du procédé de fabrication. Les communautés de concepteurs et d’ingénieurs sont donc de plus en plus intimement liées. Les aspects qui nécessitent une interaction et une collaboration étroites dans l’optique d’un compromis et d’une optimisation dans les trois domaines conception/dispositif/procédé sont abordés dans ce livre sur les technologies émergentes et les circuits (Emerging Technologies and Circuits).

Ce livre contient un ensemble remarquable d’articles, de notes et de tutoriaux présentés pendant les 3 jours de la Conférence internationale sur la conception et la technologie des circuits intégrés (ICICDT) qui s’est tenue au Minatec de Grenoble en juin 2008. Les articles retenus couvrent sur 5 chapitres les différents aspects des technologies et des dispositifs émergents, de la conception des circuits avancés aux signaux analogiques et mixtes, en passant par la fiabilité, les problèmes de variabilité et leurs solutions, et les mémoires avancées. Tous ces articles s’intéressent aux interactions entre conception et technologie, et sont parfaitement en phase avec le thème de la conférence.

Pour commander, consulter le site des éditions Springer

• Conception de logiciels intégrés et programmation des systèmes multiprocesseurs sur puce

Les applications actuelles du multimédia et des télécommunications nécessitent des architectures de systèmes multiprocesseurs sur puce (MPSoC) complexes et hétérogènes, avec une infrastructure de communication spécifique permettant d’atteindre les performances requises. Un système MPSoC hétérogène comporte différents types d’unités de traitement (DSP, microcontrôleur, ASIP) et différents schémas de communication (liaisons rapides, organisation et accès mémoire non standard). La programmation d’un MPSoC nécessite l’écriture d’un logiciel efficace fonctionnant sur MPSoC à partir d’un environnement de haut niveau, en utilisant les caractéristiques de l’architecture. Cette tâche passe pour être fastidieuse et source d’erreurs, car elle exige une combinaison d’environnements de programmation de haut niveau avec une conception logicielle de bas niveau.

Ce livre propose une vue d’ensemble des notions associées à la conception de logiciels intégrés pour systèmes MPSoC. Il décrit en détail une approche de conception logicielle complète, permettant une cartographie systématique, de haut niveau d’applications logicielles sur MPSoC hétérogène. Cette approche est basée sur une amélioration progressive des interfaces matériel/logiciel, et des modèles de simulation permettant de valider le logiciel à différents niveaux d’abstraction.
Elle repose à la fois sur Simulink pour la programmation de haut niveau, et sur SystemC pour le développement logiciel de bas niveau. L’approche est illustrée par de multiples exemples de logiciels d’application et d’architectures MPSoC qui permettent de mieux comprendre la conception logicielle pour systèmes MPSoC.

Pour commander, consulter le site des éditions Springer