Presentation:
Jag forskar inom området som handlar om pålitliga datorsystem. Ett datorsystem som man betraktar som pålitlig ska kunna fungera utan katastrofala följder även om något fel uppträder i dess komponenter eller i dess omgivning. Exempel är ett flygplan som kan landa säkert även om något delsystem slutar att fungera, eller ett webb-baserat banksystem som fortsätter att vara tillgänglig även om överbelastningar eller intrång uppträder. Vissa system, såkallade realtidssystem har även realtidskrav. Dessa måste vara färdiga med sina beräkningar i tid om det ska vara nån nytta överhuvudtaget.
Simin Nadjm-Tehrani är kontaktperson för följande projekt: