TU Darmstadt / ULB / TUbiblio

Applying a Properties Modeling Approach for Monitoring Smart Grids

Tundis, Andrea and Egert, Rolf and Mühlhäuser, Max (2017):
Applying a Properties Modeling Approach for Monitoring Smart Grids.
IEEE, In: 14th IEEE International Conference on Networking, Sensing and Control - ICNSC 2017, Calabria, Italy, DOI: 10.1109/ICNSC.2017.8000178,
[Conference or Workshop Item]

Abstract

<div>Abstract—Smart Grids (SGs) are electrical power grid infrastructures that aim at managing both cyber and physical resources and provide efficient energy routing. The cyber part of the system encompasses computing and networking resources, whereas the physical part faces with mechanical and electrical processes. Due to the strong integration and interaction among cyber modules and physical components, the complexity of SGs is increasing. As a consequence, the fulfillment of cyber and physical requirements becomes even more complicated. For example, resilience is an important non-functional requirement that has to be guaranteed. It represents the ability of a system to provide an acceptable level of service under degraded conditions. To achieve that, the adoption of innovative systems engineering tools represent a feasible solution. In this paper, a recent approach based on Properties Modeling (PM) is exploited. Through PM is possible to evaluate cross-information from the Smart Grid to increase the network resilience so as to prevent system damage and, as a consequence, reduce the loss of money. Beyond validating the correctness of the system under specific conditions, properties can also be used to identify anomalies resulting from component interactions or external factors. In this context, some important properties exploitable for monitoring SGs are identified and presented. Furthermore, a Smart Grid Simulator, which allows to execute these properties, has been developed and used to show the effectiveness of properties through a simple case study.</div>

Item Type: Conference or Workshop Item
Erschienen: 2017
Creators: Tundis, Andrea and Egert, Rolf and Mühlhäuser, Max
Title: Applying a Properties Modeling Approach for Monitoring Smart Grids
Language: English
Abstract:

<div>Abstract—Smart Grids (SGs) are electrical power grid infrastructures that aim at managing both cyber and physical resources and provide efficient energy routing. The cyber part of the system encompasses computing and networking resources, whereas the physical part faces with mechanical and electrical processes. Due to the strong integration and interaction among cyber modules and physical components, the complexity of SGs is increasing. As a consequence, the fulfillment of cyber and physical requirements becomes even more complicated. For example, resilience is an important non-functional requirement that has to be guaranteed. It represents the ability of a system to provide an acceptable level of service under degraded conditions. To achieve that, the adoption of innovative systems engineering tools represent a feasible solution. In this paper, a recent approach based on Properties Modeling (PM) is exploited. Through PM is possible to evaluate cross-information from the Smart Grid to increase the network resilience so as to prevent system damage and, as a consequence, reduce the loss of money. Beyond validating the correctness of the system under specific conditions, properties can also be used to identify anomalies resulting from component interactions or external factors. In this context, some important properties exploitable for monitoring SGs are identified and presented. Furthermore, a Smart Grid Simulator, which allows to execute these properties, has been developed and used to show the effectiveness of properties through a simple case study.</div>

Publisher: IEEE
Uncontrolled Keywords: SPIN: Smart Protection in Infrastructures and Networks;Properties Modeling; Resilience; Simulation; Smart Grids; Systems Engineering; Security Requirements; Verification
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Telecooperation
Event Title: 14th IEEE International Conference on Networking, Sensing and Control - ICNSC 2017
Event Location: Calabria, Italy
Date Deposited: 13 Mar 2017 09:33
DOI: 10.1109/ICNSC.2017.8000178
Identification Number: TUD-CS-2017-0063
Export:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item