skip to main content
10.1145/3194133.3194153acmconferencesArticle/Chapter ViewAbstractPublication PagesicseConference Proceedingsconference-collections
short-paper

Adaptive runtime response time control in PLC-based real-time systems using reinforcement learning

Published: 28 May 2018 Publication History

Abstract

Timing requirements such as constraints on response time are key characteristics of real-time systems and violations of these requirements might cause a total failure, particularly in hard real-time systems. Runtime monitoring of the system properties is of great importance to check the system status and mitigate such failures. Thus, a runtime control to preserve the system properties could improve the robustness of the system with respect to timing violations. Common control approaches may require a precise analytical model of the system which is difficult to be provided at design time. Reinforcement learning is a promising technique to provide adaptive model-free control when the environment is stochastic, and the control problem could be formulated as a Markov Decision Process. In this paper, we propose an adaptive runtime control using reinforcement learning for real-time programs based on Programmable Logic Controllers (PLCs), to meet the response time requirements. We demonstrate through multiple experiments that our approach could control the response time efficiently to satisfy the timing requirements.

References

[1]
G. A. Kaczynski, L. L. Bello, and T. Nolte. 2007. Deriving exact stochastic response times of periodic tasks in hybrid priority-driven soft real-time systems. In Proceeding of IEEE Conference on Emerging Technologies and Factory Automation (ETFA). IEEE, 101--110.
[2]
S. Manolache, P. Eles, and Z. Peng. 2004. Schedulability analysis of applications with stochastic task execution times. ACM Transactions on Embedded Computing Systems (TECS) 3, no. 4 (2004): 706--735.
[3]
E. Fersman, P. Krcal, P. Pettersson, and W. Yi. 2007. Task automata: Schedulability, decidability and undecidability. Information and Computation 205, no. 8 (2007): 1149--1172.
[4]
M. Saadatmand, Antonio Cicchetti, and Mikael Sjödin. 2012. Design of adaptive security mechanisms for real-time embedded systems. In Proceeding of International Symposium on Engineering Secure Software and Systems. Springer, Berlin, Heidelberg, 121--134.
[5]
Standard Glossary of Software Engineering Terminology (ANSI), The Institute of Electrical and Electronics Engineers Inc. 1991.
[6]
A. E. Goodloe, and Lee Pike. 2010. Monitoring distributed real-time systems: A survey and future directions. NASA/CR-2010-216724, (2010).
[7]
M. H. Moghadam, M. Saadatmand, M. Borg, M. Bohlin, B. Lisper. 2018. Learning-Based Self-Adaptive Assurance of Timing Properties in a Real-Time Embedded System, In Proceeding of 2<sup>nd</sup> International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS'18), IEEE.
[8]
R. S. Sutton, A. G Barto. 1998. Reinforcement learning: An Introduction. Vol. 1. MIT press Cambridge.
[9]
International Standard IEC 61131-3, Programmable controllers-part 3 Programming languages, 2013.
[10]
A. Wellings, G. Bollella, P. Dibble, and D. Holmes. 2004. Cost enforcement and deadline monitoring in the real-time specification for Java. In Proceeding of the Seventh IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. IEEE, 78--85.
[11]
E. Mezzetti, M. Panunzio, and T. Vardanega. 2010. Preservation of timing properties with the ada ravenscar profile. In Proceeding of International Conference on Reliable Software Technologies. Springer, Berlin, Heidelberg, 153--166.
[12]
M. Saadatmand, M. Sjodin, and N.U. Mustafa. 2012. Monitoring capabilities of schedulers in model-driven development of real-time systems. In Proceeding of 17th IEEE Conference on Emerging Technologies Factory Automation (ETFA). IEEE, 1--10.
[13]
N. Asadi, M. Saadatmand, and M. Sjödin. 2013. Run-Time Monitoring of Timing Constraints: A Survey of Methods and Tools. In Proceeding of the Eighth International Conference on Software Engineering Advances.
[14]
J. Huselius and J. Andersson. 2005. Model Synthesis for Real-Time Systems. In Proceedings of the Ninth European Conference on Software Maintenance and Reengineering (CSMR '05). IEEE, 52--60.
[15]
F. Jahanian. 1995. Run-time monitoring of real-time systems. Advances in Real-Time Systems. Prentice Hall (1995).
[16]
H. Thane. 2000. Design for Deterministic Monitoring of Distributed Real-Time Systems. Technical Report ISSN 1404-3041 ISRN MDHMRTC- 23/2000-1-SE, Målardalen University, May 2000.
[17]
N. Das, Suchita Ganesan, Leo Jweda, Mojtaba Bagherzadeh, Nicolas Hili, and Juergen Dingel. 2016. Supporting the model-driven development of real-time embedded systems with run-time monitoring and animation via highly customizable code generation. In Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, ACM, 36--43.
[18]
R. Medhat, Borzoo Bonakdarpour, Deepak Kumar, and Sebastian Fischmeister. 2015. Runtime monitoring of cyber-physical systems under timing and memory constraints. ACM Transactions on Embedded Computing Systems (TECS) 14, no. 4 (2015): 79.

Cited By

View all
  • (2023)A model-based mode-switching framework based on security vulnerability scoresJournal of Systems and Software10.1016/j.jss.2023.111633200:COnline publication date: 1-Jun-2023
  • (2022)An autonomous performance testing framework using self-adaptive fuzzy reinforcement learningSoftware Quality Journal10.1007/s11219-020-09532-z30:1(127-159)Online publication date: 1-Mar-2022
  • (2019)Field Monitoring With Delayed SavingIEEE Access10.1109/ACCESS.2019.29258557(85913-85924)Online publication date: 2019

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
SEAMS '18: Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems
May 2018
244 pages
ISBN:9781450357159
DOI:10.1145/3194133
  • General Chair:
  • Jesper Andersson,
  • Program Chair:
  • Danny Weyns
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]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 28 May 2018

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. PLC-based real-time programs
  2. adaptive response time control
  3. reinforcement learning
  4. runtime monitoring

Qualifiers

  • Short-paper

Conference

ICSE '18
Sponsor:

Acceptance Rates

Overall Acceptance Rate 17 of 31 submissions, 55%

Upcoming Conference

ICSE 2025

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)45
  • Downloads (Last 6 weeks)1
Reflects downloads up to 07 Mar 2025

Other Metrics

Citations

Cited By

View all
  • (2023)A model-based mode-switching framework based on security vulnerability scoresJournal of Systems and Software10.1016/j.jss.2023.111633200:COnline publication date: 1-Jun-2023
  • (2022)An autonomous performance testing framework using self-adaptive fuzzy reinforcement learningSoftware Quality Journal10.1007/s11219-020-09532-z30:1(127-159)Online publication date: 1-Mar-2022
  • (2019)Field Monitoring With Delayed SavingIEEE Access10.1109/ACCESS.2019.29258557(85913-85924)Online publication date: 2019

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media