Skip to main content

Verification, Improvement and Validation of Knowledge-Based Systems

Objective

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 VIVA tool set. A fully integrated tool set which will perform a number of functions in verification, validation and improvement of KBS application code.
- The VIVA method. The documentation of the VIVA method, a life-cycle independent method for carrying out KBS verification, validation and improvement, at all stages in the KBS life-cycle.
- The VIVA training course. A set of training materials for both the method and the tools.

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.

Topic(s)

Data not available

Call for proposal

Data not available

Funding Scheme

Data not available

Coordinator

COMPUTER RESOURCES INTERNATIONAL
Address
Bregneroedvej, 144
3460 Birkeroed
Denmark
 

Participants (6)

CISI Ingénierie SA
France
Address
3 Rue Le Corbusier Silic 232
94528 Rungis
 
ESTEC - EUROPEAN SPACE AGENCY
Netherlands
Address
, 299
2200 Hg Noordwijk
 
Lloyds Register of Shipping
United Kingdom
Address
29 Wellesley Road
CR0 2AJ Croydon
 
Logica Ltd
United Kingdom
Address
64-68 Newman Street
W1A 4SE London
 
UNIVERSITY OF ABERDEEN
United Kingdom
Address
Kings College, Fraser Noble Building
AB24 3UE Aberdeen
 
Université de Savoie
France
Address

73011 Chambéry