This workpackage comprises several case studies dealing with
(distributed, dynamic) resource allocation problems.
There are four main case studies, each one sponsored by one
of the assistant industrial contractors.
In addition, it is anticipated that during the course of the project
new relevant case studies will appear.
The work on each case-study will progress along the following scheme.
First, the case provider will present the application domain and one or more
problems will be isolated. Then, a preliminary problem description language
will be defined. It will allow to define variants of the problem in
end-user terms. After the principles of translating such problems into
suitable timed automata models are understood, a translator from the
language to these models will be written and the result will be
subject to the analysis methods and tools developed in WP2.
The results will be evaluated at the end of the project by the provider.