Embedded Systems and Software Validation (Morgan Kaufmann Series in Systems on Silicon)

0 avg rating
( 0 ratings by GoodReads )
 
9780123742308: Embedded Systems and Software Validation (Morgan Kaufmann Series in Systems on Silicon)

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" may belong to another edition of this title.

From the Back Cover:

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?

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.

"About this title" may belong to another edition of this title.

Buy New View Book
List Price: US$ 92.95
US$ 25.71

Convert Currency

Shipping: US$ 7.62
From United Kingdom to U.S.A.

Destination, Rates & Speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

Roychoudhury M.S. and Ph.D. in Computer Science from the State University of New York at Stony Brook, Abhik
Published by Morgan Kaufmann 2009-07-24 (2009)
ISBN 10: 0123742307 ISBN 13: 9780123742308
New Hardcover Quantity Available: 1
Seller
Hay-on-Wye Booksellers
(Hay-on-Wye, HEREF, United Kingdom)
Rating
[?]

Book Description Morgan Kaufmann 2009-07-24, 2009. Hardcover. Book Condition: New. Hardcover. Bookseller Inventory # 82363

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 25.71
Convert Currency

Add to Basket

Shipping: US$ 7.62
From United Kingdom to U.S.A.
Destination, Rates & Speeds

2.

Roychoudhury M.S. and Ph.D. in Computer Science from the State University of New York at Stony Brook, Abhik
Published by Morgan Kaufmann 2009-06-12 (2009)
ISBN 10: 0123742307 ISBN 13: 9780123742308
New Hardcover Quantity Available: 1
Seller
Lost Books
(AUSTIN, TX, U.S.A.)
Rating
[?]

Book Description Morgan Kaufmann 2009-06-12, 2009. Hardcover. Book Condition: New. 1. 0123742307. Bookseller Inventory # 682018

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 43.52
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

3.

Roychoudhury M.S. and Ph.D. in Computer Science from the State University of New York at Stony Brook, Abhik
Published by Morgan Kaufmann (2009)
ISBN 10: 0123742307 ISBN 13: 9780123742308
New Hardcover Quantity Available: 1
Seller
Irish Booksellers
(Rumford, ME, U.S.A.)
Rating
[?]

Book Description Morgan Kaufmann, 2009. Hardcover. Book Condition: New. book. Bookseller Inventory # 0123742307

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 47.81
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

4.

Roychoudhury M.S. and Ph.D. in Computer Science from the State University of New York at Stony Brook, Abhik
Published by U.S.A.: Morgan Kaufmann (2009)
ISBN 10: 0123742307 ISBN 13: 9780123742308
New Hardcover First Edition Quantity Available: 2
Seller
global book store
(Spring, TX, U.S.A.)
Rating
[?]

Book Description U.S.A.: Morgan Kaufmann, 2009. Hardcover. Book Condition: New. 1st Edition. ***Absolutely Brand New Textbook***. We sell only brand new textbook. ~Perfect US Edition Textbook~. All orders ship out same or next business day. We do not ship to APO/FPO address. We usually ship the textbook via DHL. FedEx or UPS express; your textbook will arrive within 3-5 Bus days to US and Canada via DHL express, 4-6 days to EU and Asia countries. Ship from Multiple Locations, including LA/US, EU, ASIA. We may ship the books from Multiple Locations for inventory purpose. Bookseller Inventory # 07d619780123742308

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 39.00
Convert Currency

Add to Basket

Shipping: US$ 10.00
Within U.S.A.
Destination, Rates & Speeds

5.

Roychoudhury M.S. and Ph.D. in Computer Science from the State University of New York at Stony Brook, Abhik
Published by ELSEVIER SCIENCE TECHNOLOGY, United States (2009)
ISBN 10: 0123742307 ISBN 13: 9780123742308
New Hardcover Quantity Available: 1
Seller
The Book Depository US
(London, United Kingdom)
Rating
[?]

