Simulink® PLC Coder™ Reference Workflow описывает рабочий процесс для специализированной верификации и валидации моделей и структурированного текста или лестничного кода схемы, разработанного с помощью Модельно-ориентированного проектирования с генерацией кода PLC. Пользователи программного обеспечения Simulink PLC Coder должны выполнить этот рабочий процесс как часть полного ISO 26262, IEC 61508, IEC 62304, IEC 61511, ISO 25119, EN 50128, или жизненный цикл EN 50657 безопасности. Модельно-ориентированное проектирование включает автоматическую генерацию IEC 61131-3:2013 структурированный текст или лестничный код схемы из исполняемых графических моделей, которые могут быть развернуты на Контроллеры с программируемой логикой (PLCs). Продукты Simulink от MathWorks® стали принятым стандартом для Модельно-ориентированного проектирования. Simulink и программная поддержка Stateflow графическое моделирование с основанными на времени блок-схемами и основанной на событии машиной состояний. Блок MATLAB Function (Simulink) позволяет включая алгоритмы MATLAB® в Simulink models.Simulink, программное обеспечение PLC Coder поддерживает генерацию IEC 61131 совместимый структурированный текст или лестничный код схемы на основе моделей Simulink и графиков Stateflow®.
Если сгенерированный код схемы структурированного текста или лестничной структуры развертывается в связанных с безопасностью приложениях, моделирование и генерация кода PLC должно быть дополнено мерами и методами, чтобы проверить и подтвердить модель и сгенерированный код PLC. Применение этих мер и методов специализированным способом служит цели перевода validation.[1], успешная валидация перевода обеспечивает высокую степень доверия, что — для экземпляра проекта на рассмотрении — выход генератора кода и интегрированной среды разработки контроллера с программируемой логикой (IDE PLC) набор инструментальных средств предоставляет эквивалентное поведение ввода - вывода как модель, используемую для генерации кода PLC.
Рабочий процесс Simulink PLC Coder описывает процесс валидации перевода, предназначенный, чтобы выполнить применимые требования полного жизненного цикла безопасности, заданного ISO 26262-6, IEC 61508-3, IEC 62304, IEC 61511, ISO 25119, EN 50128 и EN 50657, когда они относятся к верификации и валидации моделей и сгенерированного структурированного текста или лестничного кода схемы. Рабочий процесс обращается к уровням SIL 1 риска - SIL 4 согласно IEC 61511.
Примечание
IEC 61511 не обращается к прикладному программированию SIL 4. Если ваш уровень риска будет SIL 4, разработка должна следовать за IEC 61508-3. Однако IEC 61508 рекомендует предотвращение функций безопасности SIL 4; это - ответственность пользователя инструмента проверять меры как использование разнообразных инструментов для той же цели, другие меры по снижению риска, и т.д.
Завершение рабочего процесса верификации и валидации считается эквивалентным использованию сертифицированного набора инструментальных средств генерации кода PLC, чтобы разработать приложение на рассмотрении (IEC 61508-3, пункт 7.4.4.10).
Выполнение целей ISO 26262-6, IEC 61508-3, IEC 61511-1, IEC 62304, ISO 25119, EN 50128 и EN 50657, связанный с процессами разработки программного обеспечения, требует проверки и проверки разрабатываемого прикладного программного обеспечения PLC (валидация перевода).
Рабочий процесс для специализированной верификации и валидации моделей и сгенерированного кода PLC, обрисованного в общих чертах в Рабочем процессе Simulink PLC Coder, делит процесс валидации перевода на два шага:
Верификация проекта: Продемонстрируйте, что модель, используемая для генерации производственного кода, ведет себя, как задано в ее требованиях.
Верификация кода PLC: Продемонстрируйте эквивалентность между моделью и сгенерированным кодом PLC.
Первый шаг комбинирует подходящие методы верификации и валидации на уровне модели. Второй шаг полагается в основном на сравнение модели и сгенерированного кода PLC. С этим двухступенчатым подходом можно завершить действия верификации и валидации, в основном на уровне модели. Уровень модели повторного использования тестирует при проверке сгенерированного кода PLC.
Обзор рабочего процесса для специализированной верификации и валидации кода Models and Generated PLC
Чтобы получить доступ к документу Рабочего процесса Simulink PLC Coder, откройте Менеджера артефактов. Под Simulink PLC Coder, открытым certkitiec_plccoder_workflow.pdf файл.
[1] А. Пнуели, М. Зигель, Э. Синджермен: Валидация Перевода. Читайте лекции Примечаниям в Информатике, Издании 1384, стр 151-166. Спрингер, 1998
