Exception Handling in Programmable Controllers with Denotational Model

• Autorzy: Sadolewski Jan , Trybus Bartosz

Identyfikatory

DOI

10.15439/2023F5651

• Języki publikacji: EN

Abstrakty

EN

The paper introduces a customized approach to handle failures in IEC 61131-3 programmable controllers. The solution assumes the utilization of a virtual machine as a runtime environment to execute control code in an isolated manner. A formal model of the runtime is presented, employing denotational semantics. Subsequently, the model is expanded by incorporating new procedures that enable the handling of runtime exceptions using ST code constructs. This formal model serves as the foundation for implementing the exception infrastructure in the CPDev development environment. The research presented in the paper, driven by industry demands, aims to facilitate the development of more reliable and resilient control systems, capable of effectively dealing with failures.

Słowa kluczowe

EN

industry; computer science; runtime; code; computational modeling; semantics; control system

PL

przemysł; informatyka; kod; modelowanie obliczeniowe; semantyka; system sterowania

• Wydawca: Polskie Towarzystwo Informatyczne
• Czasopismo: Annals of Computer Science and Information Systems
• Rocznik: 2023
• Tom: Vol. 35
• Strony: 721--730
• Opis fizyczny: Bibliogr. 14 poz., il.

Twórcy

autor

Sadolewski Jan

• Department of Computer and Control Engineering Rzeszow University of Technology, al. Powstańców Warszawy 12, 35-959 Rzeszów, Poland

• https://orcid.org/0000-0001-7370-9027

autor

Trybus Bartosz

• Department of Computer and Control Engineering Rzeszow University of Technology, al. Powstańców Warszawy 12, 35-959 Rzeszów, Poland

• https://orcid.org/0000-0002-4588-3973

Bibliografia

• 1. IEC 61131-3. Programmable Controllers. Part 3. Programming languages. International Standard: IEC, 2013.
• 2. IEC 61499 — Function blocks. International Standard: IEC, 2015.
• 3. M. Simros, M. Wollschlaeger, and S. Theurich, “Programming embedded devices in IEC 61131-languages with industrial PLC tools using PLCopen XML,” in Proceedings of the CONTROLO’2012 Portuguese Conference on Automatic Control, Funchal, Portugal, 2012. ISBN 9789729702532 pp. 51–56.
• 4. T. Lindholm, F. Yellin, G. Bracha, and A. Buckley, The Java® Virtual Machine Specification. Oracle America, Inc., 2013. ISBN 9780133260441
• 5. T. L. Thai and L. H., .NET Framework Essentials. O’Reilly Media, 2003. ISBN 9780596005054
• 6. ECMA-335, Standard. Common Language Infrastructure (CLI). Geneva: Ecma, 2012.
• 7. A. Blikle, “An experiment with denotational semantics,” SN Computer Science, vol. 15, no. 1, pp. 1–31, 2020. http://dx.doi.org/10.1007/s42979-019-0013-0
• 8. D. Rzońca, J. Sadolewski, A. Stec, Z. Świder, B. Trybus, and L. Trybus, “Programming controllers in structured text language of IEC 61131-3 standard,” Journal of Applied Computer Science, vol. 16, no. 1, pp. 49–67, 2008.
• 9. D. Rzońca, J. Sadolewski, A. Stec, Z. Świder, B. Trybus, and L. Trybus, “Open environment for programming small controllers according to IEC 61131-3 standard,” Scalable Computing: Practice and Experience, vol. Volume 10, no. 3, pp. 325–336, 2009.
• 10. B. Trybus, “Development and Implementation of IEC 61131-3 Virtual Machine,” Theoretical and Applied Informatics, vol. 23, no. 1, pp. 21–35, 2011. http://dx.doi.org/10.2478/v10179-011-0002-z
• 11. K. Cooper and L. Torczon, Engineering a Compiler. San Francisco: Morgan Kaufmann, 2022. ISBN 9780128154120
• 12. K. Slonneger and B. L. Kurtz, Formal Syntax and Semantics of Programming Languages: A Laboratory-Based Approach. Addison-Wesley Publishing Company, Inc, 1995. ISBN 9780201656978
• 13. D. Schmidt, Denotational Semantics: A Methodology for Language Development. Kansas State University, Manhattan: Department of Computing and Information Sciences, 1997.
• 14. J. Sadolewski and B. Trybus, “Denotational model and implementation of scalable virtual machine in CPDev,” in Proceedings of the 17th Conference on Computer Science and Intelligence Systems, M. Ganzha, L. Maciaszek, M. Paprzycki, and D. Ślęzak, Eds., vol. 30, 2022. http://dx.doi.org/10.15439/2022F236 pp. 587–591.

Uwagi

1. This project is financed by the Minister of Education and Science of the Republic of Poland within the “Regional Initiative of Excellence” program for years 2019–2023. Project number 027/RID/2018/19, amount granted 11 999 900 PLN.

2. Thematic Tracks Regular Papers

3. Opracowanie rekordu ze środków MEiN, umowa nr SONP/SP/546092/2022 w ramach programu "Społeczna odpowiedzialność nauki" - moduł: Popularyzacja nauki i promocja sportu (2024).