Book Description ELSEVIER SCIENCE TECHNOLOGY, United States, 2009. Hardback. Book Condition: New. 236 x 192 mm. Language: English . Brand New Book. 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. Bookseller Inventory # AA59780123742308

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 57.01
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

6.

Roychoudhury M.S. and Ph.D. in Computer Science from the State University of New York at Stony Brook, Abhik
Published by ELSEVIER SCIENCE TECHNOLOGY, United States (2009)
ISBN 10: 0123742307 ISBN 13: 9780123742308
New Hardcover Quantity Available: 1
Seller
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description ELSEVIER SCIENCE TECHNOLOGY, United States, 2009. Hardback. Book Condition: New. 236 x 192 mm. Language: English . Brand New Book. 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. It 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. This book: integrates formal techniques of validation for hardware/software with debugging and validation of embedded system design flows; and, 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?. Bookseller Inventory # AA59780123742308

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 58.81
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

7.

Roychoudhury M.S. and Ph.D. in Computer Science from the State University of New York at Stony Brook, Abhik
Published by Saint Louis, Missouri, U.S.A.: Morgan Kaufmann Pub (2009)
ISBN 10: 0123742307 ISBN 13: 9780123742308
New Hardcover Quantity Available: 5
Seller
LINDABOOK
(Taipei, TP, Taiwan)
Rating
[?]

Book Description Saint Louis, Missouri, U.S.A.: Morgan Kaufmann Pub, 2009. Hardcover. Book Condition: New. Ship out 1-2 business day,Brand new,US edition, Free tracking number usually 2-4 biz days delivery to worldwide Same shipping fee with US, Canada,Europe country, Australia, item will ship out from either LA or Asia. Bookseller Inventory # ABE-8914540540

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 60.68
Convert Currency

Add to Basket

Shipping: US$ 9.90
From Taiwan to U.S.A.
Destination, Rates & Speeds

8.

Roychoudhury M.S. and Ph.D. in Computer Science from the State University of New York at Stony Brook, Abhik
Published by Elsevier Science & Technology 2009-07-08, San Francisco (2009)
ISBN 10: 0123742307 ISBN 13: 9780123742308
New Hardcover Quantity Available: 1
Seller
Blackwell's
(Oxford, OX, United Kingdom)
Rating
[?]

Book Description Elsevier Science & Technology 2009-07-08, San Francisco, 2009. hardback. Book Condition: New. Bookseller Inventory # 9780123742308

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 66.55
Convert Currency

Add to Basket

Shipping: US$ 5.62
From United Kingdom to U.S.A.
Destination, Rates & Speeds

9.

Roychoudhury M.S. and Ph.D. in Computer Science from the State University of New York at Stony Brook, Abhik
Published by Morgan Kaufmann (2009)
ISBN 10: 0123742307 ISBN 13: 9780123742308
New Hardcover Quantity Available: 1
Seller
Rating
[?]

Book Description Morgan Kaufmann, 2009. Book Condition: New. Bookseller Inventory # L9780123742308

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 70.96
Convert Currency

Add to Basket

Shipping: US$ 5.27
From Germany to U.S.A.
Destination, Rates & Speeds

10.

Roychoudhury M.S. and Ph.D. in Computer Science from the State University of New York at Stony Brook, Abhik
Published by Morgan Kaufmann Pub (2009)
ISBN 10: 0123742307 ISBN 13: 9780123742308
New Hardcover Quantity Available: 2
Seller
Revaluation Books
(Exeter, United Kingdom)
Rating
[?]

Book Description Morgan Kaufmann Pub, 2009. Hardcover. Book Condition: Brand New. 1st edition. 272 pages. 9.30x7.70x1.00 inches. In Stock. Bookseller Inventory # __0123742307

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 70.78
Convert Currency

Add to Basket

Shipping: US$ 7.49
From United Kingdom to U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book