Рус Eng Cn Перевести страницу на:  
Nota Bene. Books, journals, publishing technologies.
Please select your language to translate the article


You can just close the window to don't translate ☒
Библиотека
 ваш профиль
Creative Commons License CC-BY-NC Статья опубликована с лицензией Creative Commons Attribution-NonCommercial 4.0 International License (CC BY-NC 4.0) – Лицензия «С указанием авторства – Некоммерческая».
Вернуться к содержанию

Программные системы и вычислительные методы
Правильная ссылка на статью:

Сидоркина И.Г. О новом журнале «Программные системы и вычислительные методы»

Аннотация: У Вас в руках первый номер нового журнала издательства Nota Bene «Программные системы и вычислительные методы». Первый журнал технического и естественно-научного профиля среди заслуженных периодических изданий в областях политологии, права, социологии, психологии, экономики, демографии, философии, культурологии, религии... Представленные в журнале статьи относятся к одному из направлений инновационного развития экономики России. В настоящий момент времени информационные технологии, программные системы широко применяются во всех сферах человеческой деятельности, набирают силу тенденции к интеграции различных систем и технологий, вычислительных методов и наук. Основная цель нового издания — предоставить читателю возможность ведения диалога с наиболее подготовленными специалистами в области IT-технологий, фундаментальных наук и практики программирования. Задачи журнала открыть молодежи горизонты развития современной науки в обозначенной выше области и поддержать их инновационную активность.

Ключевые слова:

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

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


Эта статья может быть бесплатно загружена в формате PDF для чтения. Обращаем ваше внимание на необходимость соблюдения авторских прав, указания библиографической ссылки на статью при цитировании.

Скачать статью

Библиография
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. 
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. 
Издательство
 
Авторам
 
Услуги
 
Разное
 
Наши сайты

© 1998 – 2024 Nota Bene. Publishing Technologies. NB-Media Ltd.