VERITAS--A Verification Tool For Real-time Applications in Power System Control Centers

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.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.