Simulink® PLC Coder™ Reference Workflow описывает рабочий процесс для специализированной верификации и валидации моделей и структурированного текста или лестничного кода схемы, разработанного с помощью Модельно-ориентированного проектирования с генерацией кода PLC. Пользователи программного обеспечения Simulink PLC Coder должны выполнить этот рабочий процесс как часть полного ISO 26262, IEC 61508, IEC 62304, IEC 61511, или жизненный цикл EN 50128 безопасности. Модельно-ориентированное проектирование включает автоматическую генерацию IEC 61131-3 структурированных текста или лестничный код схемы из исполняемых графических моделей, которые могут быть развернуты на Контроллеры с программируемой логикой (PLCs). Продукты Simulink от MathWorks® стали принятым стандартом для Модельно-ориентированного проектирования. Simulink и программная поддержка Stateflow графическое моделирование с основанными на времени блок-схемами и основанной на событии машиной состояний. Блок MATLAB Function позволяет включая алгоритмы MATLAB® в моделях Simulink. Программное обеспечение Simulink PLC Coder поддерживает генерацию IEC 61131 совместимый структурированный текст или лестничный код схемы на основе моделей Simulink и графиков Stateflow®.
Если сгенерированный код схемы структурированного текста или лестничной структуры развертывается в связанных с безопасностью приложениях, моделирование и генерация кода PLC должно быть дополнено мерами и методами, чтобы проверить и подтвердить модель и сгенерированный код PLC. Применение этих мер и методов специализированным способом служит цели валидации перевода. [1] А успешная валидация перевода обеспечивает высокую степень уверенности, что — для экземпляра проекта на рассмотрении — выход генератора кода и интегрированной среды разработки контроллера с программируемой логикой (IDE PLC) набор инструментальных средств предоставляет эквивалентное поведение ввода - вывода как модель, используемую в генерации кода PLC.
Рабочий процесс Simulink PLC Coder описывает процесс валидации перевода, предназначенный, чтобы выполнить применимые требования полного жизненного цикла безопасности, заданного ISO 26262-6, IEC 61508-3, IEC 62304, IEC 61511 и EN 50128, когда они относятся к верификации и валидации моделей и сгенерированного структурированного текста или лестничного кода схемы. Рабочий процесс обращается к уровням 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, EN 50128, связанный с процессами разработки программного обеспечения, требует проверки и проверки разрабатываемого прикладного программного обеспечения 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
