Faglig innhold

Basis: Mål for pålitelighet, ytelse og tjenestekvalitet; ressurser og ressursutnyttelse, feilårsaker og feilavhjelpning, analytiske modeller, diskrete og kontinuerlige fordelinger, grunnleggende om stokastiske prosesser. Poissonprosessen, diskret rom - kontinuerlig tid, Markov modeller og analyse. Simulering: Prosessorientert simulering, generering av tilfeldige variabler, primitiver i Demos, analyse av resultater. Ytelse og trafikk: Erlang og Engsets avvisningsmodeller, M/M/1 og Erlang-kømodeller, Jackson kønett. Pålitelighet: funksjonssannsynlighet, tilgjengelighet, systemtider i enkle redundanstrukturer bestemt ved hjelp av Markovmodeller; blokkdiagram, feiltrær, strukturfunksjoner, stier og kuttesett. Målinger: observasjonsstrategier, punkt- og intervallestimering, eksperimentoppsett.

Læringsutbytte

A. Kunnskap:
1) Å få en grunnleggende forståelse for betydningen av ikke-fuksjonelle krav ved tjeneste- og systemdesign.
2) Å få en grunnleggende forståelse av prinsipper for pålitelighet og ytelsesevaluering og dimensjonering av data- og kommunikasjonssystemer (IKT).
3) Å få en grunnleggende forståelse av modellering, analyse og målinger for evaluering og dimesjonering.
4) Å få en grunnleggende forståelse av sannsynlighetsregning, statistikk, og stokastiske prosesser for modelleing av IKT systemoppførsel.
5) Å få en grunnleggende forståelse av Markovmodellering og løsning av disse.
6) Å få en grunnleggende forståelse av Prosessorientert modelling og simulering.
7) Å få en grunnleggende forståelse av simulerings- og målemetoder.

B. Ferdighet:
1) Å bli i stand til å spesifisere ytelses- og påliteligshetskrav.
2) Å bli i stand til å beskrive systemegenskaper ved hjelp av en Markovmodell.
3) Å bli i stand til å bestemme systemegenskaper symbolsk og nummerisk fra en Markov modell.
4) Å bli i stand til å beskrive en simuleringsmodell, implementere en simulator og gjennomføre et simuleringseksperiment.
5) Å bli i stand til å avlede systemegenskaper fra målinger, analytiske- og simuleringsresultater.

Læringsformer og aktiviteter

Forelesninger og øvinger ved hjelp av analyse og simuleringsverktøy. Frivillige selvtester. Ved utsatt eksamen (kontinuasjonseksamen) kan skriftlig eksamen bli endret til muntlig eksamen.

Anbefalte forkunnskaper

Emne TMA4240/TMA4245 Statistikk eller tilsvarende forkunnskaper.

Kursmateriell

Peder J. Emstad, Poul E. Heegaard, Bjarne E. Helvik and Laurent Paquereau, Dependability and performance in information and communication systems. Fundamentals, 278 pages, Inst. for telematikk/TAPIR, 2010.
Graham Birtwisle: DEMOS-A system for Discrete Event Modelling on Simula.

Studiepoengreduksjon