Subcategories

Embedded System Design, 2nd Edition, 2006

Posted By: cathome
Embedded System Design, 2nd Edition, 2006


Embedded System Design, 2nd Edition


Author: Peter Marwedel, University of Dortmund
Publisher: Springer
Pages: 258 pages
Edition: 2nd Edition, 2006
ISBN: 0-387-29237-3
Format: PDF


Book Info

Embedded systems can be defined as information processing systems embedded into enclosing products such as cars, telecommunication or fabrication equipment. Such systems come with a large number of common characteristics, including real-time constraints, and dependability as well as efficiency requirements. Following the success of information technology (IT) for office and workflow applications, embedded systems are considered to be the most important application area of IT during the coming years. This importance of embedded systems is so far not well reflected in many of the current curricula. Embedded System Design is intended as an aid for changing this situation. It provides the material for a first course on embedded systems, but can also be used by PhD students and professors. A key goal of this book is to provide an overview of embedded system design and to relate the most important topics in embedded system design to each other. It should help to motivate students as well as professors to put more emphasis on education in embedded systems. In order to facilitate teaching from this book, slides, exercises and other related material can be downloaded from this web page.

Contents

* Preface. Acknowledgements.
* 1: Introduction. 1.1. Terms and scope. 1.2. Application areas. 1.3. Growing importance of embedded systems. 1.4. Structure of this book.
* 2: Specifications. 2.1. Requirements. 2.2. Models of computation. 2.3. StateCharts. 2.4. General language characteristics. 2.5. SDL. 2.6. Petri nets. 2.7. Message Sequence Charts. 2.8. UML. 2.9. Process networks. 2.10. Java. 2.11. VHDL. 2.12. SystemC. 2.13.Verilog and System Verilog. 2.14. SpecC. 2.15. Additional languages. 2.16. Levels of hardware modeling. 2.17. Language comparison. 2.18. Dependability requirements.
* 3: Embedded system hardware. 3.1. Introduction. 3.2. Input. 3.3. Communication. 3.4. Processing units. 3.5. Memories. 3.6. Output.
* 4: Embedded operating systems, middleware, and scheduling. 4.1. Prediction of execution times. 4.2. Scheduling in real-time systems. 4.3. Embedded operating systems. 4.4. Middleware.
* 5: Implementing embedded systems: hardware/software codesign. 5.1. Task level concurrency management. 5.2. High-level optimizations. 5.3. Hardware/software partitioning. 5.4. Compilers for embedded systems. 5.5. Voltage scaling and power management. 5.6. Actual design flows and tools.
* 6: Validation. 6.1. Introduction. 6.2. Simulation. 6.3. Rapid prototyping and emulation. 6.4. Test. 6.5. Fault simulation. 6.6. Fault injection. 6.7. Risk- and dependability analysis. 6.8. Formal verification.
* Bibliography. About the Author. List of Figures. Index.


Download (RAR, 1.50MB): http://rapidshare.de/files/21559538/SESD.rar
Password: cathome



MICROCONTROLLER BOOKS

Trevor Matrin, The Insider's Guide To The Philips ARM7-Based Microcontrollers
http://rapidshare.de/files/20477117/igarmuc.rar

Andy Lindsay, What's a Microcontroller?
http://rapidshare.de/files/19705472/WaM.rar

Embedded System Design Using 8031 Microcontrollers
http://rapidshare.de/files/8261143/8031.pdf

John Iovine, PIC Robotics: A Beginner’s Guide to Robotics Projects Using the PIC Microcontroller
http://rapidshare.de/files/8261577/PIC.Robo.zip

Scott MacKenzie, The 8051 Microprocessor - 2nd Edition
http://rapidshare.de/files/8520967/8051SMcK.pdf

The Final Word on the 8051 Microcontroller
http://rapidshare.de/files/8520880/8051T.rar

Nigel Gardner, PIC C: An Introduction to Programming the Microchip PIC in C
http://rapidshare.de/files/8522221/PICC.rar

Stuart R. Ball, Analog Interfacing To Embedded Microprocessors: Real World Design
http://rapidshare.de/files/13738670/aieuP.rar

G. Jack Lipovski, Single and Multi-Chip Microcontroller Interfacing: For the Motorola 68HC12
http://rapidshare.de/files/13743917/uCinterf.rar



ELECTRONICS MAGAZINES

Circuit Cellar Magazines
http://rapidshare.de/files/8111617/cc182.rar
http://rapidshare.de/files/8115080/cc183.rar
http://rapidshare.de/files/8111685/cc184.zip
http://rapidshare.de/files/8521986/cc185.rar
http://rapidshare.de/files/19557227/cc190.rar
http://rapidshare.de/files/21047288/cc191.rar

