Evolutionary Verification, Validation and Certification

Evolutionary Verification, Validation and Certification

EVOLVE project has as main goal the production of a framework of methodologies to be used in the verification and validation of evolutionary software products in early development stages (requirements and architecture). This will be achieved through the accreditation/certification of each iteration integration and/or component in the context of Model Driven Engineering (MDE).

The methodology to be defined in EVOLVE project will be iterative and incremental, with the possibility to be adapted to agile development and model oriented, in order to foment the reuse of accredited/certified components. The target domain of this project are the real time embedded systems which may (or may not) have certification and accreditation requirements (demands), internal and external. The functional and non-functional properties (performance, error handling, etc.) will also be focus of this study, from the architectural requirements assessment to the final acceptance of the design by the customer.

Project info

Supported by QREN, project 1621 (CCTC, 60 KEuro)
Start Date June 2008
Duration 3 years
Participants CCTC, Critical Software
Local Coordination Manuel Alcino Cunha (alcino@di.uminho.pt)
Telefone +351 253604430
Fax +351 253604471

Logo_Compete.jpg QREN_Logotipo(H).jpg UE_cores.jpg

r31 - 19 Oct 2012 - 09:22:15 - JoseNunoOliveira
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM