|
ГЛАВНАЯ
> Вернуться к содержанию
Программные системы и вычислительные методы
Правильная ссылка на статью:
Дубинин В.Н., Вашкевич Н.П.
ВОПРОСЫ РАЗРАБОТКИ ОПЕРАЦИОННОЙ СЕМАНТИКИ ФУНКЦИОНАЛЬНЫХ БЛОКОВ IEC 61499
// Программные системы и вычислительные методы.
2012. № 11.
DOI: 10.7256/2454-0714.2012.11.6702 URL: https://nbpublish.com/library_read_article.php?id=6702
ВОПРОСЫ РАЗРАБОТКИ ОПЕРАЦИОННОЙ СЕМАНТИКИ ФУНКЦИОНАЛЬНЫХ БЛОКОВ IEC 61499
Дубинин Виктор Николаевич
Кандидат технических наук
доцент, кафедра Вычислительная техника, Пензенский государственный университет
Dubinin Viktor Nikolaevich
|
victor_n_dubinin@yahoo.com
|
|
 |
|
Вашкевич Николай Петрович
Доктор технических наук
профессор, кафедра Вычислительная техника, Пензенский государственный университет
Vashkevich Nikolai Petrovich
|
|
|
DOI: 10.7256/2454-0714.2012.11.6702
Дата направления статьи в редакцию:
18-12-1969
Дата публикации:
Аннотация:
В работе идентифицируется проблема определения формальной семантики функциональных блоков (ФБ) стандарта IEC 61499 и разрабатываются концептуальные ос-новы для построения модели операционной семантики функциональных блоков на базе машин абстрактных состояний. Дается формальное определение нотации для представления операционной семантики ФБ, а также определены варианты функционально-структурной организации семантических моделей систем ФБ. Предложенная нотация мо-жет быть использована для определения операционной семантики систем ФБ, функционирующих в рамках циклической, последовательной, синхронной, а также других моделей выполнения.
Ключевые слова:
Программное обеспечение, функциональный блок, стандарт IEC 61499, операционная семантика, машины абстрактных состояний, модели выполнения, функционально-структурная организация, распределенные системы, контроллер, формальная нотация
Библиография
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.
Ссылка на эту статью
Просто выделите и скопируйте ссылку на эту статью в буфер обмена. Вы можете также
попробовать найти похожие
статьи
|
|
