Exponenta Banner
exponenta event banner

himl_0002: Сильная типизация данных на границах функций MATLAB

Идентификатор: Заголовокhiml_0002: Сильная типизация данных на границах функций MATLAB ®
Описание

Для поддержки сильной типизации данных на интерфейсах функций MATLAB явным образом определите интерфейс для входных сигналов, выходных сигналов и параметров, установив:

  • Сложность

  • Напечатать

Объяснение

Определенные интерфейсы:

  • Разрешить проверку согласованности интерфейсов.

  • Предотвращение непреднамеренного создания различных функций для различных типов ввода и вывода.

  • Упрощение тестирования функций за счет ограничения числа тестовых случаев.

Проверки помощника по моделиПроверка функциональных интерфейсов MATLAB с унаследованными свойствами (Simulink Check)
Ссылки

  • IEC 61508-3, Таблица B.9 (6) - Полностью определенный интерфейс

  • МЭК 62304, 5.5.3 - Критерии приемки установки программного обеспечения

  • ISO 26262-6, таблица 1 (1с) - Обеспечение строгого набора текста
    ISO 26262-6, таблица 1 (1f) - Использование однозначного графического представления

  • EN 50128, таблица A.1 (11) - Спецификации интерфейса программного обеспечения

  • DO-331, Раздел MB.6.3.2.b - Требования низкого уровня являются точными и последовательными

См. также
Последнее изменениеR2016a
Примеры

Рекомендуется:

В диспетчере портов и данных (Simulink) укажите сложность и тип ввода u1 следующим образом:

  • Сложность до Off

  • Введите для uint16

Не рекомендуется:

В диспетчере портов и данных (Simulink) не указывайте сложность и тип ввода u1 следующим образом:

  • Сложность до Inherited

  • Введите для Inherit: Same as Simulink.

Примечание

Для доступа к диспетчеру портов и данных (Simulink) на панели инструментов редактора функциональных блоков MATLAB (Simulink) выберите «Редактировать данные».

Документация по комплекту сертификации МЭК

Поддержка