Dieses zweibandige, grundlegende und tiefgehende Werk uber analoge und digitale Schaltungstechnik bietet neben einer verstandlichen Darstellung des Lehrstoffs viele umfangreiche Lernhilfen. Es ist daher besonders fur Einsteiger und zum Selbst- und Fernstudium geeignet. Eine Vielzahl von detailliert durchgerechneten Beispielen, Aufgaben mit ausfuhrlichen Losungsvorschlagen, Merksatzen und Kapitelzusammenfassungen erleichtern das Lernen ebenso wie die zahlreichen Abbildungen und Tabellen. Das Werk entstand aus einer Vorlesung an der Fernuniversitat Hagen. Der zweite Band behandelt Aufbau und Schaltungen des Operationsverstarkers, Digitale Schaltungen (Gatter-Familien, Flip-Flop-Typen, Dekoder/Enkoder, Multiplexer, Minimierungs- verfahren) sowie Verbindungsleitungen."

Cet ouvrage est une etude des proprietes structurales, electroniques et magnetiques dans le domaine de l'electronique de spin (spintronique) des materiaux semi-conducteurs (arsenic) dope par des ions Terre-Rare, ReAs (Re = Eu, Gd, Tb, Dy) dans la phase (B1) NaCl. Des calculs ab-initio ont ete effectues en utilisant la methode des ondes planes augmentees avec linearisation (FP-LAPW) sur la base de la theorie de la fonctionnelle de la densite (DFT), ainsi que deux approximations pour l'energie d'echange et de correlation (LSDA et LSDA+U) afin de comparer entre elles. La strategie LSDA+U offre une meilleure description pour ces materiaux.

Ce livre propose une exploration de l'espace de conception des architectures reconfigurables pour des applications orientees traitement intensif. Ces architectures sont aujourd'hui en mesure de fournir une solution efficace a la realisation d'applications dans de nombreux domaines (traitement d'image, communications, cryptographie ...). Cependant, elles sont penalisees par un manque d'outils de conception indispensables a tous les niveaux du flot de conception. Ce livre propose un etat de l'art du domaine (architectures et outils), une modelisation haut-niveau et une methode d'exploration architecturale.

Ce travail de these porte sur la co-modelisation logiciel/materiel des systemes embarques temps-reel, et plus precisement, sur la prise en charge du materiel dans la modelisation du logiciel. Il nous a fallu, de ce fait, marier plusieurs domaines de competence dont l'ingenierie dirigee par les modeles, la conception d'applications temps-reel (methodologies, analyses, noyaux temps-reel...), le developpement du materiel embarque (modelisation, simulation, implantation...), l'integration logiciel/materiel (allocation, adequation, validation...), etc. Nous avons donc explore toutes ces disciplines pour accumuler l'etat de l'art necessaire. Nous nous sommes vite rendu compte du grand nombre de problematiques non resolues et de pratiques de conception depassees ou insuffisantes vu le rythme d'evolution impose par l'industrie. Apres un positionnement vis a vis de l'existant, nous avons introduit au fur et a mesure l'ensemble de nos contributions."

L'arithmetique des ordinateurs est une branche de l'informatique qui traite des systemes de representation des nombres, des algorithmes arithmetiques et de leurs implantations materielles ou logicielles. Ces travaux portent sur l'etude et l'implantation materielle d'operateurs pour l'evaluation de fonctions en traitement du signal et des images. Sont presentes successivement un generateur d'operateurs optimises pour la division, des etudes portant sur un algorithme d'evaluation de fonctions au moyen d'approximations par fractions rationnelles, et des operateurs d'evaluation de fonctions bases sur des approximations polynomiales qui demandent peu de materiel. Les operateurs arithmetiques proposes ont ete optimises du point de vue de la surface du circuit, de sa vitesse ou de sa consommation d'energie. Ils ont tous ete valides sur des circuits FPGA.

An introduction to the engineering principles of embedded systems, with a focus on modeling, design, and analysis of cyber-physical systems. The most visible use of computers and software is processing information for human consumption. The vast majority of computers in use, however, are much less visible. They run the engine, brakes, seatbelts, airbag, and audio system in your car. They digitally encode your voice and construct a radio signal to send it from your cell phone to a base station. They command robots on a factory floor, power generation in a power plant, processes in a chemical plant, and traffic lights in a city. These less visible computers are called embedded systems, and the software they run is called embedded software. The principal challenges in designing and analyzing embedded systems stem from their interaction with physical processes. This book takes a cyber-physical approach to embedded systems, introducing the engineering concepts underlying embedded systems as a technology and as a subject of study. The focus is on modeling, design, and analysis of cyber-physical systems, which integrate computation, networking, and physical processes. The second edition offers two new chapters, several new exercises, and other improvements. The book can be used as a textbook at the advanced undergraduate or introductory graduate level and as a professional reference for practicing engineers and computer scientists. Readers should have some familiarity with machine structures, computer programming, basic discrete mathematics and algorithms, and signals and systems.

