К вопросу о верификации программ программируемых логических контроллеров
Рассмотрение авторского метода верификации программ программируемых логических контроллеров, входящих в состав автоматизированных систем управления технологическими процессами. Система семантического анализа многомерных интервально-логических регуляторов.
Подобные документы
Исследование проблемы анализа защищенности и надежности автоматизированных систем управления производственными и технологическими процессами на объектах, представляющих опасность для жизни и здоровья людей и окружающей природной среды. Моделирование атак.
статья, добавлен 24.05.2018Изучение функций аппаратного и программного обеспечения (элементов соединения и вспомогательных схем управления, их физических, электрических и логических параметров), предназначенного для сопряжения систем или частей системы (программ или устройств).
реферат, добавлен 08.12.2018Разработка программного комплекса интеллектуальной корабельной автоматизированной системы управления. Активная логика с точки зрения фундированной семантики логических программ с приоритетами. Создание систем графического отображения изучаемых процессов.
статья, добавлен 19.01.2018Применение программируемых логических устройств. Возможности конечного пользователя задавать конкретные операции с помощью процесса, который называется программированием структуры связей схемы. Организация синхронизации для триггеров различных типов.
статья, добавлен 08.12.2018Развитие теоретических основ создания автоматизированных информационных систем. Методы тестирования, отладки и верификации программ. Теории синтаксического анализа, синтеза и реинжиниринга бизнес-процессов. Формальные грамматики и языки программирования.
статья, добавлен 18.01.2018Обеспечение поддержки процедуры загрузки пользовательского приложения со стороны программируемого контроллера как основное назначение коммуникационной задачи в программной среде ISaGRAF. Особенности языков программирования логических контроллеров.
курсовая работа, добавлен 06.10.2017Использование графов переходов конечных автоматов при спецификации, реализации, отладке и документировании поведения программ. Реализация систем управления на логических контроллерах. Объектно-ориентированное программирование с явным выделением состояний.
дипломная работа, добавлен 30.10.2017Разработка системы обработки принимаемых радиолокационных сигналов, реализуемых на программируемых логических интегральных схемах и цифровых сигнальных процессорах. Организация обмена данными. Мероприятия по безопасности при работе с дисплейной техникой.
дипломная работа, добавлен 13.06.2014Анализ подходов к верификации систем на примере политик безопасности компьютерных сетей. Разработка моделей реализации модуля верификации с применением исчисления событий и абдуктивного вывода, и модуля, использующего технологию верификации на модели.
статья, добавлен 17.01.2018История и развитие программируемой матричной логики. Программируемые логические матрицы. Воспроизведение скобочных форм переключательных функций. Общее правило решения задач с помощью программируемых логических матриц. ПМЛ с разделяемыми коньюнкторами.
реферат, добавлен 12.12.2012Описание логики работы разрабатываемого устройства на основе программируемых логических интегральных схем. Описание функционирования арифметико-логического устройства с помощью языка VerilogHDL. Анализ структуры программы, ее тела и принципа работы.
курсовая работа, добавлен 09.06.2014Рассмотрение автоматизированных систем управления технологическими процессами на примере подстанций магистральных и распределительных сетей. Функции терминалов. Интегрированная система управления подстанцией. Система мониторинга трансформаторов.
реферат, добавлен 19.12.2012- 63. Применение предикции при параллельной обработке цепочек предикатов в регулярно-логических выражениях
Проблема выбора режима исполнения (последовательный или параллельный) при обработке цепочек предикатов в регулярно-логических выражениях. Описание сути регулярно-логических выражений, их известных применений; видов и состава цепочек предикатов.
статья, добавлен 08.03.2019 Особенность построения на базе программируемых интегральных логических схем типа FPGA устройств защиты данных. Реализация операции эллиптической криптографии в базисе одноуровневой системы остаточных классов. VHDL-описание трехместного сумматора.
контрольная работа, добавлен 11.01.2020Анализ тригонометрических алгоритмов CORDIC как цифрового решения для задач навигации в реальном времени. Применение алгоритма CORDIC в различных навигационных приложениях. Характеристика и схема итеративной архитектуры и развернутого CORDIC процессора.
статья, добавлен 26.06.2018Меню системы моделирования Еlectronics Workbench 5.12. Основы проектирования электрических и электронных схем. Особенности работы логических элементов в среде Еlectronics Workbench 5.12. Схемотехника базовых логических элементов, работа d-триггера.
дипломная работа, добавлен 14.06.2017Рассмотрение информационных систем, выполняющих функции автоматизированных систем управления технологическими процессами. Рассмотрение методов анализа угроз информационной безопасности. Методы ранжирования угроз и уязвимостей. Оценка опасности угрозы.
статья, добавлен 03.05.2019Использование логических элементов в системах автоматического и программного управления. Содержание элементарных функций "не", "или", "и". Сущность сложных логических функций "память" и "выдержка времени". Схема реле с блокировкой управляющих сигналов.
презентация, добавлен 26.05.2016Автомат типа Мили, языки описания. Триггеры как элементы памяти. Процесс кодирования автомата в структурном алфавите. Главные особенности канонического синтеза. Структурная таблица переходов и выходов автомата. Программируемая логическая матрица.
курсовая работа, добавлен 29.01.2013Демонстрация метода реализации на Турбо Прологе - подхода к решению задач, записываемых с помощью логических переменных. Порядок выполнения программы в системе Visual Prolog 5.2. Составление логической системы уравнений и решение задачи о назначении.
лабораторная работа, добавлен 15.12.2011Анализ этапов жизненного цикла диагностирования автоматизированных систем управления технологическими процессами. Определение причин неисправности, прогнозирование технического состояния оборудования. Использование аппарата теории марковских процессов.
статья, добавлен 29.05.2017Характеристика структурно-кинематической схемы автомата. Анализ показателей таблицы включений с виртуальными переключателями. Методика построения начальной циклограммы работы механизмов. Оценка полученных результатов минимизации логических функций.
курсовая работа, добавлен 09.11.2017- 73. Сверхбольшая интегральная схема с программируемой архитектурой в системах специального назначения
Рассмотрение существующих архитектур программируемых СБИС, таких как ПЛИС, программируемых систем на кристалле (ПСНК), структурированных БМК (СБМК). Анализ подходов при разработке современной, сложной аппаратуры, требующей применения оригинальных СБИС.
статья, добавлен 19.01.2015 Изучение алгоритмов поиска инвариантных соотношений в программах с простыми переменными, относящимся к методам анализа потоков данных и верификации. Анализ языка типа равенств для программ над абсолютно свободными алгебрами данных и кольцами полиномов.
статья, добавлен 29.01.2016Суть базовой архитектуры программируемого логического контроллера. Особенность модулей удаленного управления. Характеристика метода прямого доступа к памяти. Языки программирования управляющих программ. Анализ обычных аналоговых и дискретных входов.
курсовая работа, добавлен 21.12.2014