Laboratory for Dependable Computing (LDC)

We conduct research related to design and validation of dependable computing systems. The research activities are organized into two groups:

• Fault Tolerant Computing for Embedded Applications (FORCE)
• Safety Critical Embedded System Design (SACRED)

Last updated: August 12, 2003