18-849A: Dependable Embedded Systems

Spring 2001

Carnegie Mellon University ECE Department
Course Instructor: Prof. Phil Koopman

Meeting times: Tues/Thur 10:30AM-12:20PM; SH 220

Class Notes: (restricted access)

• Class notes
• E-mail archives
• Project directories

Thursday Talk assignments:

• 1/25 Charles - architecture
• 2/1 Chris/Elissa - simulation/process
• 2/8 Elissa - process
• 2/15 Owen - traditional SW architecture
• 2/22 Beth - Software Safety
• 3/1 Jon - ?
• 3/8 -- mid-semester break / no class
• 3/15 Yang - ?
• 3/22 - Fast, Cheap & Out of Control
• 3/29 -- spring break / no class
• 4/5 Chris - ?
• 4/12 - TBD
• 4/19 Haitham - ?
• 4/26 Jared - ?
• 5/3 David - ?

18-540 Project Info:

• Phil's attempt at an architecture diagram
• An alternate system diagram
• Requirements solution
• Statecharts solutions (time triggered | event triggered)
• The project archive is available at: /afs/ece.cmu.edu/class/ece849a/pub/project_archive

UML & Methodology Info:

• UML Summary (local)
• Annie Lou's report/local (read for Thursday 1/18)
• Beth Latronico's/local report (read for Tuesday 1/23)

• Douglass, "Designing Real-Time Systems with UML - I," Embedded Systems Programming, March 1998 (local)
• Douglass, "Designing Real-Time Systems with UML - II," Embedded Systems Programming, April 1998 (local)
• Douglass, "Designing Real-Time Systems with UML - III," Embedded Systems Programming, May 1998 (local)
• Douglass, "The Unified Modeling Language", Embedded Systems Conference, Fall 1999. (local)
• Mellor, S., "The case for using use cases", Embedded Systems Conference, Fall 1999. (local)
• Douglass, "UML Statecharts," Embedded Systems Programming, January 1999, pp. 22-42 (local)
• Full UML specification (for hard-core junkies!): OMG Original (local copy)

Elevator Info:

• Taub, "Elevator Technology: inspiring many everyday leaps of faith," NY Times, December 3, 1998, page D-12. (local .pdf 14.7 MB! or see the smaller text .gif and picture .jpg)
• Is 2000 feet per minute enough? (local) Discussion of advanced elevatoring performance techniques.
• Connecting mathematics with work and life: Scheduling Elevators (local)
  Why zoned elevators work.
• Clarkson, M., A. Sobel, T. Lehmkuhl, S. Taylor & B. Williams, "The ups and downs of formal methods" (draft), Miami University, 1999. (local)
  Has some thoughts about elevator modeling.
• Clarkson, M. & A. Sobel, "Formal methods application: an empirical tale of software development" (draft), Miami University, 1999. (local)
  Has thoughts of elevator modeling and discussion of possible dispatching methods
• A typical example of what is usually done with elevators in UML in a student project.

• B-25 crash into the Empire State Building and elevator accident. (local)
• August 2000 elevator accident at World Trade Center. (CNN | local)

List of potentially interesting papers:

• Kruchten, "The 4+1 view model of architecture", IEEE Software, November 1995. (IEEE)
  "Architects capture their design decisions in four views and use the fifth view to illustrate and validate them"
• Wilhelm, "Designing for concurrency", Objectime technical report.

Resources

• ACM Digital Library -- (on-line papers!) CMU has a site license
• IEEE Digital Library -- (on-line papers!)
• NECI web search -- (on-line papers!) points to on-line papers

Announcements:

• No class on these dates:
  • Thursday Feb 1st
  • ? Thursday March 22 ? (tentative)

koopman@cmu.edu