Embedded System Design: Modeling, Synthesis and Verification

Daniel D. Gajski, Samar Abdi, Andreas Gerstlauer, Gunar Schirner, "Embedded System Design: Modeling, Synthesis and Verification"
Springer | 2009-08-31 | ISBN: 1441905030 | 352 pages | PDF | 3,1 MB

Embedded System Design: Modeling, Synthesis and Verification introduces a model-based approach to system level design. It presents modeling techniques for both computation and communication at different levels of abstraction, such as specification, transaction level and cycle-accurate level. It discusses synthesis methods for system level architectures, embedded software and hardware components. Using these methods, designers can develop applications with high level models, which are automatically translatable to low level implementations. This book, furthermore, describes simulation-based and formal verification methods that are essential for achieving design confidence. The book concludes with an overview of existing tools along with a design case study outlining the practice of embedded system design. Specifically, this book addresses the following topics in detail:

. System modeling at different abstraction levels

. Model-based system design

. Hardware/Software codesign

. Software and Hardware component synthesis

. System verification

This book is for groups within the embedded system community: students in courses on embedded systems, embedded application developers, system designers and managers, CAD tool developers, design automation, and system engineering.

Download:
Link_1

Closed Circuit Television, Third Edition

Closed Circuit Television, Third Edition
Newnes | 2006-12-28 | ISBN: 0750681624 | 336 pages | PDF | 5,2 MB

Closed Circuit Television (CCTV) surveillance remains a growing industry in response to increased security threats, and whilst new developments have brought clearer images, digital recording and high speed data transmission, effective security systems still rely upon proper specification and installation by engineers with an in depth knowledge of CCTV principles and technology.

The third edition of Closed Circuit Television provides a thorough technical guide for all those involved in the design, specification, installation and maintenance of CCTV systems. Fully dual-standard for PAL and NTSC systems, the book covers the essential equipment and topics of relevance to practitioners, managers and students on vocational and industry training courses. Extended coverage of flat screen devices, digital recording, and a new chapter on networking principles, bring this popular guide up to date with the latest developments in the field.

Joe Cieszynski is a well-known technical writer with a wealth of experience in the security industry. After many years of college lecturing on TV, video and security topics, he currently acts as City & Guilds' Chief Examiner for security systems and provides independent CCTV system consultancy.

*Demystifies CCTV technology for installers and managers
*Concise, accessible text ideal for hard-pressed practitioners and students
*Fully dual-standard coverage for PAL and NTSC based systems

Download:
Link_1

Grid Computing For Developers

Vladimir Silva, Grid Computing For Developers
Charles River | ISBN: 1584504242 | 2005 | PDF | 576 pages | 3.09 MB

Learn the Future of Computing Today! Many industry analysts believe that Grid computing will be the next big wave in technology. It is so promising that major technology companies such as IBN, Microsoft, Oracle, and Sun are allocating significant quantities of resources for Grid research and development. A Developer’s Guide to Grid Computing explores the evolution of Grid computing from the early distributed computer paradigm to the modern Grid environments. Most of today’s Grid environments will be examined including OGSA, Resource Managers, and MPI. The book also explores today’s de facto standards for Grid computing including a comprehensive guide to the Globus Toolkit for developers covering installation, system administration, development guides for Grid services, open Grid services architectures for WSRF, commodity Grid kits for Java, Perl, and OGSA-C, and performance evaluation tests. A significant amount of source code samples accompanies each chapter. A Developers Guide to Grid Computing is an ideal resource for computer scientists and researches, graduate students, and IT professionals looking to further expand their Grid Computing skills.

Download:
Link_1

Introduction to Microprocessors and Microcontrollers

Assuming only a general science education this book introduces the workings of the microprocessor, its applications, and programming in assembler and high level languages such as C and Java. Practical work and knowledge-check questions contribute to building a thorough understanding with a practical focus. The book concludes with a step-by-step walk through a project based on the PIC microcontroller. The concise but clearly written text makes this an ideal book for electronics and IT students and a wide range of technicians and engineers, including IT systems support staff, and maintenance / service engineers.

*Crisp's conversational style introduces the fundamentals of the micro (microprocessors, microcontrollers, systems on a chip) in a way that is utterly painless but technically spot-on: the talent of a true teacher.
*Microprocessors and microcontrollers are covered in one book, reflecting the importance of embedded systems in today's computerised world.
*Practical work and knowledge-check questions support a lively text to build a firm understanding of the subject.

Download:
Link_1

Computer busses

Computer busses by William Buchanan
Publisher: Elsevier (March 27, 2000) | 624 Pages | ISBN: 0340740760 | PDF | 4.2 MB

As more and more equipment is interface or 'bus' driven, either by the use of controllers or directly from PCs, the question of which bus to use is becoming increasingly important both in industry and in the office. "Computer Busses" has been designed to help choose the best type of bus for the particular application. There are several books which cover individual busses, but none which provide a complete guide to computer busses. The author provides a basic theory of busses and draws examples and applications from real bus case studies. Busses are analysed using from a top-down approach, helping the undergraduate electrical or computer engineer to chose the right type of bus for their particular application. This book is essential reading for students of software engineering and electronic design, as well as for those working in disciplines such as production engineering or process control. It will also be a handy reference book for professional engineers, systems designers, consultants and those working in technical support. It provides a complete guide to computer busses. It contains application-specific programme examples, and plenty of real-life case studies.

Download:
Link_1