| Идентификатор: Заголовок | hisl_0013: Использование блоков хранилища данных | ||
|---|---|---|---|
| Описание | Чтобы поддержать детерминированное поведение через различные шаги расчета или модели при использовании блоков хранилища данных, включая Data Store Memory (Simulink), Data Store Read (Simulink) и Data Store Write (Simulink): | ||
В диалоговом окне Параметров конфигурации на панели Diagnostics > Data Validity установите эти параметры Data Store Memory (Simulink) равными
| |||
| Примечания | Использование блоков памяти хранилища данных может оказать значительное влияние на усилия по верификации программного обеспечения. Модели и подсистемы, которые используют только входные и выходные порты для прохождения данных, обеспечивают непосредственно отслеживаемый интерфейс, упрощая процесс верификации. Чтобы обеспечить детерминированную передачу данных между различными скоростями и задачами, используйте Rate Transition (Simulink) блоки перед Data Store Write (Simulink) блоками или после Data Store Read (Simulink) блоками. В дополнение к диагностике можно более точно обнаружить нарушения доступа к памяти хранилища данных в модели с помощью Simulink® Design Verifier™. Для этого на вкладке Design Verifier выберите Settings. В диалоговом окне Параметры конфигурации на панели Design Verifier > Design Error Detection выберите Data store access violations. Для получения дополнительной информации смотрите Обнаружение нарушений доступа к хранилищу данных в модели (Simulink Design Verifier). Требуется лицензия Simulink Design Verifier. | ||
| Объяснение | Поддержка допустимых значений данных для различных шагов расчета или моделей. Предотвратите непреднамеренное повреждение данных. | ||
| Проверки Model Advisor | Проверьте параметры диагностики, связанные с безопасностью, для памяти хранилища данных (Simulink Check) | ||
| Ссылки |
| ||
| Последнее изменение | 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, используйте унаследованный шаг расчета для блоков.
| ||
