DM869: Advanced Topics in Concurrent Systems

Study Board of Science

Teaching language: Danish or English depending on the teacher, but English if international students are enrolled
EKA: N340036102
Censorship: Second examiner: External
Grading: 7-point grading scale
Offered in: Odense
Offered in: Spring
Level: Master

STADS ID (UVA): N340036101
ECTS value: 10

Date of Approval: 02-11-2018


Duration: 1 semester

Version: Approved - active

Comment

New course Spring 2019

Entry requirements

None

Academic preconditions

It is an advantage to know the contents of DM861 (Concurrency Theory) or DM848 (Microservice Programming).

Course introduction

This course covers advanced topics in the fields of concurrency theory, logic, and software engineering and their applications in the understanding and development of modern concurrent systems. The students will learn how to acquire strong scientific foundations to conduct innovative R&D in both industrial and academic environments.

In relation to the competence profile of the degree it is the explicit focus of the course to:
  • Give the competence to: plan and carry out scientific projects at a high professional level, including managing work and development situations that are complex, unpredictable, and require new solution.
  • Give skills to: describe, analyse, and solve advanced computational problems using the learned models; develop new variants of the methods learned.
  • Give knowledge and understanding of: a variety of specialized models and methods developed in computer science, based on the highest international research, including topics from the subject's research front; a scientific basis to reflect on the subject area and to identify scientific issues.

Expected learning outcome

The learning objective of the course is that the student demonstrates independence in acquiring and reporting knowledge from the scientific literature on models and techniques for programming and managing concurrent, distributed systems. Specifically, the student will be able to
  • describe the main contributions of selected articles;
  • compare advantages and disadvantages of different approaches;
  • reflect and report on findings extracted from the literature in a systematic way.

Content

The following main topics are contained in the course:
  • High-level programming languages for concurrent systems.
  • Formalisation and verification of concurrent systems.
  • Modern Software Architectures: Large-scale Networks, Microservices, Serverless.
  • Development Processes: Design, Development, Release.
  • System Operations: Automatic Scaling, Continuous Integration, Continuous Deployment.

Literature

See Blackboard for syllabus lists and additional literature references.

Examination regulations

Exam element a)

Timing

June

Tests

Oral defence

EKA

N340036102

Censorship

Second examiner: External

Grading

7-point grading scale

Identification

Student Identification Card

Language

Normally, the same as teaching language

Examination aids

To be announced during the courseĀ 

ECTS value

10

Additional information

During the course two sets of problems are posed. The first of these has to be solved in groups and forms the basis for an oral exam at the end of the course. The final grade, will be based on an overall impression of the student's performance in the two elements which are part of the evaluation. The external examiner will be able to see the solutions of the two problems.

The examination form for re-examination may be different from the exam form at the regular exam.

Indicative number of lessons

60 hours per semester

Teaching Method

At the faculty of science, teaching is organized after the three-phase model ie. intro, training and study phase.

In the intro phase a combination of classical lectures, where the terms and methods of the course are presented, and more applied sessions, where students are taught how the learnt knowledge can be applied in concrete scenarios, is employed. The training phase is divided into discussions and labs, where the students learn the competences that enable them to solve concrete problems. In the study phase the students work independently to improve their understanding and their competences regarding the contents of the course.

Study phase activities:

  • Study of course material.
  • Writing of short reports

Teacher responsible

Name E-mail Department
Fabrizio Montesi fmontesi@imada.sdu.dk

Additional teachers

Name E-mail Department City
Marco Peressotti Peressotti@imada.sdu.dk
Saverio Giallorenzo saverio@imada.sdu.dk

Timetable

Administrative Unit

Institut for Matematik og Datalogi (datalogi, fiktiv)

Team at Registration & Legality

NAT

Recommended course of study

Profile Programme Semester Period