Exponenta Banner
exponenta event banner

Образцовая ссылка

hisl_0037: Параметры конфигурации> Образцовая Ссылка

ID: Заголовокhisl_0037: Параметры конфигурации> Образцовая Ссылка
Описание

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

A

Установите восстанавливают к Never или If any changes detected.

B

Установите Никогда не восстанавливают диагностику к Error if rebuild required.

C

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

D

Ясный Минимизируют алгебраические случаи цикла.

ОбъяснениеA

Предотвратить ненужную регенерацию кода, приводящего к изменению только даты файла и замедления процесс сборки при использовании моделей - ссылок.

B

Для связанных с безопасностью приложений ошибка должна предупредить образцовых разработчиков, что родительские и модели, на которые ссылаются, противоречивы.

C

Предотвратить непредсказуемые данные, потому что скалярные значения могут измениться во время временного шага.

D

Чтобы быть совместимым с рекомендуемой установкой Single вывод / обновляют функцию для кода встраиваемых систем.

Образцовые проверки советника

  • Задачей> Моделирование Стандартов для DO-178C/DO-331> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью настройки ссылки модели

  • Задачей> Моделирование Стандартов для IEC 61508> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью настройки ссылки модели

  • Задачей> Моделирование Стандартов для IEC 62304> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью настройки ссылки модели

  • Задачей> Моделирование Стандартов для EN 50128> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью настройки ссылки модели

  • Задачей> Моделирование Стандартов для ISO 26262> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью настройки ссылки модели

Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью настройки ссылки модели.

Ссылки

  • DO 331, Раздел MB.6.3.1.b 'Требования высокого уровня точен и сопоставим‘
    DO 331, Раздел MB.6.3.2.b ‘Низкоуровневые требования точен и сопоставим’
    DO 331, Раздел MB.6.3.3.b ‘Программная архитектура сопоставим’

  • IEC 61508-3, Таблица A.3 (3) 'Языковое подмножество'
    IEC 61508-3, Таблица A.4 (3) 'Безопасное программирование'

  • IEC 62304, 5.5.3 - критерии допустимости Программного блока

  • ISO 26262-6, Таблица 1 (1b) 'Использование языковых подмножеств'
    ISO 26262-6, Таблица 1 (1d) 'Использование защитных методов реализации'

  • EN 50128, таблица A.4 (11) 'языковое подмножество'
    EN 50128, таблица A.3 (1) 'безопасное программирование'

В последний раз измененныйR2017b
Была ли эта тема полезной?
Документация Simulink
Поддержка