Dependable Components and Systems

Research Lab

Dependability includes non-functional system features such as reliability, availability, safety, security etc. and efficient techniques for such trustworthy hardware components and software systems for the systems that society depends on, such as power grids, transportation, medicine, and finance, are vital, since failures in these complicated systems may lead to significant financial losses or even human casualties. Methodologies, architectures, and mechanisms that support modeling, design, implementation, and evaluation of trustworthy hardware and software systems and applications are our main concern.

Dependable Components and Systems (DCS), conducts research on the following areas:

  • Testing HW components, SoC and embedded software
  • Model Checker based Testing and Verification
  • Fault-tolerant Design
  • Real-Time Systems