| Идентификатор: Заголовок | hisl_0013: Использование блоков хранения данных | ||
|---|---|---|---|
| Описание | Для поддержки детерминированного поведения в различных типах или моделях при использовании блоков хранения данных, включая память хранилища данных (Simulink), чтение хранилища данных (Simulink) и запись хранилища данных (Simulink): | ||
В диалоговом окне «Параметры конфигурации» на панели «Диагностика» > «Валидность данных» задайте для этих параметров «Память хранилища данных» (Simulink) значение
| |||
| Примечания | Использование блоков памяти хранилища данных может оказать значительное влияние на процесс проверки программного обеспечения. Модели и подсистемы, использующие только входы и выходы для передачи данных, обеспечивают непосредственно отслеживаемый интерфейс, упрощая процесс проверки. Чтобы обеспечить детерминированную передачу данных между различными скоростями и задачами, используйте блоки Rate Transition (Simulink) перед блоками записи хранилища данных (Simulink) или после блоков чтения хранилища данных (Simulink). Помимо диагностики, с помощью Simulink ® Design Verifier™ можно более точно обнаружить нарушения доступа к памяти хранилища данных в модели. Для этого на вкладке «Проверка проекта» выберите «Параметры». В диалоговом окне «Параметры конфигурации» на панели «Design Verifier > Design Error Detection» выберите «Нарушения доступа к хранилищу данных». Дополнительные сведения см. в разделе Обнаружение нарушений доступа к хранилищу данных в модели (Simulink Design Verifier). Требуется лицензия Simulink Design Verifier. | ||
| Объяснение | Поддержка непротиворечивых значений данных для различных образцов времени или моделей. Предотвращение непреднамеренного повреждения данных. | ||
| Проверки помощника по модели | Проверка параметров диагностики, связанных с безопасностью, для памяти хранилища данных (Simulink Check) | ||
| Ссылки |
| ||
| Последнее изменение | R2020b | ||
| Примеры | В следующих примерах используются блоки Rate Transition (Simulink) для обеспечения детерминированной передачи данных между различными скоростями и задачами. Для быстрых-медленных переходов: Установите скорость медленного времени выборки в блоке Rate Transition или в блоке записи хранилища данных.
Не помещайте блок «Rate Transition» после блока «Data Store Read».
Для медленно-быстрых переходов: Если блок «Rate Transition» следует за блоком «Data Store Read», укажите медленную скорость в блоке «Data Store Read».
Если блок Rate Transition находится перед блоком записи хранилища данных, используйте наследуемое время выборки для блоков.
| ||
