Применение Модельно-ориентированного проектирования к критической по отношению к безопасности системе требует дополнительного фактора и суровости так, чтобы система придерживалась заданных стандартов безопасности. Стандарт: IEC 62304, программное обеспечение Медицинского устройства - процессы жизненного цикла программного обеспечения, является таким стандартом.
MathWorks® обеспечивает продукт IEC Certification Kit, который можно использовать, чтобы сертифицировать генерацию кода MathWorks и инструменты верификации для проектов на основе стандарта IEC 62304. Для получения дополнительной информации см. https://www.mathworks.com/products/iec-61508/.
Если у вас есть лицензия на продукты Simulink® Check™, можно проверять, что модель Simulink или подсистема и код, который вы генерируете от него, выполняют выбранные аспекты стандарта IEC 62304 путем выполнения Model Advisor Simulink (Simulink). Перейдите к By Task> Modeling Standards for IEC 62304 и запустите IEC 61508, IEC 62304, ISO 26262 и Проверки EN 50128 (Simulink Check).
Для получения дополнительной информации об использовании Model Advisor смотрите Выбор и Осуществленные Проверки Model Advisor (Simulink).
