| Scope and form: Lectures, problem sessions/practical classes. |
| Evaluation: Project report
|
| Examination: 13-scale |
| Previous course: 49372 |
| Prerequisites: 02220 |
| Aim: To illustrate the types of problems which arise and methods used in the design and analysis of systems of interconnected computers. |
| Contents: Classification of distributed systems: loosely- and tightly-coupled systems. System architectures: unreliable networks and programs as implementations of perfect abstract processes which communicate via lossless channels. Services and protocols. Principles of protocol design. Standardisation of services and protocols. The OSI model for protocol and service architecture. Specification of distributed activities. Proofs of system properties. Distributed algorithms and their properties. Implementation of distributed systems. Protocol implementation. Security. Distributed operating systems. Server-based systems and clusters. |
| Contact: Robin Sharp, building 322, (+45) 4525 3749, ris@imm.dtu.dk |
| Department: 002 Informatics and Mathematical Modelling |
| Course URL: http://www.imm.dtu.dk/courses/02222 |
| Keywords: Distributed systems, computer networks, protocols, distributed algorithms, system architecture. |
| Updated: 04-05-2001 |
