ARM, RISC-V контроллеры

Хорошая подборка книг по embedded тематике. Первая часть. **************************************************************************** === Programmable Controllers. Theory and Implementation. Second Edition. === **************************************************************************** Хорошая обзорная книжка по PLC. Programmable Controllers. Theory and Implementation. Second Edition. L.A. Bryan, E.A. Bryan Качать: (4.6 Мбайт) http://rapidshare. …24298/Logic_p.rar.html Пароль: без пароля Источник информации: http://www.avaxhom …ish/matlab_ebooks.html /////////////////////////////////////////////////////////////////////////////// ********************************************* === The Art Of Designing Embedded Systems === ********************************************* Publisher: Newnes Language: English ISBN: 0750698691 Качать: (17 Мбайт) http://rapidshare. …d_Systems_MAZ.rar.html Пароль: без пароля Источник информации: http://www.avaxhom …ystems_0750698691.html /////////////////////////////////////////////////////////////////////////////// *************************** === Z80 Book collection === *************************** Качать: http://rapidshare. …ection.part01.rar.html 23.84 MB http://rapidshare. …ection.part02.rar.html 23.84 MB http://rapidshare. …ection.part03.rar.html 23.84 MB http://rapidshare. …ection.part04.rar.html 23.84 MB http://rapidshare. …ection.part05.rar.html 23.84 MB http://rapidshare. …ection.part06.rar.html 23.84 MB http://rapidshare. …ection.part07.rar.html 23.84 MB http://rapidshare. …ection.part08.rar.html 23.84 MB http://rapidshare. …ection.part09.rar.html 11.73 MB Пароль: без пароля Источник информации: http://www.avaxhom …nglish/_z80_books.html /////////////////////////////////////////////////////////////////////////////// *********************************************************************************** === Abstract State Machines: A Method for High-Level System Design and Analysis === *********************************************************************************** Egon Boerger, Robert Staerk, "Abstract State Machines: A Method for High-Level System Design and Analysis" Springer | ISBN 3540007024 | 2003 Year | PDF | 2 Mb | 438 Pages Качать: (2 Мбайт) http://rapidshare. …17800/EBorger.rar.html Пароль: www.AvaxHome.ru The systems engineering method proposed in this book, which is based on Abstract State Machines (ASMs), guides the development of software and embedded hardware-software systems seamlessly from requirements capture to actual implementation and documentation. The method bridges the gap between the human understanding and formulation of real-world problems and the deployment of their algorithmic solutions by code-executing machines. Within a single conceptual framework it covers design, verification by reasoning techniques, and validation by simulation and testing. ASMs improve current industrial practice by using accurate high-level modeling and by linking the descriptions at the successive stages of system development in an organic and efficiently maintainable chain of rigorous and coherent system models at stepwise-refined abstraction levels. In several industrial projects the ASM method has proven its superiority compared to the popular UML methodology when designing complex parallel or dynamic systems. This book combines the features of a textbook and a handbook: the reader will find detailed explanations, proofs, and exercises as well as numerous examples and real-world case studies. Researchers will find here the most comprehensive description of ASMs available today and professionals will use it as a "modeling handbook for the working software engineer." As a textbook it supports self-study or it can form the basis of a lecture course. The book is complemented by a CD containing the whole book text, additional course material, solutions to exercises, and additional examples. Even more information can be found on the related website maintained by the authors: http://www.di.unipi.it/AsmBook/ Источник информации: http://www.avaxhom …ct_state_machines.html /////////////////////////////////////////////////////////////////////////////// ****************************************** === Image Porcessing In C, 2nd edition === ****************************************** Качать: (5.7 Мбайт, без пароля) http://rapidshare. …48/imagewithC.rar.html This book is a tutorial in image processing. Each chapter explain basic concept with words and figures, shows image processing results with photographs, and implements the opreations in C programing language. All C source codes included with in the RAR file with the book. Источник информации: http://www.avaxhom …ebooks/image_in_c.html /////////////////////////////////////////////////////////////////////////////// ******************************************************************************************* === Functional Verification of Programmable Embedded Architectures: A Top-Down Approach === ******************************************************************************************* Prabhat Mishra, Nikil D. Dutt, "Functional Verification of Programmable Embedded Architectures: A Top-Down Approach" Springer | ISBN 0387261435 | 2005 Year | PDF | 7,64 Mb | 180 Pages Качать: (7.8 Мбайт) http://rapidshare. …11836/PMishra.rar.html Пароль: www.AvaxHome.ru Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current System-on-Chip design methodology. A critical challenge in validation of such systems is the lack of a golden reference model. As a result, many existing validation techniques employ a bottom-up approach to design verification, where the functionality of an existing architecture is, in essence, reverse-engineered from its implementation. Traditional validation techniques employ different reference models depending on the abstraction level and verification task, resulting in potential inconsistencies between multiple reference models. This book presents a top-down validation methodology that complements the existing bottom-up approaches. It leverages the system architect’s knowledge about the behavior of the design through architecture specification using an Architecture Description Language (ADL). The authors also address two fundamental challenges in functional verification: lack of a golden reference model, and lack of a comprehensive functional coverage metric. Functional Verification of Programmable Embedded Architectures: A Top-Down Approach is designed for students, researchers, CAD tool developers, designers, and managers interested in the development of tools, techniques and methodologies for system-level design, microprocessor validation, design space exploration and functional verification of embedded systems. Источник информации: http://www.avaxhom …onal_verification.html /////////////////////////////////////////////////////////////////////////////// ********************************* === Testing Embedded Software === ********************************* Addison Wesley | ISBN 0321159861 | 2002 Year | PDF | 1.93 MB | 320 Pages Качать: (1.5 Мбайт) http://rapidshare. …dded_Software.rar.html Пароль: 5n7p3r ‘This book will be a particularly useful addition to the library of those involved in the testing of embedded software. The authors have correctly identified a gap in the market and provide an eminently practical introduction to the area.’ Stuart Reid, Cranfield University ‘This is a long awaited book. It brings the discipline of IT systems to the embedded development environment and complements it with many testing techniques, specifically needed for this environment.’ Otto Vinter, Independent software engineering mentor, Denmark Embedded systems are everywhere. Modern appliances from TVs to mobile phones cannot function without them. Embedded software has become a vital part of a growing range of automotive, aerospace, biomedical and military systems. As many of these applications are potentially life-threatening, the need for rigorous software testing has never been more compelling. This book provides a comprehensive and practical overview of testing strategies for embedded software. Highlights of the book include: An in-depth treatment of test design techniques that can be directly applied in your projects Detailed descriptions of roles, tasks and responsibilities with organisational structures to help you to establish a professional test organisation Practical advice on testing that works even when time and resources are limited. Testing Embedded Software is an invaluable guidebook for test engineers, programmers, project managers and team leaders in the embedded systems industry. It is the first book to provide a complete, in-depth overview of embedded systems testing. Источник информации: http://www.avaxhom …embedded_software.html /////////////////////////////////////////////////////////////////////////////// *********************************************** ===== USB Complete. !!! Third Edition !!!.===== *********************************************** USB Complete : Everything You Need to Develop Custom USB Peripherals Jan Axelson | 2005 | PDF | ISBN: 1-931448-02-7 | 5,20 mb | 572 Pages Качасть (без пароля, 5.5 Мбайт) http://rapidshare. …USB_Complete_.rar.html Источник информации http://www.avaxhom …ooks/usb_complete.html ///////////////////////////////////////////////////////////////////////////////