Formal requirements

Two deliverables will be provided: first, we will specify a set of informal application requirements, and second, we will select a subset of these and make formal specifications of their informal requirements. The latter subset will be used in the rest of the project to drive development of the edge-computing platform and its industrial application.