INF4232 – Logikk for systemanalyse
Beskrivelse av emnet
Kort om emnet
Emnet har to hovedm?l:
1. Vise hvordan logiske metoder kan brukes til ? modellere og resonnere om datatyper og distribuerte systemer.
2. Gi en h?yniv? innf?ring i distribuerte systemer.
Emnet introduserer ulike klasser av distribuerte distribuerte systemer, som transport-protokoller, database-protokoller, klassiske distribuerte algoritmer og sikkerhetsprotokoller. Ulike kommunikasjonsformer og litt feilh?ndtering. Modellering og analyse av slike distribuerte systemer, og en innf?ring i ulike klasser av kravspesifikasjoner til distribuerte systemer. Formalisering av kravspesifikasjoner og analyse av hvorvidt et system tilfredsstiller en gitt kravspesifikasjon.
Likhetslogikk og omskrivingslogikk, og det assosierte analyseverkt?yet Maude, brukes til ? spesifisere og analysere systemene, i tillegg til matematiske resonnementer om egenskaper som terminering og invarians.
Hva l?rer du?
Etter ? ha fullf?rt dette emnet:
- kjenner du til noen klassiske distribuerte systemer/algoritmer
- har du en forst?else for utfordringene knyttet til design av distribuerte systemer
- kan du modellere distribuerte systemer, som distribuerte algoritmer, nettverksprotokoller og sikkerhetsprotokoller, p? et h?yt abstraksjonsniv?
- kan du lage og teste ut prototyper/modeller for slike systemer
- kan du resonnere matematisk om egenskaper til systemer, som f. eks. terminering og korrekthet
- forst?r du ulike former for kommunikasjon og nettverk
- kjenner du til sentrale klasser av krav som kan stilles til et distribuert system
- kan du formalisere kravspesifikasjoner og kan sjekke hvorvidt et gitt system tilfredsstiller sin kravspesifikasjon
Opptak og adgangsregulering
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.