Jorge Santos, Luiz Faria, Carlos Ramos, Zita A. Vale, and Albino Marques
During the last years, electrical utilities began to install intelligent applications in order to assist Control Centers operators. The Verification and Validation (V&V) process must 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 operator assistance in 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.