ICE3028S17.Overview History

Show minor edits - Show changes to output

March 06, 2017, at 12:22 PM by -
Changed line 12 from:
PC room #400202, Semiconductor Bldg.
PC room #400212, Semiconductor Bldg.
March 06, 2017, at 03:43 AM by -
Changed line 41 from:
* Dong-Yun Lee (
February 13, 2017, at 04:27 AM by -
Added lines 1-45:
!! ICE3028: Embedded Systems Design (Spring 2017)

!!! [General information]

(:table border=0 width=90% align=left :)
(:cellnr width=15% valign=top :) '''When:'''
(:cell valign=top :) 15:00 - 16:15 (Monday)\\
16:30 - 17:45 (Wednesday)
(:cellnr valign=top :) '''Where:'''
(:cell valign=top :) Lecture room #400118, Semiconductor Bldg.\\
PC room #400202, Semiconductor Bldg.
(:cellnr valign=top :) '''Instructor:'''
(:cell valign=bottom :) [[|Jin-Soo Kim]] \\
[[|Computer Systems Laboratory]]
(:cellnr valign=top :) '''Course'''\\
(:cell valign=top :) This course focuses on principles underlying design and analysis of computational elements that interact with the physical environment. Increasingly, such embedded computers are everywhere, from smart cameras to medical devices to automobiles. While the classical theory of computation focuses on the function that a program computes, to understand embedded computation, we need to focus on the reactive nature of the interaction of a component with its environement via inputs and outputs, the continuous dynamics of the physical world, different ways of communication among components, and requirements concerning safety, timeliness, stability, and performance. Developing tools for approaching design, analysis, and implementation of embedded systems in a principled manner is an active research area. This course will attempt to give students a coherent introduction to this emerging area.
In addition, this course will give students in-depth knowledge and practical experience with the latest SSDs (Solid State Drives) as a representative example of embedded systems. Students will have a chance to develop their own firmware for the actual SSDs.
(:cellnr valign=top :) '''Textbook:'''
(:cell valign=top :)
* Marilyn Wolf, [[|Computers as Components: Principles of Embedded Computing System Design]], Third Edition, Morgan Kaufmann Publishers, 2012.
(:cellnr valign=top :) '''References:'''
(:cell valign=top :)
* Peter Barry and Patrick Crowley, Modern Embedded Computing: Designing Connected, Pervasive, Media-Rich Systems, Morgan Kaufmann Publishers, 2012.
* Frank Vahid and Tony Givargis, [[|Embedded System Design: A Unified Hardware/Software Introduction]], John Wiley & Sons, 2002.
* Edward A. Lee and Sanjit A. Seshia, [[|Introduction to Embedded Systems: A Cyber-Physical Systems Approach]],, 2011.
(:cellnr valign=top :) '''Prerequisites:'''
(:cell valign=top :)
* ICE3003: Computer Architecture (Must!)
* SSE2030: Introduction to Computer Systems
* SSE3044: Operating Systems
* %blue%Note: Students should be fluent in C programming.%%
(:cellnr valign=top :) '''Grading:'''
(:cell valign=top :) (Subject to change)
* Projects: 70%
* Exams: 30%
(:cellnr valign=top :) '''Teaching Assistants:'''
(:cell valign=top :)