A Kritikus Rendszerek Kutatócsoport (korábban Hibatűrő Rendszerek Kutatócsoport) célja olyan új módszerek és eszközök kidolgozása, amiknek a segítségével a mérnökök jobb rendszereket készíthetnek.