Описание | Предоставьте проект мин./макс. информацию для блоков Inport корневого уровня, чтобы задать вход областей значений интерфейса. |
Примечания |
Установка области значений блоков Inport на корневом уровне включает дополнительные возможности[a]Примеры включают:
Обнаружение переполнений через проверку области значений симуляции. Оптимизация кода с использованием Embedded Coder®. Проектируйте верификацию модели с помощью Simulink® Design Verifier™. Автомасштабирование с фиксированной точкой с помощью Fixed-Point Designer™.
Заданные области значений проекта используются Embedded Coder для оптимизации сгенерированного кода. Чтобы использовать эти области значений проекта для оптимизации, выберите параметр конфигурации <reservedrangesplaceholder0>. Этот параметр конфигурации применим только, когда системный целевой файл является целевым объектом на основе ERT. Области значений для блоков Inport типа шины заданы элементами шины определяющего объекта шины. Simulink игнорирует спецификации области значений, предоставляемые непосредственно в блоках Inport, которые являются типами шины.
|
Объяснение | Поддержка точной спецификации входного интерфейса. |
Проверки Model Advisor | Проверьте корневые входные порты с отсутствующими определениями области значений (Simulink Check) |
Ссылки |
DO-331, раздел MB.6.3.2.d - «Требования низкого уровня поддаются проверке» DO-331 Раздел MB.6.3.2.b 'Низкоуровневые требования точны и непротиворечивы' МЭК 61508-3, таблица B.9 (6) «Полностью определенный интерфейс» МЭК 62304, 5.5.3 - Критерии приемки Модуля ПО ISO 26262-6, таблица 1 (1с) - Применение строгой типизации ISO 26262-6, таблица 7 (1e) - Официальная верификация ISO 26262-6, Таблица 7 (1k) - Тест интерфейса ISO 26262-6, Таблица 8 (1с) - Анализ краевых значений EN 50128, Таблица A.1 (11) - Спецификации интерфейса программного обеспечения EN 50128 Таблица A.3 (19) «Полностью определенный интерфейс»
|
Последнее изменение | R2017b |