Reliability and verification Print


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