Faglig innhold

Emnet undervises annet hvert år, neste gang høst 2010. Emnet omhandler modellering ved hjelp av tilstandsdiagram og stokastiske Petrinett. Modellering av system med distribusjon, feiltoleranse og samarbeidende programvareobjekter. Ulike modellerings- og analysemetoder og deres anvendelighet ved ulike problemstillinger. Analysemetoder for systemer modellert ved hjelp av tilstandsdiagram/Markovmodeller herunder: systemtider, rate av (sjeldent inntreffende) systemhendelser, måling av intervalltilgjengelighet og pålitelighetsgarantier, trunkering av tilstandsrom. Pålitelighetssimulering med teknikker for å fremprovosere sjeldne hendelser som "importance sampling" og "splitting".

Læringsutbytte

En god innsikt i muligheter, metoder og utfordringer innen modellering, analyse og dimensjonering av pålitelighet i informasjon- og kommunikasjons-teknologiske (IKT) system, hvor både maskin-, programvare og nett inngår. Det legges vekt på å beherske forhold som er spesifikke innen (høy-)pålitelige systemer så som sjeldent forkommende hendelser, beslutning på grunn av få observasjoner og håndtering av store ustrukturerte tilstandsrom.

Læringsformer og aktiviteter

Kollokvier/interaktive forelesninger, hvor det forusettes at studentene har satt seg inn i temaet på forhånd. Frivillige øvinger. Ved mer enn 4 eksamensoppmeldte vil det bli vurdert å avholde skriftlig eksamen.
Ved utsatt eksamen (kontinuasjonseksamen) kan skriftlig eksamen bli endret til muntlig eksamen.
Dersom kun norsk/skandinavisktalende studenter følger kurset, vil den muntlige delen av undervisningen bli gitt på norsk.

Anbefalte forkunnskaper

Kjennskap til oppbygning av pålitelige/feiltolerante system. Grunnleggende kjennskap til pålitelighets-modellering og -analyse, herunder bruk av diskret rom kontinuerlig tid Markovmodeller. Nødvendige forkunnskaper er gitt i TTM4120 Pålitelige systemer.

Forkunnskapskrav

Ingen

Kursmateriell

Tidskrifts-, konferanseartikler o.a. Oppgis ved kursstart.

Studiepoengreduksjon