research-article

Constraint-based graceful degradation in smart grids

Authors:

Pragya Kirti Gupta,

Bernhard SchaetzAuthors Info & Claims

SEsCPS '16: Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems

Pages 8 - 14

https://doi.org/10.1145/2897035.2897043

Published: 14 May 2016 Publication History

Get Access

Abstract

In a electrical distribution network, the challenges involved in the decentralized power generation and the resilience of the network to handle the failures, can be easily anticipated. With the use of information technology, a better control can be achieved over the distributed generation units and the fault handling in them. In this contribution, the use of a graceful degradation strategy is proposed as a means to improve the availability of the system during a fault situation.

The Graceful degradation is presented as a constraint satisfaction problem. The trigger and the computation of the degradation process are formulated as the constraints. The concept of the utility of the resources is used to support a dynamic decision to trigger the degradation process. The computation of the graceful degradation strategy is formalized as an SMT problem and analyzed using the Z3 SMT-solver. The approach is illustrated with the help of a use case of applying the degradation strategy on a prosumer node during the power outage in the distribution network. It illustrates the dynamic calculation capability of the degradation scheme in the face of an unpredictable power from a renewable energy resource.

References

[1]

B. Liscouski and W. Elliot. Final report on the august 14, 2003 blackout in the united states and canada: Causes and recommendations. A report to US Department of Energy, 40(4), 2004.

Google Scholar

[2]

Electricity Consumers Resource Council. The economic impacts of the august 2003 blackout. Washington, DC, 2004.

Google Scholar

[3]

Enquiry Committee et al. Report of the enquiry committee on grid disturbance in northern region on 30th july 2012 and in northern, eastern & north-eastern region on 31st july, 2012, 2012.

Google Scholar

[4]

R. Srinivasa Rao, Kumudhini Ravindra, K. Satish, and SVL Narasimham. Power loss minimization in distribution system using network reconfiguration in the presence of distributed generation. Power Systems, IEEE Transactions on, 28(1):317--325, 2013.

Google Scholar

[5]

Maurice P. Herlihy and Jeannette M. Wing. Specifying graceful degradation. Parallel and Distributed Systems, IEEE Transactions on, 2(1):93--104, 1991.

Digital Library

Google Scholar

[6]

Titos Saridakis. Surviving errors in component-based software. In Software Engineering and Advanced Applications, 2005. 31st EUROMICRO Conference on, pages 114--123. IEEE, 2005.

Digital Library

Google Scholar

[7]

Vasileios Koutsoumpas and Pragya Kirti Gupta. Towards a constraint based approach for self-healing smart grids. In Software Engineering Challenges for the Smart Grid (SE4SG), 2013 2nd International Workshop on, pages 17--24. IEEE, 2013.

Google Scholar

[8]

Pragya Kirti Gupta, Klaus Becker, Markus Duchon, and Bernhard Schätz. Formalizing performance degradation strategies as an enabler for self-healing smart energy systems. In 11th Dagstuhl-Workshop on Model-Based Development of Embedded Systems (MBEES), 2015.

Google Scholar

[9]

Charles Shelton and Philip Koopman. Using architectural properties to model and measure graceful degradation. In Architecting dependable systems, pages 267--289. Springer, 2003.

Digital Library

Google Scholar

[10]

Charles P. Shelton, Philip Koopman, and William Nace. A framework for scalable analysis and design of system-wide graceful degradation in distributed embedded systems. In Object-Oriented Real-Time Dependable Systems, 2003.(WORDS 2003). Proceedings of the Eighth International Workshop on, pages 156--163. IEEE, 2003.

Crossref

Google Scholar

[11]

Shinya Yamamoto, Naoya Kouyama, Keiichi Yasumoto, and Minoru Ito. Maximizing users comfort levels through user preference estimation in public smartspaces. In Pervasive Computing and Communications Workshops (PERCOM Workshops), 2011 IEEE International Conference on, pages 572--577. IEEE, 2011.

