Abstrakt: Věda i současná praxe znají řadu metod, jak se přiblížit bezchybné funkčnosti vyvíjeného systému (od testování po formální verifikaci). Bezchybnost je však jen jednou z mnoha kvalit softwarových systémů - vedle výkonnosti, spolehlivosti, bezpečnosti, úspornosti, udržovatelnosti, a celé řady dalších. Tato přednáška se zaměřuje na dva oblíbené kvalitativní atributy softwarových systémů - výkonnost (performance) a spolehlivost (reliability) - pro které si představíme formální techniky asistující softwarovým architektům v návrhu kvalitních softwarových systémů. Zmíním se i o vědeckých otázkách řešených v této souvislosti.