This document provides the definition of metrics for requirements that have been selected within the preceding requirement analysis (Deliverable D4.1).Using such metrics, requirements imposed on particular AdCoS can be verified and if the AdCoS satisfies all the requirements then the AdCoS is qualified for usage. In the second part, this document contains brief description of model-based and empirical techniques and tools that could be used for verification of these requirements.
Dissemination Level:
Public
