Достижение - это стремление сделать что-то более совершенным, более эффективным, затрачивая при этом меньше усилий.

Маклелланд Дэвид

Связь с редакцией

Ближайшие события

10.09.2026 - 11.09.2026

XII Федеральнsq форум по ИТ и цифровым технологиям нефтегазовой отрасли России Smart Oil & Gas 2026

Город: С.-Петербург

15.09.2026 - 16.09.2026

IV Международный форум «Сеймартек ТОиР. Повышение эффективности ТОиР – 2026»

Город: Челябинск

15.09.2026 - 17.09.2026

WIN RUSSIA 2026: автоматизация и роботизация. Тенденции и вектор развития. Практические решения из реального сектора.

Город: Москва

16.09.2026

Специализированный семинар «Тренды промышленной автоматизации 2026»

Город: Уфа

23.09.2026 - 25.09.2026

XXVI МЕЖДУНАРОДНАЯ ВЫСТАВКА «IDEUM. Industrial Digital Evolution & AI» (выставка «Автоматизация» до 2025 года)

Город: С.-Петербург

верификация

Статьи

Автоматизация в промышленности, №11 2024

Технические средства автоматизации

Опыт обеспечения функциональной безопасности продуктов

Ключевые слова: верификация, датчик давления, сертификация, тестирование, уровень функциональной безопасности, функциональная безопасность

Автоматизация в промышленности, №7 2026

Производственные автоматизированные системы

Стрелков В.В.

Валидация и верификация спецификационной модели бортовой системы ситуационной осведомленности экипажа на посадке

Ключевые слова: бортовая система, валидация, верификация, выкатывание, посадка, ситуационная осведомленность, спецификационная модель

Автоматизация в промышленности, №3 2026

Обсуждаем тему: Современные решения по автоматизации и цифровизации АЭС

Абдулова Е.А., Жарко Е.Ф., Чернышев К.Р.

Архитектура и методология верификации гибридной интеллектуальной системы поддержки оператора АЭС

Предложены архитектурные и методические решения для верификации гибридной интеллектуальной системы поддержки оператора АЭС, объединяющей машинное обучение, базу экспертных правил и цифровой двойника.

Ключевые слова: АЭС, валидация, верификация, гибридные системы поддержки оператора, машинное обучение

Автоматизация в промышленности, №7 2014

Обсуждаем тему: Методы моделирования ТП в современных системах автоматизации

Андреев М.В., Боровиков Ю.С., Гусев А.С., Сулайманов А.О.

Всережимное моделирование в реальном времени перенапряжений в электроэнергетических системах

Ключевые слова: верификация, всережимное моделирование, достоверность, идентификация, квазиустановившиеся и переходные процессы, коммутационные перенапряжения, реальное время, электроэнергетические системы

Автоматизация в промышленности, №11 2022

Обсуждаем тему: Цифровизация и импортозамещение в электроэнергетики

Голубев П.А., Жарко Е.Ф.

Особенности верификации и валидации заданий на прикладное программное обеспечение систем верхнего уровня АСУТП АЭС

Ключевые слова: АЭС, базы данных, верификация, видеокадр, прикладное программное обеспечение, системы верхнего уровня АСУТП

Автоматизация в промышленности, №6 2025

Обсуждаем тему: Технологии искусственного интеллекта в промышленности

Лившиц И.И.

Влияние современных технологий искусственного интеллекта на безопасность промышленных систем автоматизации

Ключевые слова: аудит, безопасность, валидация, верификация, искусственный интеллект, промышленный контроллер, риск, стандартизация

Автоматизация в промышленности, №4 2024

Алгоритмическое и программное обеспечение систем автоматизации

Царев В.С.

Вопросы организации процесса верификации программного обеспечения АСУТП АЭС

Ключевые слова: АСУТП АЭС, верификация, прикладное программное обеспечение

Автоматизация в промышленности, №12 2022

Алгоритмическое и программное обеспечение

Ануфриев Д.С., Грачев С.П.

Применение технологии виртуальной реальности при разработке управляющих программ в CAM-системах

Ключевые слова: CAM-системы, верификация, виртуальная реальность, подготовка производства, управляющие программы, ЧПУ

Автоматизация в промышленности, №12 2022

Алгоритмическое и программное обеспечение

Букреев С.В.

Опыт верификации библиотеки «Электрика» для российской программной среды математического моделирования REPEAT

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

Автоматизация в промышленности, №4 2013

Обсуждаем тему: Секреты облачных технологий для промышленной автоматизации

Затейчук Е.Н.

«Облачная» автоматизация обработки документов

Ключевые слова: on-line сервис, верификация, информационная система, обработка документов, распознавание

Последний вышедший номер

Читайте в номере:

Валидация и верификация спецификационной модели бортовой системы ситуационной осведомленности экипажа на посадке

Программная реализация формализованной пошаговой диагностики промышленных электрических щитов автоматики

Алгоритм управления качеством изменений в организационно-производственном процессе с участием ИИ-агента

Сведение материальных балансов в условиях неполной измеренности технологических потоков