Title :
Formal V&V in advanced energy management systems [validation and verification]
Author :
Barruncho, Luís M F ; Paiva, J. P Sucena
Author_Institution :
Inst. Superior Tecnico, Lisbon, Portugal
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
Keywords :
expert systems; load management; power system computer control; program verification; software tools; CASE; Petri nets; consistency checking; cooperative processes; energy management systems; expert systems; functional correctness; performance evaluation; relation nets; rule-based knowledge representation; security; stochastic nets; validation; verification; Application software; Energy management; Medical services; Power engineering and energy; Power engineering computing; Power system management; Real time systems; Security; Stochastic processes; Stochastic systems;
Conference_Titel :
Electrotechnical Conference, 1991. Proceedings., 6th Mediterranean
Conference_Location :
LJubljana
Print_ISBN :
0-87942-655-1
DOI :
10.1109/MELCON.1991.162040
