Sveprisutnost računalnih sustava i oslanjanje na njihove usluge čini ih nezamjenjivim dijelom današnjeg života. Stoga je izuzetno važno smanjiti učestalost kvarova takvih sustava i njima uzrokovanih šteta na prihvatljivu razinu. U okviru kolegija proučavaju se koncepti, metode i tehnike oblikovanja, kao i implementacija, analiza i vrednovanje pouzdanosti, raspoloživosti i neosjetljivosti na pogreške sklopovlja i programa s ciljem razumijevanja uzroka i posebnosti zatajenja računalnih sustava. Naglasak je na proučavanju pouzdanosti i neosjetljivosti na pogreške računalnih sustava, te razvijanje sposobnosti za primjenu osnovnih principa za izgradnju stvarnih sustava.
Opis predmeta:
KALENDAR
Predvidivi raspored predavanja prema kalendaru nastave:
Tj.
|
Opis
|
Literatura
|
I
|
Uvod. Osnovni principi, primjeri i terminologija. Definicije oslonljivosti, pouzdanosti i raspoloživosti. Kvarovi, pogreške i zatajenja.
|
[Sie98] Poglavlje 1
|
II |
Teorija pouzdanosti. Metode vrednovanja pouzdanosti. Funkcija intenziteta kvara, srednje vrijeme do kvara, srednje vrijeme do popravka. Kombinatorni modeli. Blok dijagram pouzdanosti. Monte Carlo simulacija.
|
[Sie98] Poglavlje 5 (str. 271-305)
|
III
|
Modeliranje pouzdanosti, raspoloživosti i sigurnosti Markovljevim modelima. Načini zatajenja i analiza efekata. Tehnike poboljšanja pouzdanosti.
|
|
IV
|
Tehnike oblikovanja sustava neosjetljivih na pogreške. Popravljivi sustavi. Sustavi s pričuvom.Vremenska redundancija. Otkrivanje i tolerancija prijelaznih i trajnih kvarova.
|
[Sie98]
Poglavlje 3(str. 138-201) |
V
|
Modeli kvarova i pogrešaka. Procesi zatajenja, obrada kvarova.
|
[Sie98]
Poglavlje 2 |
VI | Postupci generiranja testova. Simulacije kvarova. Testiranje digitalnih sustava. JTAG. | |
VII |
Projektiranje s naglaskom na testabilnost. Ugrađeno testiranje, samotestiranje.
|
[Sie98]
|
|
Međuispit
|
|
|
Međuispit
|
|
VIII
|
Informacijska redundancija. Kodovi za otkrivanje i ispravak pogrešaka. Primjena kodova.
|
[Sie98]
Poglavlje 3 (str. 103-137) Dodatak A,B |
IX |
Redundancija programa. Modeli pogrešaka programa. N-verzijsko programiranje, blokovi oporavka.
|
[Sie98]
Poglavlje 3(str. 201-219) Poglavlje 5 (str. 279-285) |
X
|
Modeli i procjena programske pouzdanosti. Utjecaj na ponašanje sustava.
|
[Sie98]
Poglavlje 5 (str. 279-285) |
XI
|
Neosjetljivost na pogreške u raspodijeljenim sustavima. Bizantinski model zatajenja.
|
|
XII
|
Visoko raspoloživi računalni sustavi i usluge. Modeli održavanja.
|
|
XIII
|
Eksperimentalna analiza pouzdanosti i raspoloživosti sustava. Metodologije oblikovanja sustava. Optimalna uporaba resursa.
|
|
Završni ispit
|
|
|
|
Završni ispit
|
|
|
Pismeni i usmeni ispit
|
|