Skip to main content
SpringerLink
Log in

Using Process-Oriented Structured Text for IEC 61499 Function Block Specification

  • Conference paper
  • First Online:
Advances in Model and Data Engineering in the Digitalization Era (MEDI 2021)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 1481))

Included in the following conference series:

Abstract

This paper deals with leveraging the IEC 61499 Function Blocks with the poST language. The poST language is a process-oriented extension of the IEC 61131-3 Structured Text (ST) language. The language targets specifying stateful behavior of PLC-based control software. The main purpose of our contribution is to provide coherence of the PLC source code with technological description of the plant operating procedure. The language combines the advantages of FSM-based programming with conventional syntax of the ST language and can be easily adopted by the community. The poST language assumes that a poST-program is a set of weakly connected concurrent processes. Each process is specified by a sequential set of states. The states are specified by a set of the ST constructs, extended by TIMEOUT operation, SET STATE operation, and START/STOP/check state operations to communicate with other processes. The paper describes the basics of the poST language, design constructs, and demonstrates usage of the poST language by developing control software for a wheel-chair elevator, and discusses the poST language over the control software implementation in Execution Control Chart.

This work was supported by the Russian Ministry of Education and Science, project no. AAAA-A19-119120290056-0.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 69.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 89.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. IEC 61131-3: Programmable Controllers Part 3: Programming Languages. International Electrotechnical Commission Std., Rev. 2.0 (2003)

    Google Scholar 

  2. Crater, K.C.: When Technology Standards Become Counterproductive. Control Technology Corporation (1992). https://support.controltechnologycorp.com/index.php?option=com_content&view=article&id=188&Itemid=null

  3. IEC 61499: Function Blocks for Industrial Process Measurement and Control Systems, Parts 1–4. International Electrotechnical Commission Std., Rev. 1.0 (2004/2005)

    Google Scholar 

  4. Thramboulidis, K.: Different perspectives [face to face; “IEC 61499 function block model: facts and fallacies’’]. IEEE Ind. Electron. Mag. 3(4), 7–26 (2009). https://doi.org/10.1109/MIE.2009.934788

    Article  Google Scholar 

  5. Vyatkin, V.: The IEC 61499 standard and its semantics. IEEE Ind. Electron. Mag. 3(4), 40–48 (2009)

    Article  Google Scholar 

  6. Zyubin, V.E.: Hyper-automaton: a model of control algorithms. In: Stukach, O. (ed.) Proceedings of the IEEE International Siberian Conference on Control and Communications, Tomsk, Russia, pp. 51–57. IEEE (2007). https://doi.org/10.1109/SIBCON.2007.371297

  7. Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall Inc. (1985)

    Google Scholar 

  8. Lynch, N., Tuttle, M.: An introduction to input/output automata. CWI Q. 2, 219–246 (1989)

    MathSciNet  MATH  Google Scholar 

  9. Harel, D.: Statecharts a visual formalism for complex systems. Sci. Comput. Program. 8, 231–274 (1987)

    Article  MathSciNet  Google Scholar 

  10. Milner, R.: Communication and Concurrency. Series in Computer Science, Prentice Hall, Englewood Cliffs (1989)

    MATH  Google Scholar 

  11. Berry, G.: The foundations of Esterel. In: Plotkin, G., Stirling, C., Tofte, M. (eds.) Proof, Language and Interaction: Essays in Honour of Robin Milner. Foundations of Computing Series, pp. 425–454. MIT Press (2000)

    Google Scholar 

  12. Kaynar, D.K., Lynch, N., Segala, R., Vaandrager, F.: Timed I/O automata: a mathematical framework for modeling and analyzing real-time systems. In: Proceedings of the IEEE 24th International Real-Time Systems Symposium (RTSS 2003), Cancun, Mexico, pp. 166–177. IEEE Computer Society (2003)

    Google Scholar 

  13. Kof, L., Schätz, B.: Combining aspects of reactive systems. In: Broy, M., Zamulin, A.V. (eds.) PSI 2003. LNCS, vol. 2890, pp. 344–349. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-39866-0_34

    Chapter  MATH  Google Scholar 

  14. Henzinger, T.A.: The theory of hybrid automata. In: Inan, M.K., Kurshan, R.P. (eds.) Verification of Digital and Hybrid Systems. NATO ASI Series (Series F: Computer and Systems Sciences), vol. 170, pp. 265–292. Springer, Heidelberg (2000). https://doi.org/10.1007/978-3-642-59615-5_13

    Chapter  Google Scholar 

  15. Anureev, I., Garanina, N., Liakh, T., Rozov, A., Schulte, H., Zyubin, V.: Towards safe cyber-physical systems: the reflex language and its transformational semantics. In: International Siberian Conference on Control and Communications (SIBCON), Tomsk, Russia, pp. 1–6 (2019). https://doi.org/10.1109/SIBCON.2019.8729633

  16. Rozov, A.S., Zyubin, V.E.: Adaptation of the process-oriented approach to the development of embedded microcontroller systems. Optoelectron. Instrum. Data Process. 55(2), 198–204 (2019). https://doi.org/10.3103/S8756699019020122

    Article  Google Scholar 

  17. Liakh, T.V., Rozov, A.S., Zyubin, V.E.: Reflex language: a practical notation for cyber-physical systems. Syst. Inform. (12), 85–104 (2018)

    Google Scholar 

  18. Kovadlo, P.G., et al.: Automation system for the large solar vacuum telescope. Optoelectron. Instrum. Data Process. 52(2), 187–195 (2016). https://doi.org/10.3103/S8756699016020126

    Article  Google Scholar 

  19. Liah, T.V., Zyubin, V.E.: The Reflex language usage to automate the large solar vacuum telescope. In: 2016 17th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices (EDM), Erlagol, Russia, pp. 137–139 (2016). https://doi.org/10.1109/EDM.2016.7538711

  20. Bashev, V., Anureev, I., Zyubin, V.: The post language: process-oriented extension for IEC 61131-3 structured text. In: 2020 International Russian Automation Conference (RusAutoCon), Sochi, Russia, pp. 994–999 (2020). https://doi.org/10.1109/RusAutoCon49822.2020.9208049

  21. Petrov, I., Wagner, R.: Debugging applied PLC software in CoDeSys (part 3). In: Industrial Automatic Control Systems and Controllers, vol. 4, pp. 34–36. Nauchtekhlitizdat (2006)

    Google Scholar 

  22. Wiegand, J.: Eclipse: a platform for integrating development tools. IBM Syst. J. 43(2), 371–383 (2004). https://doi.org/10.1147/sj.432.0371

    Article  Google Scholar 

  23. Marcos, M., Estevez, E., Perez, F., Der Wal, E.V.: XML exchange of control programs. IEEE Ind. Electron. Mag. 3(4), 32–35 (2009). https://doi.org/10.1109/MIE.2009.934794

    Article  Google Scholar 