Ce travail comporte une etude par la methode des elements finis du comportement mecanique des chaussees dans le but de mieux comprendre les mecanismes d'initiation et de developpement de l'ornierage dans les chaussees souples et de determiner une strategie pour leur reparation. Il est presente en quatre chapitres: Les premier et second chapitres comportent une analyse des travaux realises sur l'ornierage (mecanismes de formation, facteurs d'influence ....) et le modele numerique utilise; le comportement des couches inferieures est decrit a l'aide d'un modele elastoplastique. Un modele elasto-viscoplastique est utilise pour les couches de surface. L'effet de la temperature est pris en compte a l'aide du principe de superposition temps-temperature. Le troisieme chapitre presente la validation du modele propose sur des essais en vraie grandeur realises au laboratoire (LAVOC). Dans le quatrieme chapitre, on presente une etude parametrique sur l'influence de principaux facteurs (type de pneus, ) l'influence de la temperature sur le developpement de l'ornierage. Cette etude est suivie par une etude sur des strategies de maintenance et de reparation des chaussees"

"Dans une societe ou les echanges numeriques se font de plus en plus frequents, la securisation des informations est un enjeu majeur. S'il y a quelques annees la necessitee de surete etait restreinte aux cercles militaires et gouvernementaux, aujourd'hui la securite s'impose a presque tous les niveaux de la communication d'une societe moderne. Des transactions bancaires ont le besoin evident d'etre securisees, mais aussi le transfert d'informations d'une chaine de television numerique vers une set-top box chez son client doit preserver l'integrite et la confidentialite des donnees. En realisant le lien entre la necessite de flexibilite et performances demandees par les ces systemes securisees et les solutions architecturales disponibles, il est naturel d'envisager le rapprochement du domaine des architectures reconfigurables a celui de la cryptographie."

Incorporate embedded computing technology in projects and devices of all sizes This comprehensive engineering textbook lays out foundational computer architecture principles and teaches, step by step, how to apply those concepts in cutting-edge embedded applications. The book includes everything you need to know about embedded computing-from fundamentals and processor internals to networking and connectivity. Computer Systems: An Embedded Approach begins by thoroughly explaining constituent hardware components, including processors, storage devices, and accelerators. From there, the book shows how operating systems work and how they provide a layer of services between hardware and software. You will get coverage of foundational networking, pervasive computing concepts, and the Internet of Things (IoT). The book concludes with a look to the future of embedded computing systems. *This single resource takes readers right up to being ready to learn programming*Covers code aspects from the IEEE, POSIX, and OSI models *Written by a recognized academic and experienced author

Develop and Deploy Powerful MSP432 Microcontroller Applications Bolster your electronics skills and learn to work with the cutting-edge MSP432 microcontroller using the practical information contained in this comprehensive guide. Programmable Microcontrollers: Applications on the MSP432 LaunchPad clearly explains each concept and features detailed illustrations, real-world examples, and DIY projects. Discover how to configure the MSP432, program custom functions, interface with external hardware, and communicate via WiFi. Ideal for practicing engineers and hobbyists alike, this hands-on guide empowers you to program all microcontrollers by thoroughly understanding the MSP432. Coverage includes: *MSP432 architecture *Code Composer Studio (CCS) *CCS Cloud and Energia *MSP432 programming with C and Assembly *Digital I/O *Exceptions and interrupts *Power management and timing operations *Mixed signal systems *Digital and wireless communication *Flash memory, RAM, and direct memory access *Real-time operating system *Advanced applications

SEP est une methode incrementale orientee-composant de Simulation a evenements discrets et d'Evaluation de Performances adapte a la conception d'architectures materielles numeriques. Dans une premiere partie, nous definissons un modele generique decrit en UML (Unified Modeling Language) dedie aux architectures de type DSP visees. Le comportement des composants elementaires est construit par une specification assistee a partir de methodes Java. L'utilisation de l'approche par composants autonomes rend possible la mise en place de nombreux mecanismes interessants pour ameliorer la reutilisation et la lisibilite des modeles, pour modeliser le jeu d'instructions, pour integrer des modeles synchrones (Esterel). Dans une deuxieme partie, nous integrons dans notre environnement de conception des techniques de validation. Un mecanisme de liaison dynamique evolue est mis en place pour la validation fonctionnelle des modeles. Dans une derniere partie, nous utilisons l'environnement construit pour valider la methode sur plusieurs applications issues de projets industriels.