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!