Построение IL-программ ПЛК по LTL-спецификации
https://doi.org/10.18255/1818-1015-2014-2-26-38
Аннотация
Ключевые слова
программируемые логические контроллеры,
технология программирования,
спецификация и верификация программ,
список инструкций
При поддержке: РФФИ
Об авторах
Дмитрий Александрович Рябухин
Ярославский государственный университет им. П. Г. Демидова
Россия
Россия
аспирант,
150000 Россия, г. Ярославль, ул. Советская, 14
Егор Владимирович Кузьмин
Ярославский государственный университет им. П. Г. Демидова
Россия
Россия
д-р физ.-мат. наук, профессор,
150000 Россия, г. Ярославль, ул. Советская, 14
Валерий Анатольевич Соколов
Ярославский государственный университет им. П. Г. Демидова
Россия
Россия
д-р физ.-мат. наук, профессор,
150000 Россия, г. Ярославль, ул. Советская, 14
Список литературы
1. Кузьмин Е. В., Соколов В. А., Рябухин Д. А. Построение и верификация LD-программ ПЛК по LTL-спецификации // Моделирование и анализ информационных систем. Ярославль, 2013. Т. 20, №6 (2013). С. 78–94. [Kuzmin E. V., Sokolov V. A., Ryabukhin D. A. Construction and Verification of PLC LD-programs by LTL-specification // Modeling and analysis of information systems. 2013. V. 20, №6. P. 78–94 (in Russian)].
2. Кузьмин Е. В., Соколов В. А., Рябухин Д. А. Построение и верификация ПЛК-программ по LTL-спецификации // Моделирование и анализ информационных систем. 2013. Т. 20, №4. С. 5–22. [Kuzmin E. V., Sokolov V. A., Ryabukhin D. A. Construction and Verification of PLC-programs by LTL-specification // Modeling and analysis of information systems. 2013. V. 20, №4. P. 5–22 (in Russian)].
3. Кузьмин Е. В., Рябухин Д. А., Шипов А. А. Построение и верификация ПЛК-программ по LTL-спецификации // Международная научно-практическая конференция «Инструменты и методы анализа программ». Кострома, КГТУ, 2013. С. 17–34. [Kuzmin E. V., Ryabukhin D. A., Shipov A. A. Construction and Verification of PLCprograms by LTL-specification // Proc. of Int. Conf. «Tools and Methods of Program Analysis (TMPA-2013)». Kostroma, KSTU, 2013. P. 17–34 (in Russian)].
4. Кузьмин Е. В., Соколов В. А. Моделирование, спецификация и построение программ логических контроллеров // Моделирование и анализ информационных систем. 2013. Т. 20, №2. С. 104–120. [Kuzmin E. V., Sokolov V. A. Modeling, Specification and Construction of PLC-programs // Modeling and analysis of information systems. 2013. V. 20, №2. P. 104–120 (in Russian)].
5. Кузьмин Е. В., Соколов В. А. О построении и верификации программ логических контроллеров // Моделирование и анализ информационных систем. 2012. Т. 19, №4. С. 25–36. [Kuzmin E. V., Sokolov V. A. On Construction and Verification of PLC-Programs // Modeling and analysis of information systems. 2012. V. 19, №4. P. 25–36 (in Russian)].
6. Кузьмин Е. В., Соколов В. А. О верификации LD-программ логических контроллеров // Моделирование и анализ информационных систем. 2012. Т. 19, №2. С. 138–144. [Kuzmin E. V., Sokolov V. A. On Verification of PLC-Programs Written in the LD-Language // Modeling and analysis of information systems. 2012. V. 19, №2. P. 138–144 (in Russian)].
7. Петров И. В. Программируемые контроллеры. Стандартные языки и приемы прикладного проектирования. М.: СОЛОН-Пресс, 2004. 256 с. [Petrov I. V. Programmiruemye kontrollery. Standartnye jazyki i priemy prikladnogo proektirovanija. M.: SOLONPress, 2004. 256 p. (in Russian)].
8. Clark E. M., Grumberg O., Peled D. A. Model Checking. The MIT Press, 2001.
9. CoDeSys. Controller Development System. http://www.3s-software.com/
10. Parr E. A. Programmable Controllers. An engineer’s guide. Newnes, 2003. 442 p.
11. SMV. The Cadence SMV Model Checker. http://www.kenmcmil.com/smv.html
Рецензия
Для цитирования:
Рябухин Д.А., Кузьмин Е.В., Соколов В.А. Построение IL-программ ПЛК по LTL-спецификации. Моделирование и анализ информационных систем. 2014;21(2):26-38. https://doi.org/10.18255/1818-1015-2014-2-26-38
For citation:
Ryabukhin D.A., Kuzmin E.V., Sokolov V.A. Construction of PLC IL-Programs by LTL-Specification. Modeling and Analysis of Information Systems. 2014;21(2):26-38. (In Russ.) https://doi.org/10.18255/1818-1015-2014-2-26-38
Просмотров: 988
Послать статью по эл. почте 