Exponenta Banner

himl_0002: Сильное типирование данных на контурах функции MATLAB

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

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

  • Сложность

  • Напечатать

Объяснение

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

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

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

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

Проверки Model AdvisorПроверьте наличие Функции 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 следующим образом:

  • Complexity с Off

  • Type с uint16

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

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

  • Complexity с Inherited

  • Type с Inherit: Same as Simulink.

Примечание

Для доступа к Диспетчеру портов и Данных (Simulink) на панели инструментов Блока MATLAB function Редактора (Simulink) выберите Edit Data.

Документация по IEC Certification Kit

Поддержка