TU Darmstadt / ULB / TUbiblio

Applying a Properties Modeling Approach for Monitoring Smart Grids

Tundis, Andrea ; Egert, Rolf ; Mühlhäuser, Max (2017)
Applying a Properties Modeling Approach for Monitoring Smart Grids.
14th IEEE International Conference on Networking, Sensing and Control - ICNSC 2017. Calabria, Italy
doi: 10.1109/ICNSC.2017.8000178
Konferenzveröffentlichung, Bibliographie

Kurzbeschreibung (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>

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2017
Autor(en): Tundis, Andrea ; Egert, Rolf ; Mühlhäuser, Max
Art des Eintrags: Bibliographie
Titel: Applying a Properties Modeling Approach for Monitoring Smart Grids
Sprache: Englisch
Publikationsjahr: Mai 2017
Verlag: IEEE
Veranstaltungstitel: 14th IEEE International Conference on Networking, Sensing and Control - ICNSC 2017
Veranstaltungsort: Calabria, Italy
DOI: 10.1109/ICNSC.2017.8000178
Kurzbeschreibung (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>

Freie Schlagworte: SPIN: Smart Protection in Infrastructures and Networks;Properties Modeling; Resilience; Simulation; Smart Grids; Systems Engineering; Security Requirements; Verification
ID-Nummer: TUD-CS-2017-0063
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
20 Fachbereich Informatik > Telekooperation
Hinterlegungsdatum: 13 Mär 2017 09:33
Letzte Änderung: 14 Jun 2021 06:14
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen