| Tidligere kursus: C4358 |
| Udbydes af:
Institut for Informationsteknologi
(IT) |
| Pointspærring: C4358 |
| Faglige forudsætninger: 49270 |
| Ønskelige forudsætninger: 52235 |
| Vejledende semester:
Sidst i studiet. |
| Undervisningsform: Forelæsninger. 1 eftermiddag opgavegennemgang, gruppearbejde eller øvelser. |
| Evalueringsform:
Skriftlig eksamen
(13-skala
) |
| Kontaktperson: |
Robin Sharp, IT, bygn. 343, tlf. 4525 3749 E-mail: robin@it.dtu.dk |
|
| Kursusmål: 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. Standardisering af protokoller og tjenester. Specifikation af distribuerede aktiviteter. Beviser for systemers egenskaber. Distribuerede algoritmer og egenskaber for disse. Realisering af distribuerede systemer. Protokolimplementering. Distribuerede operativsystemer. Serverbaserede systemer. |