Download references

Acknowledgements

We thank the JetBrains Foundation for the charitable support of our research activity.

Author information

Authors and Affiliations

  1. Institute of Automation and Electrometry, Acad. Koptyuga prosp. 1, 630090, Novosibirsk, Russia

    Vladimir Zyubin & Andrei Rozov

Authors
  1. Vladimir Zyubin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Andrei Rozov
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Vladimir Zyubin .

Editor information

Editors and Affiliations

  1. ISAE-ENSMA, Chasseneuil, France

    Ladjel Bellatreche

  2. Saint-Petersburg State University, Saint-Petersburg, Russia

    George Chernishev

  3. University of Almería, Almería, Spain

    Antonio Corral

  4. LINEACT CESI, Aix-en-Provence, France

    Samir Ouchani

  5. Tallinn University of Technology, Tallinn, Estonia

    Jüri Vain

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Zyubin, V., Rozov, A. (2021). Using Process-Oriented Structured Text for IEC 61499 Function Block Specification. In: Bellatreche, L., Chernishev, G., Corral, A., Ouchani, S., Vain, J. (eds) Advances in Model and Data Engineering in the Digitalization Era. MEDI 2021. Communications in Computer and Information Science, vol 1481. Springer, Cham. https://doi.org/10.1007/978-3-030-87657-9_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-87657-9_17

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-87656-2

  • Online ISBN: 978-3-030-87657-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation