This page is no longer maintained.

18-849 Dependable Embedded Systems

Carnegie Mellon University
Fall 2010

Mon & Wed 12:30-2:30, Room WEH 5415

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

Important notices:

  1. This course is not taught every year. Please monitor the ECE course rollout info to see when it might be taught again.
  2. Read the FAQ for more info
  3. Course grading structure and other policies -- see the Policy Page.
  4. Send all e-mail, including homeworks to: {e-mail addr}
  5. If you don't have a CMU IP address, try this VPN link to see readings (CMU andrew accounts only)

FALL 2010 CLASS SCHEDULE:

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

Rasmussen87
Rasmussen88
Leveson97

 Template
Mon., Nov 8 Software Safety Leveson86
Leveson94		 Template
Wed., Nov 10 Safety & Dependability Cases Pilkington98
Czerny00
Kelly03
Despotou04 		Template
Mon., Nov 15 Embedded Security Anderson94
Kocher04
Koopman05
Paar07		 Template
Wed., Nov 17 Societal Issues Schinzinger86
Redmill02
Davis94
Knight02		 Template
Mon., Nov 22 No Class No reading No Reading
Wed., Nov 24 Thanksgiving break; no class No Reading No Reading
Mon., Nov 29 TTP / Automotive Protocol Case Study Kopetz85
Kopetz94
Kopetz03		 Template
Wed., Dec 1 Very Dependable Systems BART81 (see note in template before reading)
Butler93
Myers86		 Template

Additional notes: