CoE 165 S1 AY 2024-2025

CoE 165 - Computer Organization and Embedded Systems II

• Course Description: Advanced course on the modeling, design, and analysis of computational systems that interact with physical processes.
• Prerequisite: EEE 153 Computer Organization and Embedded Systems I
• Co-requisite: CoE 163 Computing Architectures and Algorithms
• Course Credit: 3 units (lecture)
• Course Goals:
  • To provide an understanding of models, analysis tools, and control for embedded systems operating in real time.
  • To teach students how to combine physical processes with computation.

Course Information

• Instructor: Louis P. Alarcon (louis.alarcon@eee...)
  • Consultation hours: Tuesdays and Thursdays, 2pm-3pm, room 409
• Schedule: Tuesdays, 7am - 10am
• Section: TQR
• Room: EEEI LC1

Announcements

• 8/20: Welcome to CoE165!
• 8/20: Assignment 1 is already available. Due 8/27.
• 8/28: Assignment 2 is already available. Due 9/03.
• 9/03: Classes suspended due to weather.
• 9/03: The deadline for Assignment 2 is extended to 9/04.
• 9/03: So we don't get too far behind in our lectures, please watch this lecture video. We'll then discuss your questions in our next class.
• 9/23: In light of the transport strike, we will not meet on Tue 9/24. I will post a video lecture.
• 9/23: Apologies for the late homework upload. I will need to restructure the topics to account for all these class disturbances.
• 9/30: Assignment 3 is now available. Due 10/08.
• 10/07: No class on 10/08 -- unfortunately, I have been diagnosed with a bacterial infection of the throat and sinus, and I am a bit too weak to hold classes tomorrow. Please standby for announcements on a make-up class as well as more lecture videos.
• 12/09: Make up class: Tuesday, 12/10, 8am-11am, Room 120.
  • Zoom link: https://up-edu.zoom.us/j/97906656433?pwd=hXTlQI7IHUG9wpbVS3eNdRZbZjeJka.1
  • Zoom Recording:
    • https://up-edu.zoom.us/rec/share/m0HjPq8fKRfZ-LMvxXa6xNW2pyKgcMBO65h6nnYy4u4sZEmfgPEj-nFIySZRexez.i8nxQCsj0YLVsUKy
    • Passcode: kxcq1RD?
• 12/09: Final Exam: Tuesday, 12/17, 8am-11am, VLC.
• 12/09: Assignment 5 is now available. Due 12/17.

Class Schedule

Week	Date	Topic	Resources
1	8/20	Introduction Motivation for Cyber-Physical Systems	Slides (pdf) Assignment 1
Model-Based Design
2	8/27	Introduction to Cyber-Physical Systems Model-Based Design	Lecture 1 (pdf) Lecture 2 (pdf) Assignment 2
3	9/3	Continuous Dynamics Memory Architectures Input and Output Sensors and Actuators	Lecture 3 (pdf) Assignment 3
4	9/10	Modeling Modal Behavior	Lecture 4 (pdf)
5	9/17	Discrete Dynamics	Lecture 5 (pdf) Video: Discrete Dynamics (mp4) Video: State Machines (mp4)
6	9/24	Extended and Timed Automata	Lecture 6 (pdf) Assignment 4 Assignment 4 Solution
7	10/1	Composition of State Machines Hierarchical State Machines	Lecture 9 (pdf) Lecture 10 (pdf) Lecture 11 (pdf) Assignment 5 Video: Composition of State Machines, Part 2 (mp4)
8	10/8	Specification and Temporal Logic: Comparing State Machines Reachability analysis	Video: Equivalence and Refinement, Part 1 (mp4) Video: Equivalence and Refinement, Part 2 (mp4) Video: Equivalence and Refinement, Part 3 (mp4)
9	10/15	Midterm Exam
Resource Management
10	10/22	Multitasking	Lecture 12 (pdf) Assignment 6 (No submissions required)
11	10/29	Operating Systems Microkernels
12	11/5	Scheduling Anomalies
13	11/12	Execution Time Analysis
Distributed Embedded Systems
	11/19	No Class
14	11/26	Synchronous/Reactive and Dataflow Models	Assignment 10
15	12/3	Security for Embedded Systems Networked Embedded Systems

Grading

• Assignments: 50%
• Midterm Exam: 25%
  • October 15, 7am-10am, EEEI LC1
  • Updated schedule: October 29, 7am-10am, EEEI LC1
• Final Exam: 25%
  • During the finals week: December 11-17 (to be set)
  • Updated schedule: December 17, 8am-11am, EEEI VLC
    • For those with conflicts and would like to take an earlier exam (7am-10am), please send me an email. I am just waiting for the confirmation of our room assignments.
    • Our room assignment for the early exam is LC1.

Reference

• Lee, E. A., Seshia, S. A., Introduction to Embedded Systems, A Cyber-Physical Systems Approach, Second Edition, MIT Press, 2017.
  • Get the PDF version (as well as a lot of other resources) at: https://ptolemy.berkeley.edu/books/leeseshia/index.html

Important Dates

• Academic Calendar AY 2024-2025
• Start of classes: August 20
• Deadline for change of matriculation: August 30
• Mid-semester: October 14
• Deadline for dropping: November 14
• Deadline for filing LOA: November 25
• End of classes: December 9