Task CS: Modelling and Veriﬁcation
This task is concerned with the background theories for data representations and design of the activities as processes, the speciﬁcation of the monitoring processes surveilling the execution of the activities, as well as the general monitoring and control processes. This work is based on the speciﬁcation framework developed in work-package FF. Veriﬁcation of the abstract processes is done by using the tool support from work package VC. Using the reﬁnement techniques from work package RA, the abstract process shall be reﬁned down to a level, where code generation is possible and where the sensors and other devices are accessible.