VERITAS–A Verification ToolFor Real-time Applications in Power System Control Centers

May 1999

Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference (FLAIRS 1999)

Volume

Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference (FLAIRS 1999)

All Papers

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.