Distributed Real Time Operating Systems

TK8106 undervises annethvert år, neste gang høst 2008. Modeller for synkrone og asynkrone systemer. Spesifikasjoner for sideordnede og distribuerte systemer, konsistens av globale tilstander. Tidsbegrepet i distribuerte systemer, logiske og fysiske klokker. Feiltolerant kommunikasjon i distribuerte systemer og mellom sanntids aktiviteter (beregningsprosesser). Meldinger og navn. Transaksjoner, distribuerte filsystemer. Operativsystemkjerner. Sann tid og pålitelighet, spesielt relatert til distribuerte systemer.

Emnet tar sikte på å gi studentene videregående kunnskaper innen distribuerte sanntids datasystemer.

Emnet undervises som en blanding av kollokvier og ledet selvstudium. Ved utsatt eksamen (kontinuasjonseksamen) kan skriftlig eksamen bli endret til muntlig eksamen.