사이버 물리 시스템(CPS)과 사물 인터넷(IoT)의 추세는 시스템이 더욱 지능적이고 자율적으로 임무를 수행할 것을 요구합니다. 시스템 운영의 장애 또는 중단은 종종 막대한 사상자나 경제적 손실과 같은 치명적인 결과로 이어집니다. 고도로 복잡한 환경에서 임무를 수행하기 위해 시스템에는 다양한 소스의 입력을 읽고, 네트워크를 통해 다른 분산 시스템과 통신/협업하고, AI(인공지능)의 지원을 받아 지능적인 의사 결정을 내리는 소프트웨어가 탑재됩니다. 이러한 복잡한 특성으로 인해 정확하고 신뢰할 수 있는 소프트웨어 시스템을 설계하는 것은 그 어느 때보다 어려워졌습니다. 고보증 소프트웨어 시스템(HASS) 랩은 복잡한 소프트웨어 시스템의 안전성, 보안성, 성능을 보장하기 위한 시스템 및 소프트웨어 보증 연구를 수행합니다.