Verification
Download:
by Zita A. Vale, Jorge Santos, Luiz Faria, Carlos Ramos, Albino Marques
http://www.dei.isep.ipp.pt/~jsantos/Publications/1999/PSCC1999.pdf
Add To MetaCart
Abstract:
During the last years, electrical utilities began to install intelligent applications in order to assist Control Centre operators. The Verification and Validation (V&V) process intends to assure the reliability of these applications, even under incident conditions. This paper addresses the Validation and Verification of Knowledge-Based Systems (KBS) in general, focussing particularly on the V&V of SPARSE, a KBS used in the Portuguese Transmission Network for incident analysis and power restoration. VERITAS is a verification tool developed to verify SPARSE Knowledge Base. This tool performs knowledge base structural analysis allowing the detection of knowledge anomalies.
Citations
| 11 | An Effective Logical Framework for Knowledge-Based Systems Verification – Zlatareva, Preece - 1994 |
| 3 | M.Fernandes and A.Marques, “SPARSE - An Expert System for Alarm Processing and Operator Assistance in – Vale - 1994 |
| 2 | M.Fernandes and A.Marques - “Towards More Intelligent and Adaptive User Interfaces for Control Center – Vale, Ramos - 1996 |
| 2 | S.Sarkar – “Global Verification of Knowledge Based Systems via Local Verification of Partitions – Ramaswary - 1997 |
