Duboko razumijevanje načela i teorijskih postavki pouzdanosti računalnih sustava, projektiranja računalnih sustava, sustava za rad u stvarnom vremenu i formalnih metoda potrebnih za rješavanje složenih inženjerskih problema na području računarstva. Sposobnost oblikovanja i provedbe analize, modeliranja, simulacije i eksperimentalnih istraživanja. Sposobnost rješavanja problema koji se prvi put susreću, koji nisu potpuno definirani i nemaju jednoznačnu specifikaciju. Sposobnost formulacije problema i kritičke evaluacije rješenja.

1. analizirati pouzdanost, raspoloživost i neosjetljivost računalnih sustava na pogreške
2. dizajnirati složeni digitalni sustav koristeći jezike za opis sklopovlja
3. dizajnirati složeni digitalni sustav koristeći ASIC
4. upotrijebiti metode raspoređivanja i komunikacije na probleme u stvarnom vremenu
5. razviti model i programske strukture potrebne za modeliranje sustava u stvarnom vremenu
6. primijeniti formalne metode u verifikaciji programa i sklopovlja

Predavanja se izvode kroz 15 tjedana s tjednim opterećenjem od 1 sat (prosječno). Gradivo prezentirano na predavanjima služi kao priprema za rješavanje zadataka iz četiriju spomenutih područja.

Laboratorijske vježbe se izvode kroz 15 tjedana s tjednim opterećenjem od dva sata. Na laboratorijskim vježbama rješavaju se zadaci vezani uz četiri spomenuta područja.

1. Uvodno predavanje. Priprema za lab. vježbu "Modeliranje pouzdanosti i raspoloživosti" Konzultacije
2. Predstavljanje razvojnog okruženja Altium LiveDesign, Xilinx Spartan3 FPGA, Xilinx WebISE Konzultacije
3. Predstavljanje razvojnog okruženja Altium LiveDesign, Xilinx Spartan3 FPGA, Xilinx WebISE Konzultacije
4. Uvod u VHDL Konzultacije
5. Uvod u VHDL Konzultacije
6. Demonstracija rada u Xilinx WebIse-u Konzultacije
7. Demonstracija rada u Xilinx WebIse-u Konzultacije
8. Priprema za lab. vježbu "Poboljšanje pouzdanosti sustava" Konzultacije
9. Priprema za lab. vježbu "Poboljšanje pouzdanosti sustava". Konzultacije
10. Raspoređivanje dretvi u (RT) operacijskim sustavima Konzultacije
11. POSIX sučelje Konzultacije
12. Provjera statusa lab. vježbe "Poboljšanje pouzdanosti sustava" Konzultacije
13. Formalne metode u verifikaciji tipičnih dijelova programa, digitalnog sklopovlja, te kritičnih sinkronizacijskih i komunikacijskih protokola operacijskih sustava (1. dio) Konzultacije
14. Formalne metode u verifikaciji tipičnih dijelova programa, digitalnog sklopovlja, te kritičnih sinkronizacijskih i komunikacijskih protokola operacijskih sustava (2. dio) Konzultacije
15. Formalne metode u verifikaciji tipičnih dijelova programa, digitalnog sklopovlja, te kritičnih sinkronizacijskih i komunikacijskih protokola operacijskih sustava (3. dio) Konzultacije