Tundis, Andrea and Egert, Rolf and Mühlhäuser, Max (2017):
Applying a Properties Modeling Approach for Monitoring Smart Grids.
pp. 714-719, IEEE, 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 |
![]() |
Send an inquiry |
Options (only for editors)
![]() |
Show editorial Details |