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

Revision as of 15:30, 19 August 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

Week	Date	Topic	Resources
1	8/20	Introduction Motivation for Cyber-Physical Systems Sensors and Actuators	Slides (pdf) Assignment 1
Model-Based Design
2	8/27	Model-Based Design Continuous Dynamics	Assignment 2
3	9/3	Memory Architectures Input and Output	Assignment 3
4	9/10	Modeling Modal Behavior	Assignment 4
5	9/17	Discrete Dynamics	Assignment 5
6	9/24	Extended and Timed Automata	Assignment 6
7	10/1	Composition of State Machines Hierarchical State Machines	Assignment 7
8	10/8	Specification and Temporal Logic: Comparing State Machines Reachability analysis	Assignment 8
9	10/15	Midterm Exam
Resource Management
10	10/22	Multitasking
11	10/29	Operating Systems Microkernels
12	11/5	Scheduling Anomalies
13	11/12	Execution Time Analysis	Assignment 9
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

Lee, E. A., Seshia, S. A., Introduction to Embedded Systems, A Cyber-Physical Systems Approach, Second Edition, MIT Press, 2017.

@@ Line 39: / Line 39: @@
 * Continuous Dynamics
 ||
+* Assignment 2
 |-
 | style="text-align: center;"| 3 || style="text-align: center;"| 9/3
@@ Line 45: / Line 46: @@
 * Input and Output
 ||
+* Assignment 3
 |-
 | style="text-align: center;"| 4 || style="text-align: center;"| 9/10
@@ Line 50: / Line 52: @@
 * Modeling Modal Behavior
 ||
+* Assignment 4
 |-
 | style="text-align: center;"| 5 || style="text-align: center;"| 9/17
@@ Line 55: / Line 58: @@
 * Discrete Dynamics
 ||
+* Assignment 5
 |-
 | style="text-align: center;"| 6 || style="text-align: center;"| 9/24
@@ Line 60: / Line 64: @@
 * Extended and Timed Automata
 ||
+* Assignment 6
 |-
 | style="text-align: center;"| 7 || style="text-align: center;"| 10/1
@@ Line 66: / Line 71: @@
 * Hierarchical State Machines
 ||
+* Assignment 7
 |-
 | style="text-align: center;"| 8 || style="text-align: center;"| 10/8
@@ Line 72: / Line 78: @@
 * Reachability analysis
 ||
+* Assignment 8
 |-
 | style="text-align: center;"| 9 || style="text-align: center;"| 10/15 || colspan="4" style="text-align: center;"| ''Midterm Exam''
@@ Line 97: / Line 104: @@
 * Execution Time Analysis
 ||
+* Assignment 9
 |-
 | colspan="4" style="text-align: center;" | '''Distributed Embedded Systems'''
@@ Line 106: / Line 114: @@
 * Synchronous/Reactive and Dataflow Models
 ||
+* Assignment 10
 |-
 | style="text-align: center;"| 15 || style="text-align: center;"| 12/3