Homework Web Page for CSE470

(Fall 2001)

Week Of Due Date @4:00P.M. Assignment
8/278/31
  • Homework 1: (PDF) Basic Software Eng. (due Aug. 31 ) 
  • locals.sty
  • Therac-25 Paper by N. Leveson (HTML)
  • Ariane 5 Final Report(HTML)
    • 9/39/7
  • Homework 2: (PDF) Processes and Embedded Systems. (due Sept. 7 ) 
  • locals.sty
    • 9/109/14 NOTE: Starting with this homework, please fill in your section number in the LaTeX template.
  • Homework 3: (PDF) OO Development (due Sept. 14) 
  • locals.sty
    • 9/249/28
  • Homework 4: (PDF) OO Modeling.
  • This homework's LaTeX file references an encapsulated postscript file that can be retrieved here.
  • locals.sty
    • 10/110/5
  • Homework 5: (PDF) Dynamic Modeling.
  • locals.sty

    • A correct version of the final state machine can be found here in PDF. Several excellent suggestions from class have been incorporated into this model. As mentioned in class, many actions in states can be moved to transitions, and vice-versa. Even this five state (3+2) model shows the difficulty in getting behavior right.

    Last updated 10/1 by W. McUmber