EECS 149

Contents
Home
Overview
Logistics
Technology

Lectures
Reading
Assignments
Project
Seminar

bSpace

Reading
References
Resources

Course Development
Wiki
CVS

Homework Assignments

1. Homework 1 (due Wednesday, February 4): Model-Based Design, exercises 1, 2, and 3.
2. Homework 2 (due Wednesday, February 18): Model-Based Design, exercise 4. Also, Sensors, exercise 1, and a question about Finite-State Machines.
3. Homework 3 (due Monday, March 9): Concurrency, exercise 1. Model-Based Design, exercises 5, 6. You will need to use LabVIEW for exercise 5 (on Statecharts). Exercise 1, Analysis & Control Chapter.
4. Take-home midterm (due March 20 by 4 pm to Lea Barker in 253 Cory)
5. Homework 4 (due Friday, April 17 by 4 pm to Lea Barker in 253 Cory): Concurrency, Exercises 4 and 5. Also: an exercise on using the SPIN model checker to verify a toy elevator controller.
6. Homework 5 (due Wednesday, May 6): Problem 2, Analysis & Control Chapter. Also, a problem on scheduling for the CAN network.