Bachelorprojekt - Softwareteknologi
Project No. 0245:  A framework for correct and reliable distributed applications

Aktuelle

Tidligere

Description:

Modern software applications are designed and developed as ensembles of distributed components that interact by exchanging messages. There are many programming languages and toolkits that facilitate the development of such applications: for instance, Akka, Erlang, Orleans. Still, developing reliable concurrent and distributed systems is very challenging. Two of the main issues are:

• How can we guarantee that the application components run and communicate according to a certain specification?
• How can we handle failures, e.g., if one or more components become unresponsive?

The goal of this project is to design and develop an application framework that:

1. Provides a way to specify the intended behaviour of a concurrent and distributed system, and
2. Helps programmers in ensuring that their code matches the specification at point 1.

The application framework can be based on a programming language or toolkit of your choice - e.g., one listed above.

There are many ways to approach the project, but the specification (item 1) will be likely based on a formal model, such as those in 02141 Computer Science Modelling and/or 02246 Model Checking. Item 2 can also be addressed in various ways (e.g., by generating a program skeleton or API from the specification, or generating monitors that check whether the application is running according to the specification).

Prerequisites:

Familiarity with the concepts of 02141 and/or 02246. Optional (but very helpful): Good functional programming skills (02157). Knowledge of concurrency and distribution notions (02148, 02158)

Remarks: At most three students in the Spring of 2022

Supervisor(s) Alceste Scalas

Sidst opdateret: Nov 19, 2021 af Carsten Witt