Studenti su upoznati s osnovnim konceptima, metodama i tehnikama oblikovanja, implementacije i vrednovanje pouzdanosti sklopovlja i programa. Stječu razumijevanje modela kvarova u računalnim sustavima, postupaka otkrivanja i maskiranja kvarova, pristupa oporavku od pogreške i problematike testiranja. U stanju su primijeniti različite pristupe za poboljšanje i vrednovanje pouzdanosti, raspoloživosti i neosjetljivosti na pogreške, te imaju sposobnost samostalnog zaključivanja i primjene odgovarajućih tehnika na praktičnim problemima. Studenti proširuju teorijsko i praktično znanje iz područja kritičkim proučavanjem novih metoda.

1. Objasniti osnovne principe i teorijske postavke pouzdanosti sklopovlja i programa.
2. Procijeniti kvarove računalnih sustava.
3. Procijeniti svojstva oslonljivosti računalnih sustava.
4. Upotrijebiti vjerojatnosne analize oslonljivosti računalnog sustava neosjetljivog na pogreške.
5. Upotrijebiti tehnike programske pouzdanosti
6. Dizajnirati i ocijeniti arhitekture računalnih sustava neosjetljivih na pogreške.

U tjednima nastave održava se tri 45 mintna predavanja. Naglask na predavanjima je prikaz osnovnih koncepata s primjerima, rješavanje zadataka i diskusije problema.

Kontinuirana provjera znanja obuvaća dvije provjere znanja (međuipit - 20% i završni ispit - 45%) te domaće zadaće, kratke provjere znanja i sudjelovanje u nastavi.

Konzultacije će se održavati u definiranim terminima i sustavom e-učenja.

Tijekom semestra bit će organiziran stručni posjet računalnim centrima s praktičnim upoznavanjem implementacije oslonljivosti.

1. Uvod. Osnovni principi, primjeri i terminologija. Definicije oslonljivosti, pouzdanosti i raspoloživosti. Kvarovi, pogreške i zatajenja.
2. Modeli kvarova i pogrešaka. Procesi zatajenja, obrada kvarova.
3. Testiranje digitalnih sustava. Simulacije. Projektiranje s naglaskom na testabilnost. Ugrađeno testiranje, samotestiranje.
4. Teorija pouzdanosti. Metode vrednovanja pouzdanosti. Funkcija intenziteta kvara, srednje vrijeme do kvara, srednje vrijeme do popravka. Kombinatorni modeli. Blok dijagram pouzdanosti. Monte Carlo simulacija.
5. Modeliranje pouzdanosti, raspoloživosti i sigurnosti Markovljevim modelima. Načini zatajenja i analiza efekata.
6. Tehnike poboljšanja pouzdanosti. Tehnike oblikovanja sustava neosjetljivih na pogreške. Sklopovska redundancija.
7. Provjera znanja
8. Popravljivi sustavi. Sustavi s pričuvom. Diskusija.
9. Vremenska redundancija. Otkrivanje i tolerancija prijelaznih i trajnih kvarova. Informacijska redundancija. Kodovi za otkrivanje i ispravak pogrešaka.
10. Redundancija programa. Modeli pogrešaka programa. N-verzijsko programiranje, blokovi oporavka.
11. Modeli i procjena programske pouzdanosti. Utjecaj programskih zatajenja na ponašanje sustava.
12. Neosjetljivost na pogreške u raspodijeljenim sustavima. Bizantinski model zatajenja.
13. Visoko raspoloživi računalni sustavi i usluge. Modeli održavanja.
14. Eksperimentalna analiza pouzdanosti i raspoloživosti sustava. Metodologije oblikovanja sustava. Diskusija.
15. Završni ispit