Image Welcome to Duke High Availability Assurance Laboratory (DHAAL) led by Dr. Kishor S. Trivedi at Department of Electrical & Computer Engineering, Duke University, Durham, NC, USA.