At belyse problemstillinger og metoder til brug ved konstruktion og analyse af systemer af sammenkoblede datamater.
Kursusindhold:
Klassifikation af distribuerede systemer: løst- og tætkoblede systemer. Systemarkitekturer: upålidelige netværk og programmer som realiseringer af perfekte abstrakte processer, der kommunikerer gennem tabsfrie kanaler. Tjenester og protokoller. Principper for protokolkonstruktion. Standarder for protokoller og tjenester. Lagdelte arkitekturer.
Specifikation af distribuerede aktiviteter. Beviser for systemers egenskaber. Distribuerede algoritmer og egenskaber for disse. Realisering af distribuerede systemer. Datasikkerhed.
Bemærkninger:
Forudsætninger: Grundlæggende kendskab til parallelle systemer og til de problemstillinger, der gør sig gældende i systemer med samtidige aktiviteter. Grundlæggende kendskab til datanet, simple kommunikationsprotokoller såsom TCP og IP, samt klient/server applikationer. Kan opnås gennem kursus 02220/02152 Parallelle systemer.
