Duke High Availability Assurance Lab (DHAAL)

    Feb. 24th, 2010 @Satisfaction, Durham, NC

  • Research Focus

    • Advances in modeling techniques
    • Performance, reliability, availabiliy, security, survivability, resilience modeling
    • Development of modeling tools
  • Ongoing Projects
    • Performability and Capacity Planning of Cloud computing with IBM Research
    • Security and dependability modeling under NSF funding.
    • Reliability and Performance Modeling of VANETs under NSF funding.
    • Availability modeling under NEC Corp. Japan funding.
  • Sponsors
  • NSF


    NEC Japan


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


  • Dr. Xiaomin Ma visited to our group for the kick-off meeting of  NSF VANETs proejct during Aug. 23-25.
  • Dr. Sahra Sedigh visited to our group to discuss collaboration in the area of reliability of Cyber-physical systems during Aug 11-12.
  • Dr. Trivedi will be giving a keynote on "Dependability, Security and Survivability Models" at the  NGNS 2010.
  • More news


Duke University | Electrical&Computer Engineering

Last updated: 8/25/2010