Embedded System Design and Modeling

EE382N.23, Unique: 16865 and 16869 (Professional MS)
Semester: Fall 2017

Course Outline (Tentative)

Week	Topic	Notes	Reading	Assignments
1 Aug 30	Introduction	Lecture 1	Orange book, Ch. 1, 2   [1]	-
2 Sep 6	The SpecC System-Level Design Language	Lecture 2	Orange Book, Sec. 3.2   [2] Yellow Book, Ch. 1   [B]	Homework #1
3 Sep 11, 13	Language Semantics: discrete event, synchronous reactive	Lecture 3	Marwedel, Sec. 2.7   [B,3,4] LeeSeshia, Sec. 6.2, 6.4   [J,5]	Lab #1
4 Sep 18, 20	System Specification, Models of Computation (MoCs)	Lecture 4	Orange Book, Sec. 3.1   [G] Marwedel, Sec. 2.1, 2.2   [6]
5 Sep 25, 27	Process-based MoCs: process networks, dataflow	Lecture 5	Marwedel, Sec. 2.5   [7,8,9] LeeSeshia, Ch. 6.3   [10,11,12]	Homework #2
6 Oct 2, 4	State-based MoCs: hierarchical & concurrent state machines	Lecture 6	LeeSeshia, Ch. 3, 5   [13] Marwedel, Sec. 2.4   [14]
7 Oct 9, 11	System Synthesis, Refinement & Modeling	Lecture 7	Orange Book, Sec. 3.3   [15,16] Yellow Book, Ch. 2   [17]
8 Oct 16, 18	Computation Refinement, Host-Compiled OS & Processor Modeling	Lecture 8	Orange Book, Sec. 3.4   [18,19,20]	Homework #3
9 Oct 23, 25	Communication Refinement, Transaction-Level Modeling	Lecture 9	Orange Book, Sec. 3.5, 3.6   [21,22]	Lab #2
10 Oct 30, Nov 1	System Mapping & Decision Making     Communication Systems Design (Jacob Kornerup, National Instruments)	Lecture 10     Sys. Design	Orange Book, Ch. 4   [15,23] Yellow Book, Ch. 3, 4
11 Nov 6, 8	Partitioning, Scheduling, Design Space Exploration	Lecture 11	Marwedel, Ch. 6   [24,25]	Homework #4
12 Nov 13, 15	Guest Lecture (Mark McDermott)     Estimation	Lecture 12	Marwedel, Ch. 5   [26]	Lab #3
13 Nov 20	System-Level Design Tools, Thanksgiving Holiday	Lecture 13	Orange Book, Ch. 8   [28] Yellow Book, Ch. 5   [27,F]
14 Nov 27, 29	Review, Midterm	Previous Exams
15 Dec 4, 6, 11	Project Presentations			Project Report

Supplemental Lecture Notes

• Lecture 3: Languages
  • Prof. Brian Evan's (UT Austin) lecture notes on timed models of computation:
    • Block diagrams
    • Synchronous/reactive.
    • Discrete Event.
  • Prof. Edward Lee's (UC Berkeley) lecture notes on concurrent models of computation:
    • Synchronous/Reactive Models.
    • Discrete-Event Systems.
  • Prof. Stephen Edwards' (Columbia Univ.) lecture notes on languages for embedded system design:
    • The Synchronous Language Esterel.
• Lectures 4: System Specification
  • Prof. Lothar Thiele's (ETH Zürich) lecture notes and references on hardware/software codesign:
    • Lecture 2 - Specification and Models of Computation
• Lectures 5: Process-based Models of Computation
  • Prof. Brian Evan's (UT Austin) lecture notes on process-based models:
    • Process Networks.
    • Synchronous Dataflow.
      • SDF Scheduling.
      • SDF Looped Scheduling.
    • Boolean Dataflow and Cyclo-Static Dataflow.
    • Timed Synchronous Dataflow.
  • Prof. Edward Lee's lecture notes on concurrent models of computation:
    • Process Networks.
    • Dataflow Process Networks.
    • Scheduling Dataflow.
    • Consistency.
  • Prof. Stephen Edwards' (Columbia Univ.) lecture notes on languages for embedded system design:
    • Dataflow Languages.
• Lectures 6: State-based Models of Computation
  • Statecharts/Statemate course by Prof. Hanxleden (Kiel Univ., Germany)
    • Semantics of Statecharts.
  • Prof. Edward Lee's (UC Berkeley) lecture notes on concurrent models of computation:
    • Concurrent State Machines.
• Lecture 10: Mapping and Decision Making
  • Prof. Lothar Thiele's (ETH Zürich) lecture notes and references on hardware/software codesign:
    • Lecture 3 - Mapping Applications to Architectures
• Lecture 11: Partitioning, Scheduling & Exploration
  • Prof. Lothar Thiele's (ETH Zürich) lecture notes and references on hardware/software codesign:
    • Lecture 4 - System Partitioning
    • Lecture 5 - Multi-Criteria Optimization
• Lecture 12: Estimation
  • Prof. Lothar Thiele's (ETH Zürich) lecture notes and references on hardware/software codesign:
    • Lecture 8 - Performance Estimation
    • Lecture 9 - Worst-Case Execution Time Analysis
    • Lecture 10 - Performance Analysis of Distributed Systems