Everyday Practical Electronics, January 2006
http://rapidshare.de/files/10986363/Eve350106.rar

Servo Magazine, May 2006
http://rapidshare.de/files/21055111/srv56.rar

Servo Magazine, April 2006
http://rapidshare.de/files/16907279/srv64.rar

Servo Magazine, March 2006
http://rapidshare.de/files/16948595/srv36.rar

Servo Magazine, February 2006
http://rapidshare.de/files/16949353/srv26.rar

Elektor Magazine, May 2006
http://rapidshare.de/files/21050396/ekmy06.rar



SIGNAL PROCESSING & COMMS BOOKS

Kahrs & Brandenburg, Applications of Digital Signal Processing to Audio and Acoustics
http://rapidshare.de/files/20475153/dspa.rar

Ifeachor & Jervis - Digital Signal Processing - A Practical Approach 2E
http://rapidshare.de/files/16268481/IJSP.2E.part1.rar
http://rapidshare.de/files/16341607/IJSP.2E.part2.rar
http://rapidshare.de/files/16344072/IJSP.2E.part3.rar

Glover & Grant, Digital Communications
http://rapidshare.de/files/16347191/glovergrant.rar

Michael Purser, Introduction to Error-Correcting Codes
http://rapidshare.de/files/11508316/purser.rar

Peebles, Peyton Z. Jr., Digital Communication Systems, 1st Edition
http://rapidshare.de/files/13812501/DCS.rar

Proakis, Digital Signal Processing: Principles, Algorithms and Applications, 3rd Edition
http://rapidshare.de/files/13740729/proak3.rar

Proakis, Digital Signal Processing - Solution Manual
http://rapidshare.de/files/14859428/Pro_DSP_Sol.rar

Simulation of Communication Systems : Modeling, Methodology and Techniques, 2nd Edition
http://rapidshare.de/files/13741482/SCS.rar

Wang, Ostermann, Zhang, Video Processing and Communications
http://rapidshare.de/files/13745470/VP_C.rar

Bruce E. Elbert, The Satellite Communication Applications Handbook, 2nd Edition
http://rapidshare.de/files/16951681/satelbert.rar

Steve Hranilovic, Wireless Optical Communication Systems
http://rapidshare.de/files/19707127/wocs.rar



IMAGE PROCESSING & COMPRESSION BOOKS

Iain E. G. Richardson, H.264 and MPEG-4 Video Compression - Video Coding for Next-generation Multimedia
http://rapidshare.de/files/11506888/H64.rar

Image and Video Compression for Multimedia Engineering: Fundamentals, Algorithms, and Standards
http://rapidshare.de/files/11508235/ivc.rar

Rao, The Transform and Data Compression Handbook
http://rapidshare.de/files/11508365/rao.rar

Raymond Westwater, Borko Furht, Real-Time Video Compression: Techniques and Algorithms
http://rapidshare.de/files/11508384/rtvc.rar

David Salomon, Data Compression: The Complete Reference, 3rd Edition
http://rapidshare.de/files/11508415/sal.rar



PROGRAMMING

Numerical Recipies in C
http://rapidshare.de/files/8237349/NRC1992.rar

Numerical Recipies in C - The Full Source Code!
http://rapidshare.de/files/16433848/NRCSrcC.rar

John Ayres, The Tomes of Delphi, Win32 Core API, Windows 2000 Edition
http://rapidshare.de/files/13903857/Del.rar



VHDL, Verilog & DIGITAL ELECTRONICS BOOKS

Jan Axelson, Parallel Port Complete: Programming, Interfacing & Using the PC'S Parallel Printer Port
http://rapidshare.de/files/19708972/ppcpi.rar

Uwe Meyer-Baese, Digital Signal Processing With Field Programmable Gate Arrays
http://rapidshare.de/files/11508108/dsfp.rar

D. Naylor, S. Jones, VHDL: A Logic Synthesis Approach
http://rapidshare.de/files/11508279/lsa.rar

Ben Cohen, VHDL Coding Styles and Methodologies, 1st Edition
http://rapidshare.de/files/11508458/vcsm.rar

IEEE VHDL Interactive Tutorial
http://rapidshare.de/files/11508478/vhtut.rar

Wireless Communication Technologies: New Multimedia Systems
http://rapidshare.de/files/11508513/wms.rar

Douglas L. Perry, VHDL Programming By Example, 4th Edition
http://rapidshare.de/files/11510979/dp.rar

Samir Palnitkar, Verilog HDL: A Guide to Digital Design and Synthesis
http://rapidshare.de/files/13746994/vrlg.rar


<b>PASSWORD for ALL:</b> cathome



Enjoy!