Homework for TTM4120 Dependable Systems Lab 3 - Design and implementation of a resource allocation service