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

From Microlab Classes
Jump to navigation Jump to search
Line 44: Line 44:
 
|| Example
 
|| Example
 
|-
 
|-
−
| style="text-align: center;"| 4 || style="text-align: center;"| 9/10 || Example || Example
+
| style="text-align: center;"| 4 || style="text-align: center;"| 9/10  
 +
||  
 +
* Modeling Modal Behavior
 +
|| Example
 
|-
 
|-
−
| style="text-align: center;"| 5 || style="text-align: center;"| 9/17 || Example || Example
+
| style="text-align: center;"| 5 || style="text-align: center;"| 9/17  
 +
||  
 +
* Discrete Dynamics
 +
|| Example
 
|-
 
|-
−
| style="text-align: center;"| 6 || style="text-align: center;"| 9/24 || Example || Example
+
| style="text-align: center;"| 6 || style="text-align: center;"| 9/24  
 +
||  
 +
* Extended and Timed Automata
 +
|| Example
 
|-
 
|-
−
| style="text-align: center;"| 7 || style="text-align: center;"| 10/1 || Example || Example
+
| style="text-align: center;"| 7 || style="text-align: center;"| 10/1  
 +
||  
 +
* Composition of State Machines
 +
* Hierarchical State Machines
 +
|| Example
 
|-
 
|-
−
| style="text-align: center;"| 8 || style="text-align: center;"| 10/8 || Example || Example
+
| style="text-align: center;"| 8 || style="text-align: center;"| 10/8  
 +
||  
 +
* Specification and Temporal Logic: Comparing State Machines
 +
|| Example
 
|-
 
|-
−
| style="text-align: center;"| 9 || style="text-align: center;"| 10/15 || Example || Example
+
| style="text-align: center;"| 9 || style="text-align: center;"| 10/15  
 +
||  
 +
* Reachability analysis
 +
|| Example
 
|-
 
|-
 
| colspan="4" style="text-align: center;" | '''Resource Management'''
 
| colspan="4" style="text-align: center;" | '''Resource Management'''
 
|-
 
|-
−
| style="text-align: center;"| 10 || style="text-align: center;"| 10/22 || Example || Example
+
| style="text-align: center;"| 10 || style="text-align: center;"| 10/22  
 +
||  
 +
* Multitasking
 +
|| Example
 
|-
 
|-
−
| style="text-align: center;"| 11 || style="text-align: center;"| 10/29 || Example || Example
+
| style="text-align: center;"| 11 || style="text-align: center;"| 10/29  
 +
||  
 +
* Operating Systems
 +
* Microkernels
 +
|| Example
 
|-
 
|-
−
| style="text-align: center;"| 12 || style="text-align: center;"| 11/5 || Example || Example
+
| style="text-align: center;"| 12 || style="text-align: center;"| 11/5  
 +
||  
 +
* Scheduling Anomalies
 +
|| Example
 
|-
 
|-
−
| style="text-align: center;"| 13 || style="text-align: center;"| 11/12 || Example || Example
+
| style="text-align: center;"| 13 || style="text-align: center;"| 11/12  
 +
||
 +
* Execution Time Analysis
 +
|| Example
 
|-
 
|-
 
| colspan="4" style="text-align: center;" | '''Distributed Embedded Systems'''
 
| colspan="4" style="text-align: center;" | '''Distributed Embedded Systems'''
Line 70: Line 102:
 
| style="text-align: center;"| || style="text-align: center;"| 11/19 || ''No Class'' ||
 
| style="text-align: center;"| || style="text-align: center;"| 11/19 || ''No Class'' ||
 
|-
 
|-
−
| style="text-align: center;"| 14 || style="text-align: center;"| 11/26 || Example || Example
+
| style="text-align: center;"| 14 || style="text-align: center;"| 11/26  
 +
||  
 +
* Synchronous/Reactive and Dataflow Models
 +
|| Example
 
|-
 
|-
−
| style="text-align: center;"| 15 || style="text-align: center;"| 12/3 || Example || Example
+
| style="text-align: center;"| 15 || style="text-align: center;"| 12/3  
 +
||  
 +
* Security for Embedded Systems
 +
* Networked Embedded Systems
 +
|| Example
 
|-
 
|-
 
|}
 
|}

Revision as of 14:57, 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
 Example
Model-Based Design
2 8/27
  • Model-Based Design
  • Continuous Dynamics
 Example
3 9/3
  • Memory Architectures
  • Input and Output
 Example
4 9/10
  • Modeling Modal Behavior
 Example
5 9/17
  • Discrete Dynamics
 Example
6 9/24
  • Extended and Timed Automata
 Example
7 10/1
  • Composition of State Machines
  • Hierarchical State Machines
 Example
8 10/8
  • Specification and Temporal Logic: Comparing State Machines
 Example
9 10/15
  • Reachability analysis
 Example
Resource Management
10 10/22
  • Multitasking
 Example
11 10/29
  • Operating Systems
  • Microkernels
 Example
12 11/5
  • Scheduling Anomalies
 Example
13 11/12
  • Execution Time Analysis
 Example
Distributed Embedded Systems
11/19 No Class
14 11/26
  • Synchronous/Reactive and Dataflow Models
 Example
15 12/3
  • Security for Embedded Systems
  • Networked Embedded Systems
 Example

Reference

  • Lee, E. A., Seshia, S. A., Introduction to Embedded Systems, A Cyber-Physical Systems Approach, Second Edition, MIT Press, 2017.
Retrieved from "https://classes.up-microlab.org/index.php?title=CoE_165_S1_AY_2024-2025&oldid=4284"