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

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

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


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




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

Моделирование и анализ информационных систем, 2012, том 19, номер 4, страницы 25–36 (Mi mais242)  
Эта публикация цитируется в 6 научных статьях (всего в 6 статьях)

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

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

Ярославский государственный университет им. П. Г. Демидова
PDF полного текста (461 kB) Список цитирования (6)
Список литературы:
PDF
HTML
Аннотация: Проводится обзор методов и подходов к программированию «дискретных» задач ПЛК на примере задачи построения программы управления кодовым замком. Для этих подходов оценивается удобство анализа программной корректности методом проверки модели относительно средства автоматической верификации Cadence SMV. Выявляются возможные уязвимости ПЛК-программ, возникающие при некоторых подходах к программированию ПЛК.
Ключевые слова: программирование логических контроллеров, верификация программ, метод проверки модели.
Поступила в редакцию: 09.04.2012
Тип публикации: Статья
УДК: 519.7
Образец цитирования: Е. В. Кузьмин, В. А. Соколов, “О построении и верификации программ логических контроллеров”, Модел. и анализ информ. систем, 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}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/mais242
  • https://www.mathnet.ru/rus/mais/v19/i4/p25
    • Эта публикация цитируется в следующих 6 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Моделирование и анализ информационных систем
    Статистика просмотров:
    Страница аннотации:412
    PDF полного текста:211
    Список литературы:65
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024