Difference between revisions of "CoE 165 S1 AY 2024-2025"

Revision as of 18:31, 18 November 2024

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.

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

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.

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	Assignment 7 Video: Composition of State Machines, Part 2 (mp4)
8	10/8	Specification and Temporal Logic: Comparing State Machines Reachability analysis	Assignment 8 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	Assignment 9
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

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)

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

@@ Line 30: / Line 30: @@
 {| class="wikitable" style="width: 75%;"
 |-
-! style="width: 1px" | Week !! style="width: 1px"| Date !! style="width: 60%" | Topic !! Resources
+! style="width: 1px" | Week !! style="width: 1px"| Date !! style="width: 50%" | Topic !! Resources
 |-
 | style="text-align: center;"| 1 || style="text-align: center;"| 8/20