Formal V&V in advanced energy management systems (validation and verification)

Abstract

The problems of functional correctness and security, and performance evaluation of the coordination among concurrent and cooperative processes are addressed. Consistency checking on expert systems with rule-based knowledge representation is focused on through the application of a formal validation and verification methodology. The selection of the most adequate class of Petri nets for each particular problem, namely stochastic and relation nets, allowed the use of the same family of formal tools for the modeling, validating analysis, and simulation phases.<>