CSE News and Announcements

Nov 09, 2009
Embedded System Design and Synthesis    Bookmark and Share

Description

Embedded systems are computers within other devices such as automobiles andmedical devices. This course will survey the field of real-time embeddedsystem design and synthesis and introduce open research topics in the automaticdesign of reliable, high-performance, low power consumption, inexpensiveembedded systems.

Required text: None

Reference texts

  • Wayne Wolf, "Computers as Components: Principles of EmbeddedComputing System Design", Morgan Kaufman, 2001.
  • Robert Dick, Multiobjective Synthesis of Low-Power Real-TimeDistributed Embedded Systems, Dept. of ElectricalEngineering, Ph.D. dissertation, Princeton University, 2002.
  • Numerous research papers and book chapters will beassigned. Students will write brief summaries of theassigned articles.

Course goals

Prepare students for research in embeddedsystem synthesis and design. Introduce real-time systemsand embedded operating systems basics. Complete originalprojects that may serve as foundations for further research.

Prerequisites

  • Knowledge of computer organization, e.g., EECS 470 (Computer Architecture) or EECS 370 (Introduction to Computer Organization) or EECS 373 (Design ofMicroprocessor Based Systems), similar course from another university, orsimilar experience and
  • Knowledge of computer programming and algorithm design, e.g., EECS 281(Data Structures and Algorithms), similar course from another university, orsimilar experience.

Please email the instructor if you are missing aprerequisite but believe your background might be sufficient.

Prerequisites by topics

  • Computer programming,
  • Algorithm analysis and design, and
  • Fundamentals of logic design and computer organization

Lecture topics

  1. Introduction to embedded systems
  2. Overview of heterogeneous multiprocessor system-on-chip design problem
  3. Models and languages
  4. Formal methods for designing reliable embedded systems
  5. Heterogeneous multiprocessor synthesis
  6. Reliability optimization
  7. Real-time systems
  8. Scheduling
  9. Compilation techniques for embedded systems
  10. Embedded operating systems
  11. Low-power and power-aware design
  12. Novel fabrication techniques for compact and low-power embedded systems
  13. Emerging applications (e.g., sensing and actuation intensive applications and user-aware computing)
  14. Hardware and software data compression for use in embedded systems
  15. Review and student presentations on short projects

Projects

Students will complete one small project and one main project. Theinstructor will propose a number of possible small project topics. Studentsmay select from among these or propose their own ideas. Small project reportsand presentations will be required. The main course project is often anextended version of the small project, but this is not required.

Exams: There will be a final exam covering the assignedreading.

Grading

  • Projects: 50%
  • Presentations: 25%
  • Literature summaries: 10%
  • Exams: 15%
   [More Info]
 
EECS News by Topic
EECS News by Faculty Name
CSE in the News 
06/19/13 Wellman: Bloomberg - Sudden Stock Crashes Usually Caused by Human Error, SEC Says
06/18/13 Cafarella: Salon - Netflix, Facebook and the NSA: Theyre all in it together
06/18/13 Wellman: TechCrunch - Trading Faster Than The Speed Of Reality
06/18/13 Halderman: Washington Post - NSA-proof encryption exists. Why doesnt anyone use it?
06/14/13 Fu: The Wall Street Journal - Potential Cyberattacks on Implanted Medical Devices ...
06/13/13 Fu: Washington Post: FDA, facing cybersecurity threats, tightens medical-device st...

CSE Research News 
06/18/13 Researchers Show That High-Frequency Trading Tactic Lowers Investor Profits
05/31/13 Researchers Work Recognized Amongst Notable Computing Books and Articles of 2012
05/28/13 Fourth Annual Data Mining Workshop Brings Together Close to 200 Researchers
05/17/13 Security Risks Found in Sensors for Heart Devices, Consumer Electronics
05/10/13 Workshop Brings Together Industry and Researchers on Medical Device Security Chall...
05/10/13 Researchers Develop Tools to Better Leverage Tweets in Spotting Trends

CSE News 
04/05/13 Prospective Grad Students Show High Level of Interest in CSE
04/03/13 CSE Spinoff Wins The Linley Groups Analysts Choice Award
04/02/13 David Chesney Speaks at TEDxUofM
03/20/13 Kevin Fu Interviewed Regarding Cyber Security of Medical Devices
01/30/13 Martha Pollack Appointed U-M Provost
12/14/12 Career Center Report Shows Computer Scientists Highly Sought After, Best Compensated

CSE Faculty and Staff Awards 
06/06/13 2013 DAC Anniversary Awards
06/05/13 Edwin Olson Talks Robotics at World Science Festival
05/30/13 Thomas Wenisch Honored with U-M Henry Russel Award
05/29/13 Andrew DeOrio and Fawwaz Ulaby Voted HKN Professors of the Year
05/24/13 2013 Promotions of our Faculty
03/25/13 Prof. Kevin Fu Named a Federal 100 Award Winner for 2013

CSE Student News and Awards 
06/11/13 SHOUT, a censorship-resistant microblogging app for Android
05/31/13 Award-Winning EECS GSIs & IAs Honored
05/29/13 Student Group Michigan Hackers is Featured in LSA Magazine
05/10/13 Spark Races in 2013 Formula Hybrid Racing Competition
04/19/13 Students Win $50K and Honorable Mention for Qualcomm Innovation Fellowship
04/18/13 Scott Reed Selected for NSF and NDSEG Graduate Research Fellowships

CSE Alumni News 
05/07/13 CSE Alum Co-Founds Goal-Tracking Company Beeminder
04/03/13 Michigan @ ISSCC 2013 - Alumni and Friends Mixer
03/29/13 Founded By CS Alums, DeepField Grows in Ann Arbor
03/21/13 CSE Alum and Entrepreneur Azarias Reda Delivers Best Pitch at SXSW
03/11/13 Duo Security Introduces Hardware-Level Security, Grows More Than 400%
03/11/13 CSE Alum Niels Provos Forges Viking Weaponry

CSE Course Announcements 
04/08/13 Fall 2013: EECS 598-005 Hybrid Systems Control
03/27/13 Fall 2013: ENGR 390/599 Imagine Innovate Act
03/15/13 Fall 2013: EECS 598 Ultra-Low-Power CMOS Circuit Design
03/14/13 Fall 2013: EECS 598 VLSI Digital Signal Processing Systems
03/14/13 Fall 2013: EECS 598 Electricity Networks and Markets
11/29/12 Winter 2013: EECS 598-007: Advanced Topics in Computer Vision

Add News Item     Update News Items