Рус Eng За 365 дней одобрено статей: 2105,   статей на доработке: 301 отклонено статей: 824 
Библиотека

Н.П. Вашкевич, В.Н. Дубинин Вопросы разработки операционной семантики функциональных блоков IEC 61499

Опубликовано в журнале "Программные системы и вычислительные методы" в № 1 за 2012 год в рубрике "Языки программирования" на страницах 10-16.

Аннотация: В работе идентифицируется проблема определения формальной семантики функциональных блоков (ФБ) стандарта IEC 61499 и разрабатываются концептуальные основы для построения модели операционной семантики функциональных блоков на базе машин абстрактных состояний. Дается формальное определение нотации для представления операционной семантики ФБ, а также рассматриваются варианты функционально-структурной организации семантических моделей систем ФБ. Предложенная нотация может быть использована для определения операционной семантики систем ФБ, функционирующих в рамках циклической, последовательной, синхронной, а также других моделей выполнения.

Ключевые слова: функциональный блок, стандарт IEC 61499, операционная семантика, машины абстрактных состояний.

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

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

Библиография:
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.
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.
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.
Gurevich, Y. Evolving Algebras 1993: Lipari Guide / Y. Gurevich // Specification and Validation Methods. – Oxford University Press, 1995. – P.9-36.
International Standard IEC 61499. Function blocks for industrial-process measurement and control systems. Part 1: Architecture / International Electrotechnical Commission. – Geneva, 2005. – 111 p.
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.
Вашкевич, Н.П. Формализованное описание последовательной модели выпол-нения функциональных блоков / Н.П. Вашкевич, В.Н. Дубинин, В.В. Вяткин // Меж-вуз. сб. науч. тр. "Вычислительные системы и технологии обработки информации". –2011. – Выпуск 10. - С. 45-61.
Дубинин, В.Н. Операционная семантика синхронных функциональных блоков IEC 61499 на основе машин абстрактных состояний, Часть 1: Модель диспетчеров / В.Н. Дубинин, В.В. Вяткин // XXI век: итоги прошлого и проблемы настоящего Плюс. – 2012. – Вып. 4. – С. 233-240.
Дубинин, В.Н. Операционная семантика синхронных функциональных блоков IEC 61499 на основе машин абстрактных состояний, Часть 2: Модели блоков и представление в SMV / В.Н. Дубинин, В.В. Вяткин // Труды Международной науч.-техн. конф. “Современные информационные технологии”. – Пенза, 2011. – Вып.14 – С. 94-100.

Правильная ссылка на статью:
просто выделите текст ссылки и скопируйте в буфер обмена