Vurderingsordning

Faglig innhold

Emnet gir en bred innføring i konstruksjon og analyse av pålitelige IKT-systemer. Følgende tema dekkes:
* Pålitelighetsegenskaper som tilgjengelighet (Availability), funksjonsannsynlighet (Reliability) og ulykkes-sikkerhet (Safety), samt QoS.
* Feilårsaker og -semantikk, feilavhjelping/vedlikehold.
* Modellerings- og analysemetoder med vekt på blokkskjema og tilstandsdiagram/Markovmodeller.
* Feiltoleranse - ulike prinsipper og løsninger i sentraliserte og distribuerte systemer. Egenskapene til ulike løsninger.
* Prediksjon av maskinvarefeilrate.
* Modellering av feiling av programvare, prediksjon. Modellering og analyse av sammensatte systemer (maskin- og programvare).
* Pålitelighet i nett, feilhåndtering, dimensjonering under hensyntagen til overføringskapasitet.

Læringsutbytte

Studentene skal få innsikt i hvordan bygge opp og håndtere IKT-(informasjons- og kommunikasjonsteknologiske) systemer for å gjøre disse pålitelige, så de kan møte krav til alltid å være operative (tilgjengelige), fungere uten avbrudd (funksjonssikre) og ha krevd ulykkes-sikkerhet. De skal videre være i stand til å kvantitativt evaluere systemer mhp. disse egenskapene. Teknikker for å få systemer til å fungere på tross av feil i egne elementer eller delsystem (feiltoleranse) er en del av dette. Studentene skal også beherske et metodeapparat for kvantitativt å kunne vurdere ulike systemløsninger mhp. nevnte egenskaper. De skal ha innsyn i viktige pålitelighesaspekter ved program- og maskinvare samt nett.

Læringsformer og aktiviteter

Forelesninger. Regne- og dataøvinger. Laboratorieprosjekt, gjennomført i smågrupper, med utvikling av en feiltolerant tjeneste i et distribuert system. Ved utsatt eksamen (kontinuasjonseksamen) kan skriftlig eksamen bli endret til muntlig eksamen.

Obligatoriske aktiviteter

• Laboratorieprosjekt/øving

Anbefalte forkunnskaper

Grunnleggende kunnskap innen oppbygging og virkemåte av IKT-systemer. Grunnleggende kunnskap innen sannsynlighetsregning, Markov modellering og analyse, som dekket av emne TTM4110 Pålitelighet og ytelse med simulering. Programmering for laboratorieoppgave.

Kursmateriell

Foreløpig liste:
Bjarne E. Helvik, "An Introduction to the Design and Evaluation of Dependable Computing Systems and Communication Networks", kompendium TAPIR. Artikler. Øvrig materiell knyttet til laboratorieprosjektet. Mathematica introduksjonsmateriell og "notebooks" for pålitelighetsanalyse.

Studiepoengreduksjon