|Reliability and verification|
This objective focuses on correctness, verification, and security.
New techniques and the underlying theories to support the design and the implementation of correct and reliable service components and service-component ensembles will be developed. In particular, a major focus should lie on the correctness of service components and ensembles, i.e., both verification of components and design techniques ensuring correctness-by-construction. Furthermore, security and access control issues of service components and service-component ensembles must be taken into consideration.
We will consider these challenges in work package 5.
|Last Updated on Wednesday, 07 November 2012 13:04|