18-849 Dependable Embedded Systems

Carnegie Mellon University
Fall 2008

Mon & Wed 12:30-2:30, PH 226B

Fall 2008 students: Please read the FAQ.

If you don't have the pre-reqs (18-649 or 18-749) then you'll need instructor permission via a pre-test. Please see the FAQ for more information.

Important notices:

  1. Course grading structure and other policies -- see the Policy Page.
  2. Send all e-mail, including homeworks to: {e-mail addr}
  3. If you don't have a CMU IP address, try this VPN link to see readings (CMU andrew accounts only)

FALL 2008 CLASS SCHEDULE:

Some of the topics will probably change for the next course offering, but the flavor of the course will remain the same. Note that readings in gray are preliminary and subject to change.

Date
(some dates tentative)		 Topic
(click topic name for more reading pointers)		 Readings
(accessible from CMU only!)		 BibTeX
Mon., Aug 25, 2008 Intro & SW Defect Classification Avizienis04
Wallace01
Sullivan91		 Template
Wed., Aug 27, 2008 Entrance Exam See FAQ
Bring a calculator
and one study sheet		 n/a
Mon., Sep 1 Labor Day; no class    
Wed., Sep 3 Case Studies ESA96
Weinstock80
Cristian91
Gray90		 Template
Mon., Sep 8 HW Fault Tolerance & Dependability Modeling Mitra05
Reibman91
Dugan95
Schlichting83		 Template
Wed., Sep 10 Distributed Time Lamport78
Kopetz87
Mills91
{Raynal96 or Kopetz02}		 Template
Mon., Sep 15 SW Fault Tolerance: rollback/rollforward Randell95
Xu96
Li90		 Template
Wed., Sep 17 SW Fault Tolerance: other techniques Anderson85
Levendel95
{Wilken90 or Vaidyanathan05} 		Template
Mon., Sep 22 Multi-Version Software Chen78
Knight85
Avizienis88
Knight90		 Template
Wed., Sep 24 Exception Handling Goodenough75
Vo97
Romanovsky00 		Template
Mon., Sep 29 Byzantine Agreement; part 1 Lamport82
Wylie03
Driscoll03		 Template
Wed., Oct 1 Byzantine Agreement; part 2 Azadmanesh00
Lamport85
Keichafer88 		Template
Mon., Oct 6 Group Membership Cristian88
Poledna95
Latronico05		 Template
Wed., Oct 8 Sync/Async & Exception Handling taxonomy {Turek92 or Raynal05)
Fischer85
Maxion00		 Template
Mon., Oct 13 Fault Injection Segall88
Hseuh97
Madeira02
Ademaj03		 Template
Wed., Oct 15 Robustness Testing Dawson96
Devale02
Candea04		 Template
Mon., Oct 20 Graceful Degradation Meyer78
Bodson93
Shelton04
Strunk05		 Template
Wed., Oct 22 Dependable Upgrade Nelson97
Sha96
Arlat00		 Template
Mon. Oct 27 Verification & Validation & Boeing 777 case study Fagan86
Umansky01
Yeh98 (See this note!)
Buus97 		Template
Wed., Oct 29 Case Study: Three Mile Island Rubenstein&Mason79
Sugarman79
Lombardo79
See these pictures (plant; marker)		 Template
Mon., Nov 3 User Interface & Operator Errors

Rasmussen87
Rasmussen88
Leveson97

 Template
Wed., Nov 5 Software Safety Leveson86
Leveson94		 Template
Mon., Nov 10 Safety & Dependability Cases Pilkington98
Czerny00
spKelly03
Despotou04 		Template
Wed., Nov 12 Embedded Security Anderson94
Ravi04
Koopman05 		Template
Mon., Nov 17 Societal Issues Schinzinger86
Redmill02
Davis94
Knight02		 Template
Wed., Nov 19 TTP / Automotive Protocol Case Study Kopetz85
Kopetz94
Kopetz03		 Template
Mon., Nov 24 Very Dependable Systems BART81 (see note in template before reading)
Butler93
Myers86		 Template
Wed., Nov 26 Thanksgiving break; no class No Reading No Reading
Mon., Dec 1 Case Study: Bradley Fighting Vehicle (reading) Shaw03
(Re-read but don't submit HW for Umansky01)
(Read but don't submit HW for Smith05)		 Template
Wed., Dec 3 TBD TBD TBD

Additional notes: