СЦБИСТ - железнодорожный форум, блоги, фотогалерея, социальная сеть
Это сообщение показано отдельно, перейти в тему, где размещено сообщение: [12-2024] Задачи единых алгоритмов обеспечения надежности и функциональной безопасности систем ЖАТ
Старый 17.04.2025, 00:09   #2 (ссылка)
Опытный пользователь
 
Аватар для Shооrup

Регистрация: 13.09.2024
Сообщений: 22
Поблагодарил: 17 раз(а)
Поблагодарили 22 раз(а)
Фотоальбомы: не добавлял
Репутация: 118
Схемплан и схема реле НКВ на рис.1 не соответствуют. (НДП1, 23СП1...) Рисунок 2 тоже с ошибками...

Но вообще есть несколько замечаний касательно самой идеи "разработки требований к единой форме записи..."

У каждого разработчика МПСистемы свое видение и свои ограничения/возможности системы на то, как должна быть написана логика. А вот отобразить ее можно как угодно и для это не нужны "требования". Для этого может быть написан любой "универсальный просмоторщик" который будет отображать логику в удобной для пользователя (заказчика) виде. Хоть в виде контактов реле, хоть лестницей, хоть булевой или палками с треугольниками. Я встречал как минимум 6 разных представлений. И все они "взаимокнвертируемы".

А еще: "наиболее полное и адекватное описание алгоритмов..." довольно громко сказано)
Учитывая развитие Микропроцессорной техники в ЖАТ применять 1 к 1 типовые альбомы не логично как минимум потому, что они учитывают специфику релейных схем. Сделать типовые альбомы алгоритмов для МПС тоже сомнительно, ибо есть специфика в каждой системе. Да и логика может быть представлена в "блочном виде" с избытком для последующей автоматизации проектирования.
Для анализа и проверки функциональности (безопасности) достаточно: Моделирование работы станции (симулятор), Автоматические тесты с отчетами.

Комментарии к сообщению (репутация)
kycok, положительно:
Shооrup вне форума   Цитировать 0
 Нажмите здесь, чтобы написать комментарий к этому сообщению  
 

Яндекс.Метрика