Pålitelige systemer

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.

A. Kunnskap:
1) Terminologi og begreper benyttet i spesifikasjon, design, drift og evaluering av pålitelige informasjons og kommunikasjons (IKT) systemer. Oversikt over "hele" feltet pålitelighet i IKT-systemer.
2) Prinsippene for feiltolerant / overlevingsdyktige design og drift av serversystemer og nett. Arkitekturer og mekanismer som brukes for å oppnå feiltoleranse/overlevbarhet/robusthet.
3) Faktorer som påvirker feilprosessene maskinvare og programvare.
4) Forholdet mellom trafikkhåndtering og pålitelighet i nett.

B. Ferdigheter:
1) Design av systemer med riktig bruk av feiltoleranse/"recovery" mekanismer og redundans for å oppfylle pålitelighets kravene satt til dem.
2) Å kunne evaluere systemer kvantitativt med hensyn på tilgjengelighet og pålitelighet ved ved bruk av Markov modeller med kontinuerlig tid og diskrete tilstander, og pålitelighetsblokkskjema. Pålitelighets dimensjonering.

C. Generell kompetanse:
1) Bevissthet om pålitelighet som en viktig faktor i bruken og økonomien av systemer, herunder den mulige virkningen av feil på kommersielle anvendelse, på samfunnet, og på sikkerheten til mennesker og miljø.

Forelesninger. Regne- og dataøvinger. Obligatorisk prosjekt, gjennomført i smågrupper. Ved utsatt eksamen (kontinuasjonseksamen) kan skriftlig eksamen bli endret til muntlig eksamen.