THE BIG SALE IS ON! TELL ME MORE

Close Notification

Your cart does not contain any items

$112.95

Hardback

Not in-store but you can order this
How long will it take?

QTY:

English
Morgan Kaufmann Publishers In
29 May 2009
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.

By:  
Imprint:   Morgan Kaufmann Publishers In
Country of Publication:   United States
Dimensions:   Height: 235mm,  Width: 191mm,  Spine: 23mm
Weight:   790g
ISBN:   9780123742308
ISBN 10:   0123742307
Pages:   272
Publication Date:  
Audience:   Professional and scholarly ,  Undergraduate
Format:   Hardback
Publisher's Status:   Active

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.

Reviews for Embedded Systems and Software Validation

'If I had the power to do so, I would make this book compulsory reading for all who exercise political power in our world today! Instead, I will keep my fingers crossed that it will be read by as many members of Congress and of the current US administration as possible, and by a wide cross-section of policy analysts, diplomats, academics and human rights defenders.'-Mary Robinson, Former UN High Commissioner for Human Rights; 'This contains much useful analysis for advanced undergraduates and postgraduates studying US foreign policy. Given the topicality of the subject matter, there are few directly competing books.'-Fraser Cameron, EU Policy Centre, Brussels; 'This book contains specialized material that might be useful to advanced fourth year undergraduates preparing research papers and would be useful to postgraduates and students in law schools (or equivalent) and public affairs schools. It would be highly useful to researchers on United States government policy in relation to multinational cooperation and to literate policy makers. I know of no text that deals with US policy in the way this book does.'-Emeritus Professor Leon Gordenker; 'Perhaps because it reflects a longer gestation, this book collects some of the most provocative and thoughtful reflections on the world after September 11th to have come out of the academy since that fateful day. It encompasses a uniquely wide spectrum of opinion


See Also