Task CS[2]: Modelling and Verification

This task is concerned with the background theories for data representations and design of the activities as processes, the specification 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 specification framework developed in work-package FF. Verification of the abstract processes is done by using the tool support from work package VC. Using the refinement techniques from work package RA, the abstract process shall be refined down to a level, where code generation is possible and where the sensors and other devices are accessible.

All Tickets

Ticket Priority Summary Owner
No tickets found

Last modified 8 years ago Last modified on 25.02.2011 10:46:15