Translate this page:
Please select your language to translate the article


You can just close the window to don't translate
Library
Your profile

Back to contents

Software systems and computational methods
Reference:

Vashkevich N.P., Dubinin V.N. Questions of development of the operational semantics of IEC 61499 function blocks

Abstract: This paper identifies a problem of defining the formal semantics of function blocks (FB) under IEC 61499 standard and deve lops a conceptual ground for building a model for semantic of the functional blocks on the basis of abstract state machines. A for mal definition of a notation for representation of the operational semantics of FB is given along with the variants of the fun ctional and structural organization of the semantic models of FB systems. The described notation can be used to define the opera tional semantics of FB, functioning within the confines of the cyclic, sequential, synchro nous, and other models of execution.


Keywords:

Software, function block, IEC 61499 standard, operational semantics, abstract state machines, execution model, functional structural organization, distributed systems, formal notation


This article can be downloaded freely in PDF format for reading. Download article


References
1. Cengic, G. On Formal Analysis of IEC 61499 Applications, Part A: Modeling / G. Cengic, K. Åkesson // IEEE Transactions on Industrial Informatics. – 2010. – Vol. 6, No. 2. –P. 136-144.
2. Dubinin, V. On Definition of a Formal Semantic Model for IEC 61499 Function Blocks / V. Dubinin, V. Vyatkin // EURASIP Journal on Embedded Systems. – 2008. – Vol. 2008. – 10 p.
3. Glässer, U. Abstract State Machine Semantics of SDL / U. Glässer, R. Karges // Journal of Universal Computer Science. –1997. – Vol. 3, No. 12. – P. 1382-1414.
4. Gurevich, Y. Evolving Algebras 1993: Lipari Guide / Y. Gurevich // Specification and Validation Methods. – Oxford University Press, 1995. – P.9-36.
5. International Standard IEC 61499. Function blocks for industrial-process measurement and control systems. Part 1: Architecture / International Electrotechnical Commission. – Geneva, 2005. – 111 p.
6. Mosses, P. D. Formal Semantics of Programming Languages: An Overview / P. D. Mosses // Electronic Notes in Theoretical Computer Science. – 2006. – Vol. 148, Issue 1. – P. 41–73.
7. Vashkevich, N.P. Formalizovannoe opisanie posledovatel'noy modeli vypol-neniya funktsional'nykh blokov / N.P. Vashkevich, V.N. Dubinin, V.V. Vyatkin // Mezh-vuz. sb. nauch. tr. "Vychislitel'nye sistemy i tekhnologii obrabotki informatsii". –2011. – Vypusk 10. - S. 45-61.
8. Dubinin, V.N. Operatsionnaya semantika sinkhronnykh funktsional'nykh blokov IEC 61499 na osnove mashin abstraktnykh sostoyaniy, Chast' 1: Model' dispetcherov / V.N. Dubinin, V.V. Vyatkin // XXI vek: itogi proshlogo i problemy nastoyashchego Plyus. – 2012. – Vyp. 4. – S. 233-240.
9. Dubinin, V.N. Operatsionnaya semantika sinkhronnykh funktsional'nykh blokov IEC 61499 na osnove mashin abstraktnykh sostoyaniy, Chast' 2: Modeli blokov i predstavlenie v SMV / V.N. Dubinin, V.V. Vyatkin // Trudy Mezhdunarodnoy nauch.-tekhn. konf. “Sovremennye informatsionnye tekhnologii”. – Penza, 2011. – Vyp.14 – S. 94-100.
10