Exponenta Banner

hisl_0013: Использование блоков хранилища данных

ID: Заголовокhisl_0013: Использование блоков хранилища данных
ОписаниеПоддерживать детерминированное поведение через различные шаги расчета или модели при использовании блоков хранилища данных, включая Data Store Memory (Simulink), Data Store Read (Simulink) и Data Store Write (Simulink):

В диалоговом окне Параметров конфигурации, на Diagnostics> панель Data Validity, устанавливает их Data Store Memory (Simulink) параметры к error:

  • Detect read before write

  • Detect write after read

  • Detect write after write

  • Multitask data store

  • Duplicate data store names

Примечания

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

Чтобы обеспечить детерминированную передачу данных между различными уровнями и задачами, используйте Rate Transition (Simulink) блоки перед Data Store Write (Simulink) блоки или после Data Store Read (Simulink) блоки.

В дополнение к диагностике можно более точно обнаружить нарушения доступа к памяти хранилища данных в модели с помощью Simulink® Design Verifier™. Для этого, на вкладке Design Verifier , выберите Settings. В диалоговом окне Configuration Parameters, на Design Verifier> панель Design Error Detection, выбирают Data store access violations. Для получения дополнительной информации смотрите, Обнаруживают Нарушения прав доступа Хранилища данных в Модели (Simulink Design Verifier). Лицензия Simulink Design Verifier требуется.

Объяснение

Поддержите сопоставимые значения данных через различные шаги расчета или модели.

Предотвратите непреднамеренное повреждение данных.

Проверки Model AdvisorПроверяйте связанные с безопасностью диагностические настройки на память хранилища данных (Simulink Check)
Ссылки

  • 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) 'безопасное программирование'

  • DO-331, Раздел MB.6.3.3.b 'Программная архитектура сопоставим’

В последний раз измененныйR2020b
Примеры

Следующие примеры используют Rate Transition (Simulink) блоки, чтобы обеспечить детерминированную передачу данных между различными уровнями и задачами.

Для быстрых-к-медленному переходов:

Установите уровень медленного шага расчета или на блоке Rate Transition или на блоке Data Store Write.

Не помещайте блок Rate Transition после блока Data Store Read.

Для переходов быстрого не спешения:

Если блок Rate Transition после блока Data Store Read, задайте низкую скорость на блоке Data Store Read.

Если блок Rate Transition перед блоком Data Store Write, используйте наследованный шаг расчета для блоков.

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

Поддержка