Crossref

Google Scholar

[12]

Yukitoshi Kashimoto, Kazuya Ogura, Shinya Yamamoto, Keiichi Yasumoto, and Minoru Ito. Saving energy in smart homes with minimal comfort level reduction. In Pervasive Computing and Communications Workshops (PERCOM Workshops), 2013 IEEE International Conference on, pages 372--376. IEEE, 2013.

Crossref

Google Scholar

Cited By

View all

Ahmed AHasan OAwwad FBastaki N(2020)Formalization of Cost and Utility in MicroeconomicsEnergies10.3390/en1303071213:3(712)Online publication date: 6-Feb-2020
https://doi.org/10.3390/en13030712
Pindoriya NDuchon MGupta PPampana VSingh SGiza JHackenberg BRajput AJethi J(2020)Intelligent Hardware-Software Platform for Efficient Coupling of Water-Energy Nexus in Smart Cities: A Conceptual FrameworkMobility Internet of Things 201810.1007/978-3-030-30911-4_15(217-231)Online publication date: 4-Feb-2020
https://doi.org/10.1007/978-3-030-30911-4_15

Recommendations

Graceful degradation via versions: specifications and implementations
PODC '07: Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing

Correctness of a fault-tolerant system hinges on the failure model, which typically constrains the number of concurrent failures in the system. These assumptions are sometimes violated in practice, inevitably leading to degraded system behavior that ...
Q-Learning Based Dynamic Voltage Scaling for Designs with Graceful Degradation
ISPD '15: Proceedings of the 2015 Symposium on International Symposium on Physical Design

Dynamic voltage scaling (DVS) has been widely used to suppress power consumption in modern designs. The decision of optimal operating voltage at runtime should consider the variations in workload, process as well as environment. As these variations are ...
Graceful Degradation in Algorithm-Based Fault Tolerant Multiprocessor Systems

Algorithm-based fault tolerance (ABFT) is a technique which improves the reliability of a multiprocessor system by providing concurrent error detection and fault location capability to it. It encodes data at the system level and modifies the algorithm ...

Comments

Information & Contributors

Information

Published In

SEsCPS '16: Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems

May 2016

71 pages

ISBN:9781450341714

DOI:10.1145/2897035

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 14 May 2016

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ICSE '16

Sponsor:

ACM
SIGSOFT
IEEE-CS\DATC
TCSE

ICSE '16: 38th International Conference on Software Engineering

May 14 - 22, 2016

Texas, Austin

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
72
Total Downloads

Downloads (Last 12 months)4
Downloads (Last 6 weeks)1

Reflects downloads up to 12 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Ahmed AHasan OAwwad FBastaki N(2020)Formalization of Cost and Utility in MicroeconomicsEnergies10.3390/en1303071213:3(712)Online publication date: 6-Feb-2020
https://doi.org/10.3390/en13030712
Pindoriya NDuchon MGupta PPampana VSingh SGiza JHackenberg BRajput AJethi J(2020)Intelligent Hardware-Software Platform for Efficient Coupling of Water-Energy Nexus in Smart Cities: A Conceptual FrameworkMobility Internet of Things 201810.1007/978-3-030-30911-4_15(217-231)Online publication date: 4-Feb-2020
https://doi.org/10.1007/978-3-030-30911-4_15

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Recommendations

Graceful degradation via versions: specifications and implementations

Q-Learning Based Dynamic Voltage Scaling for Designs with Graceful Degradation

Graceful Degradation in Algorithm-Based Fault Tolerant Multiprocessor Systems

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Upcoming Conference

Other Metrics

Article Metrics

Other Metrics

Cited By

Login options

Full Access

PDF

eReader

Abstract

References

Cited By

Recommendations

Graceful degradation via versions: specifications and implementations

Q-Learning Based Dynamic Voltage Scaling for Designs with Graceful Degradation

Graceful Degradation in Algorithm-Based Fault Tolerant Multiprocessor Systems

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Upcoming Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations