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

From Microlab Classes
Jump to navigation Jump to search
Line 28: Line 28:
 
* Motivation for Cyber-Physical Systems
 
* Motivation for Cyber-Physical Systems
 
* Sensors and Actuators
 
* Sensors and Actuators
|| Example
+
||
 
|-
 
|-
 
| colspan="4" style="text-align: center;" | '''Model-Based Design'''
 
| colspan="4" style="text-align: center;" | '''Model-Based Design'''
Line 36: Line 36:
 
* Model-Based Design
 
* Model-Based Design
 
* Continuous Dynamics  
 
* Continuous Dynamics  
|| Example
+
||
 
|-
 
|-
 
| style="text-align: center;"| 3 || style="text-align: center;"| 9/3  
 
| style="text-align: center;"| 3 || style="text-align: center;"| 9/3  
Line 42: Line 42:
 
* Memory Architectures
 
* Memory Architectures
 
* Input and Output  
 
* Input and Output  
|| Example
+
||
 
|-
 
|-
 
| style="text-align: center;"| 4 || style="text-align: center;"| 9/10  
 
| style="text-align: center;"| 4 || style="text-align: center;"| 9/10  
 
||  
 
||  
 
* Modeling Modal Behavior  
 
* Modeling Modal Behavior  
|| Example
+
||
 
|-
 
|-
 
| style="text-align: center;"| 5 || style="text-align: center;"| 9/17  
 
| style="text-align: center;"| 5 || style="text-align: center;"| 9/17  
 
||  
 
||  
 
* Discrete Dynamics  
 
* Discrete Dynamics  
|| Example
+
||
 
|-
 
|-
 
| style="text-align: center;"| 6 || style="text-align: center;"| 9/24  
 
| style="text-align: center;"| 6 || style="text-align: center;"| 9/24  
 
||  
 
||  
 
* Extended and Timed Automata  
 
* Extended and Timed Automata  
|| Example
+
||
 
|-
 
|-
 
| style="text-align: center;"| 7 || style="text-align: center;"| 10/1  
 
| style="text-align: center;"| 7 || style="text-align: center;"| 10/1  
Line 63: Line 63:
 
* Composition of State Machines
 
* Composition of State Machines
 
* Hierarchical State Machines  
 
* Hierarchical State Machines  
|| Example
+
||
 
|-
 
|-
 
| style="text-align: center;"| 8 || style="text-align: center;"| 10/8  
 
| style="text-align: center;"| 8 || style="text-align: center;"| 10/8  
 
||  
 
||  
 
* Specification and Temporal Logic: Comparing State Machines  
 
* Specification and Temporal Logic: Comparing State Machines  
|| Example
+
||
 
|-
 
|-
 
| style="text-align: center;"| 9 || style="text-align: center;"| 10/15  
 
| style="text-align: center;"| 9 || style="text-align: center;"| 10/15  
 
||  
 
||  
 
* Reachability analysis  
 
* Reachability analysis  
|| Example
+
||
 
|-
 
|-
 
| colspan="4" style="text-align: center;" | '''Resource Management'''
 
| colspan="4" style="text-align: center;" | '''Resource Management'''
Line 80: Line 80:
 
||  
 
||  
 
* Multitasking  
 
* Multitasking  
|| Example
+
||
 
|-
 
|-
 
| style="text-align: center;"| 11 || style="text-align: center;"| 10/29  
 
| style="text-align: center;"| 11 || style="text-align: center;"| 10/29  
Line 86: Line 86:
 
* Operating Systems
 
* Operating Systems
 
* Microkernels  
 
* Microkernels  
|| Example
+
||
 
|-
 
|-
 
| style="text-align: center;"| 12 || style="text-align: center;"| 11/5  
 
| style="text-align: center;"| 12 || style="text-align: center;"| 11/5  
 
||  
 
||  
 
* Scheduling Anomalies  
 
* Scheduling Anomalies  
|| Example
+
||
 
|-
 
|-
 
| style="text-align: center;"| 13 || style="text-align: center;"| 11/12  
 
| style="text-align: center;"| 13 || style="text-align: center;"| 11/12  
 
||
 
||
 
* Execution Time Analysis  
 
* Execution Time Analysis  
|| Example
+
||
 
|-
 
|-
 
| colspan="4" style="text-align: center;" | '''Distributed Embedded Systems'''
 
| colspan="4" style="text-align: center;" | '''Distributed Embedded Systems'''
 
|-
 
|-
| style="text-align: center;"| || style="text-align: center;"| 11/19 || ''No Class'' ||
+
| style="text-align: center;"| || style="text-align: center;"| 11/19 | colspan="4" style="text-align: center;"| ''No Class''  
 
|-
 
|-
 
| style="text-align: center;"| 14 || style="text-align: center;"| 11/26  
 
| style="text-align: center;"| 14 || style="text-align: center;"| 11/26  
 
||  
 
||  
 
* Synchronous/Reactive and Dataflow Models  
 
* Synchronous/Reactive and Dataflow Models  
|| Example
+
||
 
|-
 
|-
 
| style="text-align: center;"| 15 || style="text-align: center;"| 12/3  
 
| style="text-align: center;"| 15 || style="text-align: center;"| 12/3  
Line 111: Line 111:
 
* Security for Embedded Systems
 
* Security for Embedded Systems
 
* Networked Embedded Systems
 
* Networked Embedded Systems
|| Example
+
||
 
|-
 
|-
 
|}
 
|}

Revision as of 15:04, 19 August 2024

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

Annuoncements

  • 8/20: Welcome to CoE165!

Class Schedule

Week Date Topic Resources
1 8/20
  • Introduction
  • Motivation for Cyber-Physical Systems
  • Sensors and Actuators
Model-Based Design
2 8/27
  • Model-Based Design
  • Continuous Dynamics
3 9/3
  • Memory Architectures
  • Input and Output
4 9/10
  • Modeling Modal Behavior
5 9/17
  • Discrete Dynamics
6 9/24
  • Extended and Timed Automata
7 10/1
  • Composition of State Machines
  • Hierarchical State Machines
8 10/8
  • Specification and Temporal Logic: Comparing State Machines
9 10/15
  • Reachability analysis
Resource Management
10 10/22
  • Multitasking
11 10/29
  • Operating Systems
  • Microkernels
12 11/5
  • Scheduling Anomalies
13 11/12
  • Execution Time Analysis
Distributed Embedded Systems
11/19 | colspan="4" style="text-align: center;"| No Class
14 11/26
  • Synchronous/Reactive and Dataflow Models
15 12/3
  • Security for Embedded Systems
  • Networked Embedded Systems

Reference

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