*banner
 

EECS 249B

Spring 2015

Contents

Home
Logistics
Lectures
Discussions
Assignments
Projects
Software

References
Seminar

Wiki

Course Development
SVN


EE 249, Fall 2012 Lectures

Lecture Date Topic

Reading

Deliverables
1 08/23/2012 (08/23/2012, 4-6pm) Introduction: Cyber-Physical Systems (ASV)    
2a

08/28/2012 (08/28/2012, 5-6pm)

Introduction: Design Challenges (ASV)    
2b

08/30/2012 (08/30/2012, 4-6pm)

Methodology and Platform-Based Design (ASV)    
3a

09/04/2012

MoCs: Overview (BW) (ASV)   HW0
3b

09/06/2012

MoCs: FSM, CFSM (BW) (ASV)  
4a

09/11/2012

MoCs: Kahn Process Networks and Dataflow (BW) (PN) Discussion 1
4b

09/13/2012

Ptolemy II - Guest Lecture by Prof. Edward Lee


HW1
5a

09/18/2012

MoCs: Kahn Process Networks and Dataflow (cont.) (PN) Discussion 2  
5b

09/20/2012

MoCs: Petri Nets (BW) (PN)  
6a

09/25/2012

MoCs: Petri Nets (cont.) (PN)

Discussion 3
6b

09/27/2012

The Synchronous Model of Computation: Esterel

(Reference on SyncCharts) (ASV)

 
7a 10/02/2012 Lustre (ASV) Discussion 4 HW2, LAB1-p1
7b 10/04/2012 LabView Overview - Guest Lecture by Hugo Andrade and Kaushik Ravindran, National Instruments    
8a 10/09/2012 Tagged-Signal Model (ASV) Discussion 5 LAB1-p2
8b 10/11/2012 Hybrid Systems (ASV)    
9a 10/16/2012 Real-Time Operating Systems (RTOS) and Schedulability Analysis - Guest Lecture by Prof. Marco Di Natale (MDN)
   
9b 10/18/2012 OSEK Standard (MDN)    
10a10/23/2012 Models, Tasks, RTOS and Schedulability (MDN)    
10b 10/25/2012 Models, Tasks, RTOS and Schedulability (cont.)    
11a 10/30/2012 (No lecture)  
11b 11/01/2012 Metropolis (ASV)
HW3
12a 11/06/2012 Compositional methods and Contract-Based Design (PN) LAB2
12b 11/08/2012 Compositional methods and Contract-Based Design (cont.) (PN) Discussion 6 Project-p1
13a
11/13/2012 A Meta-Theory of Contracts (PN)  
13b 11/15/2012 Building Automation and Control Systems: Modeling and Design - Guest Lecture by Mehdi Maasoumy

Discussion 7  
14a 11/20/2012 Contract theories: assume-guarantee contracts and interface theories (PN)    
14b 11/22/2012 Academic Holiday (Thanksgiving)    
15a
11/27/2012 Contract theories: assume-guarantee contracts and interface theories (cont.) (PN) Discussion 8 HW4
15b 11/29/2012 Conclusions (ASV)   LAB3-p2
16a 12/03/2012 Project Presentations
   
16b 12/07/2012
  Project Report
 
You are not logged in 
©2002-2017 Chess