Cerca nel sito per parola chiave

pubblicazioni - Articolo

Modellare la propagazione delle anomalie ICT nella protezione dell’automazione dell’energia elettrica

pubblicazioni - Articolo

Modellare la propagazione delle anomalie ICT nella protezione dell’automazione dell’energia elettrica

In this paper the anomaly propagation included in a model of interdependent automation infrastructures will be analysed. The model is based on the representation and analysis of dependability requirements in industrial automation systems proposed by the DepAuDE Methodology1 which has been reviewed for supporting the analysis of the critical dependencies of the electric power distribution service from its ICT infrastructures.

According to the methodology UML Class Diagrams supports the intuitive descriptive level, whilst temporal logic techniques and layered Petri Nets models are exploited for supporting the analysis process. The applicability of the approach to the analysis of critical dependencies among components belonging to different infrastructures will be investigated. Risk-relevant dependencies of control applications distributed over a field LAN are described first, in view of supporting the analysis “in the small” of the anomaly propagation between the electric power service and its automation infrastructure. Subsequently we try to identify the modelling and analysis requirements of a wider concept of dependency, by considering the anomaly propagation of the local automation system from/to the communication services it uses to connect the local automation systems to remote centres and agencies. 1 DepAuDE: Depebdability for embedded Automation systems in Dynamic Environment with intra-site and inter-site distribution aspects www.depaude.org

Progetti

Commenti