Contents:
Topics in Dependable Embedded Systems

Carnegie Mellon University
Electrical and Computer Engineering Department

Introductory Lecture Notes:

Overview of Embedded Systems
Why Things Break (and what it means for embedded system designers)

Individual Topic Areas

The editing of these papers is in progress, and thus they should not be considered definitive on any technical point.

TOPIC AUTHOR REPORT PRESENTATION

Case Studies Mike Collins report .pdf slides

Checkpoint/Recovery John DeVale report .pdf slides

Data Sources Mike Collins report .pdf slides

Dependability Standards Adrian Drury report .pdf slides

Design Process/Market Forces Kanaka Juvva report .pdf slides

Diagnosis/Prognosis Ying Shi report .pdf slides

Distributed Dependability Rob Slater report .pdf slides

Electronic/Electrical Reliability Mike Carchia report .pdf slides

Embedded Communications Leo Rollins report .pdf slides

End-of-Life Wearout & Replacement Mike Collins report .pdf slides

Environment/EMC/EMI Eushiuan Tran report .pdf slides

Error Coding Charles Shelton report .pdf slides

Ethics Chris Inacio report .pdf slides

Exception Handling Charles Shelton report .pdf slides

Fault Injection Rob Slater report .pdf slides

Fault Tolerant Computing Ying Shi report .pdf slides

Formal Methods Mike Collins report .pdf slides

Human Interface/Human Error Charles Shelton report .pdf slides

I/O Leo Rollins report .pdf slides

Maintenance and Dependability Adrian Drury report .pdf slides

Manufacturing/Quality Mike Scheinholtz report .pdf slides

Mechanical Reliability Chris Inacio report .pdf slides

MEMS Jiantao Pan report .pdf slides

Multi-disciplinary Design Phil Koopman --- .pdf slides

Non-Operating Reliability Mike Carchia report .pdf slides

Profits & Business Models Mike Carchia report .pdf slides

Quality of Service Kanaka Juvva report .pdf slides

Real Time Systems Kanaka Juvva report .pdf slides

Reliability Growth Ying Shi report .pdf slides

Requirements & Specifications Eushiuan Tran report .pdf slides

Robust Control Theory Leo Rollins report .pdf slides

Safety Critical Systems/Analysis Rob Slater report .pdf slides

Security Kanaka Juvva report .pdf slides

Shoddy Spares & Customer Circumvention John DeVale report .pdf slides

Social/Legal Concerns Adrian Drury report .pdf slides

Software Fault Tolerance Chris Inacio report .pdf slides

Software Reliability Jiantao Pan report .pdf slides

Software Safety Mike Scheinholtz report .pdf slides

Software Testing Jiantao Pan report .pdf slides

System Architecture Approaches Mike Scheinholtz report .pdf slides

System Life Cycle Philip Koopman report .pdf slides

Traditional Reliability John DeVale report .pdf slides

Ultra Dependability Mike Scheinholtz report .pdf slides

Verification/Validation/Certification Eushiuan Tran report .pdf slides

Home page e-mail koopman@cmu.edu

Contents: Topics in Dependable Embedded Systems

Introductory Lecture Notes:

Individual Topic Areas

Contents:
Topics in Dependable Embedded Systems