Design for Debugging and Validation of Embedded Systems

By: Abhik Roychoudhury

Write A Review

Hardcover | 29 May 2009

At a Glance

Hardcover
272 Pages

Dimensions(cm)
23.5 x 19.05 x 1.91

Hardcover

RRP $158.95

$146.75

or 4 interest-free payments of $36.69 with

or

Ships in 5 to 7 business days

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?

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

More in Electronics & Communications Engineering

Streaming Series Transforming Television and its Cultural Practices

Televisual Culture

Hardcover

RRP $305.00

$263.75

14%
OFF

Next-Generation Technologies in Cloud Computing : From AI and Security to Sustainability - Bishwajeet Pandey

$155.75

Engineering Applications of AI for Demand Forecasting

Hardcover

RRP $263.00

$228.75

13%
OFF

Advanced Photonic Devices for Energy and Sensing Applications

Hardcover

RRP $368.00

$315.99

14%
OFF

With AI Towards Sustainable Building Structures

Hardcover

RRP $273.00

$236.99

13%
OFF

Control, Robotics and Sensors : Design, Control and Applications - Shaoping Bai

$59.75

Undersea Cables at the Top of the World

The Hidden Internet Routes of the High North

Paperback

RRP $71.50

$63.75

11%
OFF

Artificial Intelligence in Safety Science and Engineering

Paperback

RRP $441.95

$389.75

12%
OFF

Elements of Power Electronics - Giani Smith

$94.75

38%
OFF

iPhone For Seniors For Dummies, 2026 Edition

iPhone for Seniors For Dummies

Paperback

RRP $49.95

$34.99

30%
OFF

Digital SLR Cameras and Photography For Dummies

5th Edition

Paperback

RRP $57.95

$44.75

23%
OFF

Digital Minimalism

Choosing a Focused Life in a Noisy World

Paperback

RRP $26.99

$22.99

15%
OFF

Acknowledgments	p. ix
Preface	p. xi
Introduction	p. 1
Model Validation	p. 7
Platform versus System Behavior	p. 8
Criteria for Design Model	p. 10
Informal Requirements: A Case Study	p. 12
The Requirements Document	p. 13
Simplification of the Informal Requirements	p. 14
Common Modeling Notations	p. 16
Finite-State Machines	p. 16
Communicating FSMs	p. 20
Message Sequence Chart-Based Models	p. 27
Remarks about Modeling Notations	p. 37
Model Simulations	p. 39
FSM Simulations	p. 41
Simulating MSC-Based System Models	p. 46
Model-Based Testing	p. 50
Model Checking	p. 58
Property Specification	p. 58
Checking Procedure	p. 73
The SPIN Validation Tool	p. 82
The SMV Validation Tool	p. 86
Case Study: Air-Traffic Controller	p. 89
References	p. 91
Exercises	p. 93
Communication Validation	p. 95
Common Incompatibilities	p. 98
Sending/Receiving Signals in Different Order	p. 99
Handling a Different Signal Alphabet	p. 100
Mismatch in Data Format	p. 102
Mismatch in Data Rates	p. 105
Converter Synthesis	p. 106
Representing Native Protocols and Converters	p. 106
Basic Ideas for Converter Synthesis	p. 108
Various Strategies for Protocol Conversion	p. 115
Avoiding No-Progress Cycles	p. 116
Speculative Transmission to Avoid Deadlocks	p. 118
Changing a Working Design	p. 121
References	p. 122
Exercises	p. 123
Performance Validation	p. 125
The Conventional Abstraction of Time	p. 126
Predicting Execution Time of a Program	p. 131
WCET Calculation	p. 133
Modeling of Microarchitecture	p. 145
Interference with in a Processing Element	p. 154
Interrupts from Environment	p. 155
Contention and Preemption	p. 157
Sharing a Processor Cache	p. 161
System-Level Communication Analysis	p. 165
Designing Systems with Predictable Timing	p. 169
Scratchpad Memories	p. 169
Time-Triggered Communication	p. 174
Emerging Applications	p. 176
References	p. 177
Exercises	p. 177
Functionality Validation	p. 181
Dynamic or Trace-Based Checking	p. 184
Dynamic Slicing	p. 187
Fault Localization	p. 196
Directed Testing Methods	p. 203
Formal Verification	p. 207
Predicate Abstraction	p. 211
Software Checking via Predicate Abstraction	p. 218
Combining Formal Verification with Testing	p. 225
References	p. 229
Exercises	p. 230
Bibliography	p. 233
Index	p. 241
Table of Contents provided by Ingram. All Rights Reserved.

Design for Debugging and Validation of Embedded Systems

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Electronics & Communications Engineering

Streaming Series Transforming Television and its Cultural Practices

Televisual Culture

Next-Generation Technologies in Cloud Computing

From AI and Security to Sustainability

Electrical Wiring Practice

9th Edition

Engineering Applications of AI for Demand Forecasting

Advanced Photonic Devices for Energy and Sensing Applications

With AI Towards Sustainable Building Structures

Control, Robotics and Sensors

Design, Control and Applications

Trends in Advanced Unmanned Aerial Systems

Selected Contributions of ICAUAS 2025

Amusing Ourselves to Death

Public Discourse in the Age of Show Business

Satellites Over Snow

Arctic Space Systems and the Next Surveillance Arms Race

Undersea Cables at the Top of the World

The Hidden Internet Routes of the High North

Artificial Intelligence in Safety Science and Engineering

Elements of Power Electronics

Telecommunications

A Systems Approach

Power Electronics

Analysis and Design

Circuits and Systems

A Modern Approach

Digital Signal Processing

Theory, Practice and Applications

Modeling, Planning and Control of Robotics

Fundamentals of Robotics

Construction in the Age of Automation and Robotics

INCOSE Systems Engineering Handbook

5th Edition - A Guide for System Life Cycle Processes and Activities

iPhone For Seniors For Dummies, 2026 Edition

iPhone for Seniors For Dummies

Digital SLR Cameras and Photography For Dummies

5th Edition

Digital Minimalism

Choosing a Focused Life in a Noisy World

This product is categorised by