newModel = sldvextract(subsystem) извлекает содержимое атомарной подсистемы subsystem и создает модель для Simulink^® Проектируйте Verifier™ программное обеспечение для анализа. sldvextract возвращает имя новой модели в newModel. Если имя модели существует, sldvextract использует имя подсистемы для имени модели, добавляя число к наименованию модели.

newModel = sldvextract(subchart) извлекает содержимое атомарной субдиаграммы subchart и создает модель для программного обеспечения Simulink Design Verifier для анализа. Задайте полный путь атомарной субдиаграммы в subchart. Если имя модели существует, sldvextract использует имя субдиаграммы для имени модели, добавляя число к наименованию модели.

newModel = sldvextract(exportfcnmodel) создает модель планировщика, которая вызывает модель экспорта функций exportfcnmodel для анализа с помощью Simulink Design Verifier. sldvextract возвращает имя новой модели в newModel. The newModel состоит из exportfcnmodel имя модели с суффиксом SldvScheduler. Если имя модели уже существует, sldvextract использует exportfcnmodel имя модели, добавляя число к наименованию модели.

newModel = sldvextract(subsystem, showModel) и newModel = sldvextract(subchart, showModel) открывает извлеченную модель, когда вы задаете showModel на true. Если showModel установлено в falseизвлеченная модель загружается только в рабочую область.