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

fYear

1991

Firstpage

1125

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Electrotechnical Conference, 1991. Proceedings., 6th Mediterranean

Conference_Location

LJubljana

Print_ISBN

0-87942-655-1

Type

conf

DOI

10.1109/MELCON.1991.162040

Filename

162040