Cerca nel sito per parola chiave

pubblicazioni - Articolo

I metodi formali per gestire la complessità dei sistemi di automazione e protezione

pubblicazioni - Articolo

I metodi formali per gestire la complessità dei sistemi di automazione e protezione

This paper1 addresses the problem of managing the complexity of electrical system by suggesting amethodological attitude, base on formal methods, in the analysis of requirements of electrical system automation and protection. The presented approach aims at helping the identification of criticalities in control and protection applications of electric system. In the paper, we argue that an incremental attitude towards requirement specification and evaluation criteria could be effective in the analysis of criticalities and automation and protection solutions.

Progetti

Commenti