Verification, Improvement and Validation of Knowledge-Based Systems


VIVA - 6125

Keywords knowledge-based systems validation


Start Date: 01-SEP-92 / Duration: 39 months

[ contact / participants ]


Objectives and Approach

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/>.


CONTACT POINT

Mr Robert Marti
LLOYD'S REGISTER
29 Wellesley Road
UK - CROYDON CRO 2AJ
tel: 44/81 681 4895
fax: 44/81 681 4839
telex: 888379 LRLON G
email: tcsram@aie.lr.co.uk

Participants

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


ST synopses home page ST acronym index ST number index
All synopses home page all acronyms index all numbers index

VIVA - 6125, December 1993


please address enquiries to the ESPRIT Information Desk

html version of synopsis by Nick Cook