The Good, the Bad, and the Hungry Sale
 
 

Recently Viewed clear list


Original Essays | June 20, 2014

Lisa Howorth: IMG So Many Books, So Many Writers



I'm not a bookseller, but I'm married to one, and Square Books is a family. And we all know about families and how hard it is to disassociate... Continue »

spacer

On Order

$102.25
New Hardcover
Currently out of stock.
Add to Wishlist
available for shipping or prepaid pickup only
Qty Store Section
- Local Warehouse Personal Computers- General

Embedded Systems and Software Validation

by

Embedded Systems and Software Validation Cover

 

Synopses & Reviews

Publisher Comments:

Roychoudhury offers readers practical debugging and validation techniques for the entire life cycle of embedded systems design.

Modern embedded systems are a part of every modern electronic device, ranging from toys to traffic lights to nuclear power plant controllers. These processors help run factories, manage weapons systems, and enable the worldwide flow of information, products, and people. Unlike other computer systems such as those that operate personal computers, embedded systems must typically run error-free for years or even decades with little or no opportunity to reboot the system or fix problems. In addition, they 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, and scheduling, leads to a large number of design possibilities, making performance debugging and validation of such systems a difficult problem and an imperative issue. Roychoudhury guides readers through a host of debugging and verification methods critical to providing reliable software and systems applications. All the major abstraction levels of embedded systems design are covered. Readers will find practical information including:

  • Complete coverage of the major abstraction levels, from software analysis and microarchitectural modeling to modeling of resource sharing and communication at the system level.

  • Integration of formal validation techniques for hardware/software with debugging and validation of embedded system design flows.

Real-world 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? Once these 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.

Synopsis:

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:

Practical debugging and validation techniques for the entire embedded systems design lifecyle

About the Author

Abhik received his M.S. and Ph.D. in Computer Science from the State University of New York at Stony Brook in 1997 and 2000 respectively. His research has focused on formal verification and analysis methods for system design, with focus on embedded software and systems. In these areas, his research group has been involved in building practical program analysis and software productivity tools which enhance software quality as well as programmer productivity. Two meaningful examples of such endeavor are the JSlice dynamic analysis tool for Java program debugging, and the Chronos static analysis tool for ensuring time-predictable execution of embedded software. His awards include a 2008 IBM Faculty Award. Since 2001, Abhik has been at the School of Computing in the National University of Singapore, where he is currently an Associate Professor.

Associate Professor, National University of Singapore

Table of Contents

  1. Introduction
  2. Model Validation
  3. Communication Validation
  4. Performance Validation
  5. Functionality Validation

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
Subject:
Electricity
Subject:
Personal Computers-General
Edition Description:
Hardcover
Series:
Morgan Kaufmann Series in Systems on Silicon
Publication Date:
20090631
Binding:
HARDCOVER
Language:
English
Illustrations:
Y
Pages:
272
Dimensions:
9.25 x 7.5 in

Related Subjects

Computers and Internet » Computer Architecture » Embedded Systems
Computers and Internet » Computer Architecture » General
Computers and Internet » Computers Reference » General
Computers and Internet » Database » Design
Computers and Internet » Personal Computers » General
Computers and Internet » Software Engineering » General
Engineering » Communications » Telephony
Health and Self-Help » Health and Medicine » Medical Specialties
Reference » Science Reference » Technology
Science and Mathematics » Electricity » General Electricity

Embedded Systems and Software Validation New Hardcover
0 stars - 0 reviews
$102.25 Backorder
Product details 272 pages Morgan Kaufmann Publishers - English 9780123742308 Reviews:
"Synopsis" by , 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.
"Synopsis" by , 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" by , Practical debugging and validation techniques for the entire embedded systems design lifecyle
spacer
spacer
  • back to top
Follow us on...




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 gifts — here at Powells.com.