Highly Dependable Location Tracker

The world pandemic we live in calls for dependable location tracking and contact tracing tools.

This project was made in the scope of the "Highly Dependable Systems" course at Instituto Superior Técnico. Check the project-brief folder for more details on the project.

Final Grade: 20/20

Structure

Module	Description
project-brief	Two Stages Project Briefs
reports	Two Stages Reports
client	Service Invocations
contract	Proto Definitions
generator	Grid Generation
crypto	Crypto API
server	Service Implementation

Building the Project

To compile and install the contract and then all the modules, in the root folder:

cd contract

mvn clean compile install

cd ../

mvn clean compile install -DskipTests

Running the Stage 1 Test Suites

In the root project directory, run:

mvn -Dit.test=Stage1IT verify

Running the Stage 2 Test Suites

In the root project directory, run:

mvn -Dit.test=Stage2IT verify

---

Authors

Group 25

Team members

Name	University	More info
André Augusto	Instituto Superior Técnico
Lucas Vicente	Instituto Superior Técnico