"ФИОРД" (мастер-дистрибьютор в России компании ISaGRAF Inc.) информирует о том, что анонсирован вывод на рынок платформы FlexiSafe на основе технологии ISaGRAF и стандартов IEC 61508, ISO 13849 для систем, связанных с безопасностью. Платформа FlexiSafe предназначена для облегчения сертификации OEM-производителями средств промышленной автоматизации в соответствии со стандартами IEC 61508 ("Функциональная безопасность систем электрических, электронных, программируемых электронных, связанных с безопасностью") или ISO 13849 ("Безопасность оборудования. Элементы систем управления, связанные с безопасностью"). С более подробной информацией о FlexiSafe можно ознакомиться в буклете "ISaGRAF FlexiSafe: IEC 61850 SC3, ISO 13849 PLe".
FlexiSafe обеспечивает основные элементы, необходимые для сертификации:
ISaGRAF имеет сертификат SC3 (Systematic Capability уровня 3).
Позволяет программировать на языках среды разработки ISaGRAF.
Технологию встраиваемого программного обеспечения, которая может быть перенесена на любую "безопасную" (safety) операционную систему, включающую набор инструментов валидации и верификации.
100% тестовые отчеты по различным инструкциям TIC-кода, выполненные независимыми организациями.
Средства верификации кода приложения (разнообразные компиляторы).
Другие инструменты, помогающие сертификации конечным пользователем функций безопасности, зависящие от концепции безопасности приложений (PLCopen Safety Function Blocks, Cause and Effect Diagram, Static Checker, Version Source Control, Cross-Reference Browser, Dependency Tree,…).
C точки зрения безопасности, платформа FlexiSafe позволяет многократно использовать результаты сертификации пррименительно к различным аппаратным платформам, упрощает разработку и сертификацию приложений конечного пользователя, допускает сертификацию резервированных конфигураций.
Подход к сертификации в FlexiSafe:
Портирование сертифицированной исполнительной среды (runtime) на целевую аппаратную платформу и операционную систему (принимая во внимание FlexiSafe и руководство по безопасности ОС).
Некоторые средства оценки мер безопасности уже включены в исполнительную среду.
Сервисы проверки портирования, использующие "строгий" (rigourous) системный слой и всеобъемлющий набор тестового покрытия.
Не требуется 100% тестирование приложения конечного пользователя (только функциональные тесты).
Приложения конечного пользователя могут использовать преимущества всех языков стандарта IEC 61131-3, включая SFC.
Никаких ограничений на использование функциональных блоков.
Интегрированное управление безопасностью и средствами жизненного цикла приложений, соответствующее стандартам IEC 61508 и ISO 13849.
Концепция FlexiSafe
Проверка ядра:
Доказана в условиях реальной эксплуатации - 850 000 исполнительных систем, 14 лет использования в ответственных промышленных приложениях, требующих обеспечения безопасности.
Инкапсуляция функций безопасности - оболочка строится вокруг функциональности, которая проверяет правильность и безопасность функционирования.
Портируемое тестовое окружение - для обеспечения корректной функциональности и отсутствия побочных эффектов; сочетание Black-box и White-box испытаний; покрывающих все операции ядра (I/O, обновления, и т.д.) и каждую инструкцию TIC-кода.
Верификация компилятора:
Гарантирует, что выходные данные компилятора являются правильными, соответствуют вводу исходного кода и содержат только элементы на входе.
Использует разнообразные компиляторы и декомпиляторы для генерации независящих от языка графов.
XML-граф сравнения включает структуру, потоки, переменные и параметры.
Работает со всеми языками IEC 61131-3 (ST, IL, LD, FBD, SFC).
Деревья зависимостей:
Прямые зависимости - показ переменных, полученных от корня.
Обратные зависимости - показ переменных, приводящих к корню.
Используются статическими анализаторами для анализа воздействия и SIL-верификации.
Преимущества FlexiSafe
FlexiSafe предлагает несколько следующих преимуществ заказчику:
Сертифицированное по SIL (safety integrity level) встраиваемое программное обеспечение и конфигурация. FlexiSafe удовлетворяет требованиям на уровне Systematic Capability (SC3) нового релиза стандарта IEC 61850:2010 и может использоваться в приложениях, требующих SIL3. Это также относится к уровню производительности ISO 13849 PLe (performance level).
Сокращение времени вывода на рынок.
Стандартизировано и полностью совместимо со стандартом IEC 61131.
Не ограничивают использование любого из элементов IEC 61131.
Стандартизировано и полностью совместимо с функциональными блоками безопасности PLCopen.
FlexiSafe является гибким, пригодным для большинства аппаратных платформ продуктом с операционной системой, удовлетворяющей требованиям SC3.
Для достижения этой цели, платформа FlexiSafe ориентирована на поставку систем, которые поддерживают распределенные приложения, совмещающие безопасную и небезопасную функциональность, расширенное управление безопасностью и средства управления жизненным циклом приложений.
Решение FlexiSafe ориентировано на любого поставщика средств автоматизации, разрабатывающего системы, связанные с безопасностью и сертификации по соответствующим критериям уровня полноты безопасности SIL1, SIL2, SIL3 или уровню производительности PLe.
www.fiord.com
