Keywords knowledge-based systems validation
Start Date: 01-SEP-92 / Duration: 39 months
[ contact / participants ]
The objective of the VIVA project is to develop a tool set and a method to perform validation, verification and improvement of knowledged-based systems
The major deliverable items at the conclusion of the project will be:
The design and construction of the tool set will take into account longer term commercial requirements, such as the need to provide verification and validation support across multiple knowledge-based system development platforms.
The starting point of the project is a number of tools which are brought to the project by individual partners. These will be evaluated by potential users of the VIVA tool set to determine requirements for the final tool set to be developed in the course of the project.
The VIVA method will be developed with due consideration of the most important methods for KBS development, including the common KAFS methodology, and be compatible with the European Space Agency's P55-05 software development guidelines. The method will support verification and validation across the complete life-cycle, supporting V&V by both internal and independent accessors.
Further information about VIVA is available from the VIVA home page <URL:http://www.cri.dk/ViVa/>.
Mr Robert Marti
29 Wellesley Road
UK - CROYDON CRO 2AJ
tel: 44/81 681 4895
fax: 44/81 681 4839
telex: 888379 LRLON G
CRI A/S - DK - C
CISI INGENIERIE SA - F - P
LOGICA LTD - UK - P
LLOYD'S REGISTER OF SHIPPING - UK - P
EUROPEAN SPACE AGENCY - NL - P
UNIVERSITY OF ABERDEEN - UK - A
UNIVERSITÉ DE SAVOIE - F - A
VIVA - 6125, December 1993
please address enquiries to the ESPRIT Information Desk
html version of synopsis by Nick Cook