Formal V&V in advanced energy management systems (validation and verification)
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 a...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Tagungsbericht |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | 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.< > |
|---|---|
| DOI: | 10.1109/MELCON.1991.162040 |