shopping cart
Save up to 30% on our Staff Picks
Call us: 800-878-7323 HELP
McAfee SECURE helps keep you safe from identity theft, credit card fraud, spyware, spam, viruses and online scams.
Guests | December 7, 2009

Theodore Gray: IMG The Cornucopia of Home Science

1 comment By Theodore Gray

Reading old books of science experiments for children, it's easy to become nostalgic for the days when you could buy jugs of sulfur and mercury at... Continue »
  1. $20.96 Sale Hardcover add to wish list

    The Elements: A Visual Exploration of Every Known Atom in the Universe

    Theodore Gray
Ships free on qualified orders.
Add to Cart
$78.75
List price: $83.25
New Hardcover
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
13 Remote Warehouse Electricity- General Electricity
Used Book Alert Receive an email when this ISBN is available used.

More copies of this ISBN:

This title in other formats:

Other titles in the Morgan Kaufmann Series in Systems on Silicon series:

  1. ASIC and FPGA Verification: A Guide to Component Modeling
  2. Customizable Embedded Processors: Design Technologies and Applications
  3. Designers Guide To VHDL 3RD Edition
  4. Designing Socs with Configured Cores: Unleashing the Tensilica Xtensa and Diamond Cores
  5. Electronic Design Automation: Synthesis, Verification, and Test (Systems on Silicon)
  6. Low-Power Design of Nanometer FPGAs: Architecture and EDA
  7. Modeling Embedded Systems and Soc's: Concurrency and Time in Models of Computation
  8. Multiprocessor Systems-On-Chips
  9. Network Processors: Architecture, Programming, and Implementation
  10. Networks on Chips: Technology and Tools
  11. On-Chip Communication Architectures: System on Chip Interconnect (Systems on Silicon)
  12. Reconfigurable Computing: The Theory and Practice of FPGA-Based Computation (Systems on Silicon)
  13. Systems on Silicon #1: Processor Description Languages
  14. Systems on Silicon #2: Embedded DSP Processor Design: Application Specific Instruction Set Processors
  15. Verification Techniques for System-Level Design (Margan Kaufmann Series in Systems on Silicon)
  16. VLSI Test Principles and Architectures: Design for Testability

Embedded Systems and Software Validation

by Abhik Roychoudhury

Embedded Systems and Software Validation Cover

Synopses & Reviews

Publisher Comments:

Modern embedded systems require high performance, low cost and low power consumption. Such systems typically consist of a heterogeneous collection of processors, specialized memory subsystems, and partially programmable or fixed-function components. This heterogeneity, coupled with issues such as hardware/software partitioning, mapping, scheduling, etc., leads to a large number of design possibilities, making performance debugging and validation of such systems a difficult problem.

Embedded systems are used to control safety critical applications such as flight control, automotive electronics and healthcare monitoring. Clearly, developing reliable software/systems for such applications is of utmost importance. This book describes a host of debugging and verification methods which can help to achieve this goal.

Covers the major abstraction levels of embedded systems design, starting from software analysis and micro-architectural modeling, to modeling of resource sharing and communication at the system level;

Integrates formal techniques of validation for hardware/software with debugging and validation of embedded system design flows;

Includes practical case studies to answer the questions: does a design meet its requirements, if not, then which parts of the system are responsible for the violation, and once they are identified, then how should the design be suitably modified?

Synopsis:

Developing reliable software/systems for such applications as flight control, automotive electronics, and healthcare monitoring is of utmost importance. This book describes a host of debugging and verification methods that can help to achieve this goal.
back to top
back to top

Product Details

ISBN:
9780123742308
Author:
Roychoudhury, Abhik
Publisher:
Morgan Kaufmann Publishers
Subject:
Computer Science
Subject:
Electronics - Microelectronics
Subject:
Systems Architecture - General
Subject:
Computer software -- Testing.
Subject:
Embedded computer systems
Subject:
Hardware - Mainframes & Minicomputers
Copyright:
2009
Edition Description:
Hardcover
Series:
Morgan Kaufmann Series in Systems on Silicon
Publication Date:
June 2009
Binding:
Hardcover
Language:
English
Illustrations:
Y
Pages:
254
Dimensions:
9.30x7.50x.90 in. 1.65 lbs.
back to top

Related Aisles

  • back to top

Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and eBooks — here at Powells.com.