Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Programming --- embedded systems --- Embedded computer systems --- Systèmes enfouis (Informatique) --- Programmation --- Systèmes enfouis (Informatique)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

MIPS (Computer architecture) --- RISC microprocessors. --- Embedded computer systems --- MIPS (Architecture d'ordinateurs) --- Systèmes enfouis (Informatique) --- Programming. --- Programmation --- RISC microprocessors --- Programming --- Systèmes enfouis (Informatique) --- Embedded computer systems - Programming

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

#TS:WBIB --- Periodicals --- Embedded computer systems --- Systèmes enfouis (Informatique) --- Système imbriqué (Informatique) --- Engineering --- Electrical Engineering --- Electronics --- Embedded computer systems. --- embedded systems --- Embedded computer systems - Periodicals

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Embedded System Design: Modeling, Synthesis and Verification introduces a model-based approach to system level design. It presents modeling techniques for both computation and communication at different levels of abstraction, such as specification, transaction level and cycle-accurate level. It discusses synthesis methods for system level architectures, embedded software and hardware components. Using these methods, designers can develop applications with high level models, which are automatically translatable to low level implementations. This book, furthermore, describes simulation-based and formal verification methods that are essential for achieving design confidence. The book concludes with an overview of existing tools along with a design case study outlining the practice of embedded system design. Specifically, this book addresses the following topics in detail: . System modeling at different abstraction levels . Model-based system design . Hardware/Software codesign . Software and Hardware component synthesis . System verification This book is for groups within the embedded system community: students in courses on embedded systems, embedded application developers, system designers and managers, CAD tool developers, design automation, and system engineering.

Embedded computer systems --- Systèmes enfouis (Informatique) --- Design and construction. --- Conception et construction --- Eingebettetes System. --- Embedded systems --- Modellen (vorm) --- Programmatuurtechniek --- Design. --- Embedded systems. --- Modellen (vorm). --- Programmatuurtechniek. --- Systèmes enfouis (Informatique) --- EPUB-LIV-FT LIVINGEN SPRINGER-B

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

"L’électronique embarquée s’est imposée comme une discipline à part entière avec ses spécificités propres. Dans le domaine des transports, elle a su s’adapter aux contingences les plus critiques et aux cahiers des charges les plus exigeants de l’aéronautique, du ferroviaire, de l’automobile et du domaine spatial auquel cette troisième édition, par ailleurs entièrement mise à jour, consacre une partie totalement nouvelle. Cet ouvrage permet non seulement d’avoir une vision synthétique du secteur, mais donne aussi des revues détaillées de solutions, tant sur les aspects systèmes que sur les aspects composants ou logiciels. Il fait ressortir les similitudes, les différences et les perspectives d’évolution des transports automobile, aéronautique, ferroviaire et spatial à travers de nombreux exemples commentés." [Éditeur]

Systèmes enfouis (informatique) --- Systèmes électroniques --- Transport --- Systèmes enfouis (Informatique) --- Équipement électronique --- Systèmes embarqués (informatique) --- Systèmes de transport intelligent --- Systèmes de commande (vol) --- Aéronautique --- Transports ferroviaires --- Automobiles --- Vol spatial. --- Embedded computer systems --- Electronic systems --- Flight control --- Aeronautics --- Railroads --- Space flight --- Appareils et matériel --- Conception et construction --- Equipment and supplies --- Design and construction --- Systèmes électroniques. --- Systèmes de transport intelligent. --- Aéronautique. --- Transports ferroviaires. --- Automobiles. --- Appareils et matériel. --- Conception et construction. --- Intelligent transportation systems --- Transport - Équipement électronique