Моделирование и анализ информационных систем
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Модел. и анализ информ. систем:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Модел. и анализ информ. систем, 2012, том 19, номер 4, страницы 25–36 (Mi mais242)  

Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)

О построении и верификации программ логических контроллеров

Е. В. Кузьмин, В. А. Соколов

Ярославский государственный университет им. П. Г. Демидова

Аннотация: Проводится обзор методов и подходов к программированию «дискретных» задач ПЛК на примере задачи построения программы управления кодовым замком. Для этих подходов оценивается удобство анализа программной корректности методом проверки модели относительно средства автоматической верификации Cadence SMV. Выявляются возможные уязвимости ПЛК-программ, возникающие при некоторых подходах к программированию ПЛК.

Ключевые слова: программирование логических контроллеров, верификация программ, метод проверки модели.

Полный текст: PDF файл (461 kB)
Список литературы: PDF файл   HTML файл
Тип публикации: Статья
УДК: 519.7
Поступила в редакцию: 09.04.2012

Образец цитирования: Е. В. Кузьмин, В. А. Соколов, “О построении и верификации программ логических контроллеров”, Модел. и анализ информ. систем, 19:4 (2012), 25–36

Цитирование в формате AMSBIB
\RBibitem{KuzSok12}
\by Е.~В.~Кузьмин, В.~А.~Соколов
\paper О построении и верификации программ логических контроллеров
\jour Модел. и анализ информ. систем
\yr 2012
\vol 19
\issue 4
\pages 25--36
\mathnet{http://mi.mathnet.ru/mais242}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/mais242
  • http://mi.mathnet.ru/rus/mais/v19/i4/p25

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. Е. В. Кузьмин, В. А. Соколов, “Моделирование, спецификация и построение программ логических контроллеров”, Модел. и анализ информ. систем, 20:2 (2013), 104–120  mathnet
    2. Е. В. Кузьмин, В. А. Соколов, Д. А. Рябухин, “Построение и верификация ПЛК-программ по LTL-спецификации”, Модел. и анализ информ. систем, 20:4 (2013), 5–22  mathnet
    3. Е. В. Кузьмин, В. А. Соколов, Д. А. Рябухин, “Построение и верификация LD-программ ПЛК по LTL-спецификации”, Модел. и анализ информ. систем, 20:6 (2013), 78–94  mathnet
    4. Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов, “Построение IL-программ ПЛК по LTL-спецификации”, Модел. и анализ информ. систем, 21:2 (2014), 26–38  mathnet
  • Моделирование и анализ информационных систем
    Просмотров:
    Эта страница:286
    Полный текст:116
    Литература:49
     
    Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021