Properties modelling as design by contract for cyber-physical systems: an example in the smart grid domain

2019 ◽  
Vol 14 (2) ◽  
pp. 120
Author(s):  
Andrea Tundis ◽  
Max Mühlhäuser
Keyword(s):  
Smart Grid ◽  
Cyber Physical Systems ◽  
Design By Contract ◽  
Physical Systems ◽  
Grid Domain

Durchgängiges Anforderungsmanagement und Engineering für Smart Grid Lösungen

2020 ◽  
Vol 68 (9) ◽  
pp. 711-719
Author(s):  
Mathias Uslar
Keyword(s):  
Smart Grid ◽  
Smart Grids ◽  
Cyber Physical Systems ◽  
Industrie 4.0 ◽  
Internet Der Dinge ◽  
Physical Systems

ZusammenfassungIn diesem Beitrag wird die Notwendigkeit einer sinnvollen Definition und Klarstellung der Disziplin Energieinformatik aufgezeigt. Der Beitrag diskutiert verschiedene bestehende Definitionen und stellt sie in den Kontext des Anforderungsmanagements und der Lösungsfindung. Er motiviert die Notwendigkeit eines strukturierten disziplinären Ansatzes in der Energieinformatik auf der Grundlage bestehender Probleme und skizziert den aktuellen Stand des Stands der Wissenschaft und Technik, der hauptsächlich den systemtechnischen Anwendungsbereich für Smart Grids umfasst. Synergien mit anderen aktuellen Schwerpunktthemen wie Internet der Dinge (IoT), Industrie 4.0 (Digitalisierung der Produktion) und Cyber-Physical Systems (CPS) werden aus Anforderungssicht motiviert. Auf der Grundlage der aufgeworfenen Fragen und Herausforderungen werden neue sinnvolle Forschungsthemen für ein durchgängiges Anforderungsmanagement im Kontext Smart Grid diskutiert.

Smart grid cyber-physical systems: communication technologies, standards and challenges

2021 ◽  
Author(s):  
A. V. Jha ◽  
B. Appasani ◽  
A. N. Ghazali ◽  
P. Pattanayak ◽  
D. S. Gurjar ◽  
...  
Keyword(s):  
Smart Grid ◽  
Communication Technologies ◽  
Cyber Physical Systems ◽  
Physical Systems

scholarly journals A Dependable Time Series Analytic Framework for Cyber-Physical Systems of IoT-based Smart Grid

2019 ◽  
Vol 3 (1) ◽  
pp. 1-18 ◽  
Author(s):  
Chang Wang ◽  
Yongxin Zhu ◽  
Weiwei Shi ◽  
Victor Chang ◽  
P. Vijayakumar ◽  
...  
Keyword(s):  
Time Series ◽  
Smart Grid ◽  
Cyber Physical Systems ◽  
Analytic Framework ◽  
Physical Systems

scholarly journals Service Differentiated and Adaptive CSMA/CA over IEEE 802.15.4 for Cyber-Physical Systems

2013 ◽  
Vol 2013 ◽  
pp. 1-12 ◽  
Author(s):  
Feng Xia ◽  
Jie Li ◽  
Ruonan Hao ◽  
Xiangjie Kong ◽  
Ruixia Gao
Keyword(s):  
Smart Grid ◽  
Ieee 802.15.4 ◽  
Cyber Physical Systems ◽  
Carrier Sense Multiple Access ◽  
Average Delay ◽  
Physical Systems ◽  
Traffic Conditions ◽  
Parameter Configuration ◽  
Grid Applications

Cyber-Physical Systems (CPS) that collect, exchange, manage information, and coordinate actions are an integral part of the Smart Grid. In addition, Quality of Service (QoS) provisioning in CPS, especially in the wireless sensor/actuator networks, plays an essential role in Smart Grid applications. IEEE 802.15.4, which is one of the most widely used communication protocols in this area, still needs to be improved to meet multiple QoS requirements. This is because IEEE 802.15.4 slotted Carrier Sense Multiple Access/Collision Avoidance (CSMA/CA) employs static parameter configuration without supporting differentiated services and network self-adaptivity. To address this issue, this paper proposes a priority-based Service Differentiated and Adaptive CSMA/CA (SDA-CSMA/CA) algorithm to provide differentiated QoS for various Smart Grid applications as well as dynamically initialize backoff exponent according to traffic conditions. Simulation results demonstrate that the proposed SDA-CSMA/CA scheme significantly outperforms the IEEE 802.15.4 slotted CSMA/CA in terms of effective data rate, packet loss rate, and average delay.

Sign in / Sign up

Export Citation Format

Share Document