IN5130 – 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. Temaer 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 dette emnet 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
Studenter m? hvert semester?s?ke og f? plass p? undervisningen og melde seg til eksamen? i Studentweb.
Studenter tatt opp til andre masterprogrammer kan, etter s?knad, f? adgang til emnet hvis dette er klarert med eget program.
Dersom du ikke allerede har studieplass ved UiO, kan du s?ke om opptak til v?re?studieprogrammer, eller s?ke om ??bli enkeltemnestudent.
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 IN9130 – Unassailable IT-systems.
- 10 studiepoeng overlapp med INF5150 – Uangripelige IT-systemer (videref?rt).
- 10 studiepoeng overlapp med INF9150 – Unassailable IT-systems (videref?rt).
Undervisning
Emnet 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.
Det er tre timer forelesning og to timer gruppeundervisning hver uke.
Eksamen
4 timers avsluttende skriftlig digital eksamen. Alle obligatoriske oppgaver m? v?re godkjente for ? kunne g? opp til eksamen.
Som eksamensfors?k i dette emnet teller ogs? fors?k i f?lgende tilsvarende emner:?INF5150 – Uangripelige IT-systemer (videref?rt) , INF9150 – Unassailable IT-systems (videref?rt), IN9130 – Unassailable IT-systems
Hjelpemidler til eksamen
Alle trykte og skrevne hjelpmidler er tillatt.
Eksamensspr?k
Du kan besvare eksamen p? norsk, svensk, dansk eller engelsk.
Karakterskala
E