• Studier
• Emner
• Matematikk og naturvitenskap
• Informatikk
  • INF5150

INF5150 - Uangripelige IT-systemer

Kort om emnet

Spesifikasjonsteknikkene som blir gjennomgått har lenge vært benyttet ved design av sanntidssystemer og andre distribuerte systemer. Vi konsentrerer oss om systemer av samhandlende aktører og modellerer i UML 2.0. Sekvensdiagrammer i UML står sentralt som notasjon for intuitiv og formell beskrivelse av samhandlingsmønstre. Emner som inngår er:

• teoretisk fundament for UML
• grunnleggende raffineringsbegreper i en UML kontekst
• modularitet ved hjelp av kontrakts-orientert spesifikasjon
• modellbasert sikkerhetsanalyse

Hva lærer du?

Kurset tar sikte på å lære studentene hvordan man lager programvare som er uangripelig i den betydning at den er lett å analysere mhp. kvalitet (særlig når det gjelder sikkerhet og pålitelighet) samtidig som den er lett å vedlikeholde. Den overordna målsetningen er å forklare hvordan praktisk programvareutvikling kan ha nytte av teorier om tilstandsmaskiner, raffinering, sikkerhetsanalyse, formell argumentasjon, og modularitet.

Opptak og adgangsregulering

Studenter må hvert semester søke plass på undervisningen og melde seg til eksamen i StudentWeb.

Dersom du ikke allerede har studieplass ved UiO, kan du søke opptak til våre studieprogrammer eller søke om å bli enkeltemnestudent.

Forkunnskaper

Anbefalte forkunnskaper

Det kan være nyttig med kunnskaper innen modellering og innen formelle teknikker, men det er ikke noen nødvendighet.

Overlapping

9 studiepoeng mot INF-UIT

Undervisning

3 timer forelesninger per uke i høstsemesteret. Kurset har en obligatorisk oppgave som skal gjennomføres i grupper. Den obligatoriske oppgaven vil bestå av modellering, raffinering, analyse og implementering av et enkelt distribuert system. Oppgaven vil deles i flere innleveringer, som har innleveringsfrister i løpet av semesteret. Les mer om krav til innlevering av oppgaver, gruppearbeid og lovlig samarbeid under retningslinjer for obligatoriske oppgaver.

Vurdering og eksamen

Skriftlig eller muntlig eksamen. Alle obligatoriske oppgaver må være bestått for å kunne gå opp til eksamen. Generelle opplysninger om eksamen.

Hjelpemidler

Alle trykte og skrevne hjelpmidler er tillatt.

Eksamensspråk

Eksamensoppgaven gis kun på engelsk når undervisningen er på engelsk.

Sensur

Emnet bruker gradert bokstavkarakterskala fra A til F, der A er beste karakter og F er stryk. Les mer om karakterskalaen .

Tilsynssensor for emnet er Jan Ø Aagedal.

Emnet har en tilsynssensor som vurderer den helhetlige faglige kvaliteten på emnet, inkludert vurderingsordningene.

Adgang til utsatt eller ny eksamen/vurdering

Dette emnet tilbyr ikke ny eksamen i begynnelsen av påfølgende semester til kandidater som stryker eller trekker seg under ordinær eksamen. For generelle opplysninger om ny og utsatt eksamen, se http://www.mn.uio.no/studier/admin/eksamen/utsatt-og-ny-eksamen/index.html

Trekk fra eksamen og antall eksamensforsøk

Ved praktisering av 3-gangers regelen skal emnet sees i sammenheng med INF-UIT.

En student kan fremstille seg til eksamen i dette emnet inntil tre ganger. Studenten anses å ha fremstilt seg til eksamen dersom hun/han ikke har trukket eksamensmeldingen sin i StudentWeb innen en gitt frist.

Annet

Det er sterkt anbefalt å møte på første forelesning fordi det vil bli gitt viktig informasjon.

Kontakt oss