Фильтр по тематике
автоматизация
Технология OPC UA: возможности полноценного объектно-ориентированного проектирования цифровых коммуникаций промышленного оборудования
Технология OPC UA поддерживает возможности объектно-ориентированного проектирования (ООП), но наличие этой поддержки ещё не гарантирует высокого качества принятых проектных решений. Для этого требуются как минимум знание основных принципов ООП и умение их применять на практике. В статье на примере проектирования цифровых коммуникаций с котельным оборудованием рассмотрены абстракция, наследование, композиция, инкапсуляция и полиморфизм, а также определён их положительный вклад в разработку. СТА №3/2023 2848 0 0
электроника
Формальный дедуктивный анализ автоматного алгоритма управления генератором эндогаза с помощью платформы Rodin. Часть 3. Построение формальной теории для алгоритма управления
Формальный дедуктивный анализ представляет собой строгий математический подход к верификации алгоритмов: алгоритм описывается с помощью аксиом, а требуемые свойства доказываются как теоремы. Цель представленного анализа – доказать соответствие алгоритма управления предъявляемым требованиям надежности и безопасности. В статье выполнено построение формальной теории для алгоритма управления: проведена аксиоматизация алгоритма, формализованы требования, продемонстрировано доказательство теоремы с помощью платформы Rodin. СЭ №2/2021 153 0 0
электроника
Формальный дедуктивный анализ автоматного алгоритма управления генератором эндогаза с помощью платформы Rodin. Часть 2. Алгоритм управления и платформа Rodin
Формальный дедуктивный анализ представляет собой строгий математический подход к верификации алгоритмов: алгоритм описывается с помощью аксиом, а требуемые свойства доказываются как теоремы. Цель представленного анализа – доказать соответствие алгоритма управления предъявляемым требованиям надёжности и безопасности. В статье представлен алгоритм управления в виде системы взаимосвязанных автоматов и платформа Rodin – инструмент для формального анализа систем и автоматизации доказательства теорем. СЭ №1/2021 149 0 0
электроника
Формальный дедуктивный анализ автоматного алгоритма управления генератором эндогаза с помощью платформы Rodin. Часть 1. Определение требований надёжности и безопасности работы генератора эндогаза
Формальный дедуктивный анализ представляет собой строгий математический подход к верификации алгоритмов: алгоритм описывается с помощью аксиом, а требуемые свойства доказываются как теоремы. Цель представленного анализа – доказать соответствие алгоритма управления предъявляемым требованиям надёжности и безопасности. В статье описывается технологический процесс генерации эндогаза и определяются предъявляемые к нему требования надёжности и безопасности. СЭ №9/2020 198 0 0
