Common Contracts
1 similar null contracts
Grant agreement number: 257414 Funding Scheme: FET Proactive Project Type: Integrated ProjectJune 30th, 2011
The ASCENS project addresses both verification of correctness of ensembles and validation of their performances. This is realized by using various techniques tailored to specific issues considered in the project: large number of components, adaptive behavior, uncertain environment. The proposed methods are formally founded, that is, they use explicit mathematical models representing system be- havior and its interaction with the external environment. To illustrate the effectiveness our approach, we evaluated some of the verification and validation techniques considered in ASCENS by their ap- plication to the case studies of the project, which is reported in this deliverable. We had the following main results.
