Выход на рынок платформы FlexiSafe

08.12.2011
«ФИОРД» (www.fiord.com, мастер-дистрибьютор в России компании ISaGRAF Inc.) информирует о том, что анонсирован вывод на рынок платформы FlexiSafe на основе технологии ISaGRAF и стандартов IEC 61508, ISO 13849 для систем, связанных с безопасностью.

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