ITLED4320 – Uangripelige IT-systemer
Beskrivelse av emnet
Kort om emnet
Modelleringsteknikkene 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. 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 sikkerhetsrisikoanalyse
Hva l?rer du?
Etter ? ha tatt ITLED4320 kan du:
- lage programvare som er lett ? analysere med hensyn p? sikkerhet og p?litelighet samtidig som den er lett ? vedlikeholde
- forst? hvordan praktisk programvareutvikling kan ha nytte av teorier om tilstandsmaskiner, raffinering, sikkerhetsrisikoanalyse, formell argumentasjon og modularitet
- gjennomf?re en enkel sikkerhetsrisikoanalyse
Opptak til emnet
Dersom?emnet skal inng??i masterprogrammet IT og ledelse, er det krav om to ?rs relevant arbeidserfaring innen IT.
Obligatoriske forkunnskaper
Dersom?emnet skal inng??i masterprogrammet IT og ledelse, er det krav om to ?rs relevant arbeidserfaring innen IT.
Anbefalte forkunnskaper
Det kan v?re nyttig med kunnskaper innen modellering og innen formelle teknikker, men det er ikke noen n?dvendighet.
Overlappende emner
- 10 studiepoeng overlapp med INF5150 – Uangripelige IT-systemer (videref?rt).
- 10 studiepoeng overlapp med INF9150 – Unassailable IT-systems (videref?rt).
Undervisning
Undervisningen er fordelt utover semesteret, se "Samlinger h?sten 2021" for n?rmere informasjon.
Obligatoriske oppgaver gjennomf?res mellom undervisningsukene. Kurset er delt i tre bolker med fokus p? henholdsvis modellering, raffinering og sikkerhetsanalyse og det er en obligatorisk oppgave per del som m? best?s.
Eksamen
4 timers avsluttende, skriftlig digital eksamen som teller 100%.
Alle obligatoriske oppgaver m? v?re godkjente for ? kunne g? opp til eksamen. Les mer om krav til innlevering av oppgaver, gruppearbeid og lovlig 澳门葡京手机版app下载 under retningslinjer for obligatoriske oppgaver. Obligatorisk oppm?te p? f?rste forelesning.
Hjelpemidler til eksamen
Alle trykte og skrevne hjelpmidler er tillatt.
Eksamensspr?k
Du kan besvare eksamen p? norsk, svensk, dansk eller engelsk.
Karakterskala
Emnet bruker?karakterskala fra A til F, der A er beste karakter og F er stryk. Les mer om karakterskalaen
Adgang til ny eller utsatt eksamen
Studenter som dokumenterer gyldig frav?r fra ordin?r eksamen, kan ta utsatt eksamen i starten av neste semester.
Det tilbys ikke ny eksamen til studenter som har trukket seg under ordin?r eksamen, eller som ikke har best?tt.
Mer om eksamen ved UiO
- Kildebruk og referanser
- Tilrettelegging p? eksamen
- Trekk fra eksamen
- Syk p? eksamen / utsatt eksamen
- Begrunnelse og klage
- Ta eksamen p? nytt
- Fusk/fors?k p? fusk
Andre veiledninger og ressurser finner du p? fellessiden om eksamen ved UiO.