Exponenta Banner
exponenta event banner

Проверки квалифицированного консультанта по моделям

Эти проверки Model Advisor можно использовать для упрощения проектирования и поиска и устранения неисправностей моделей, подсистем и соответствующего сгенерированного кода для процессов, которые должны соответствовать стандартам ISO 26262-6: 2018, IEC 61508-3: 2010, IEC 62304:2015, ISO 25119:2018, EN 50128:2011, EN 50657:2017 и MISRA C:2012 .

Сведения о выполнении анализа модели с помощью помощника по модели см. в разделе Выполнение проверки и проверки результатов помощника по модели (Simulink Check).

При выполнении этих проверок Model Advisor выполняет взятие на изменение лицензии Simulink ® Check™.

Заголовок проверки помощника по моделиКод проверки
Просмотр данных управления конфигурациейmathworks.iec61508.MdlVersionInfo
Отображение метрик модели и отчета о сложностиmathworks.iec61508.MdlMetricsInfo
Проверка на наличие неподключенных объектовmathworks.iec61508.UnconnectedObjects
Проверка использования блоков таблицы подстановки (Simulink Check) mathworks.hism.hisl_0033
Проверка несогласованности методов векторной индексации (Simulink Check)mathworks.hism.hisl_0021
Проверка использования блоков вариантов (Simulink Check)mathworks.hism.hisl_0023
Проверка корневых входов с отсутствующими свойствами (Simulink Check)mathworks.hism.hisl_0024
Проверка блоков реляционного оператора, которые приравнивают типы с плавающей запятой (Simulink Check)mathworks.hism.hisl_0016
Проверка использования блоков реляционного оператора (Simulink Check)mathworks.hism.hisl_0017
Проверка использования логических блоков оператора (Simulink Check)mathworks.hism.hisl_0018
Проверка использования блоков итератора (Simulink Check)mathworks.hism.hisl_0006
Проверка использования подсистем итератора For и While (Simulink Check)mathworks.hism.hisl_0007
Проверка использования блоков итератора (Simulink Check)mathworks.hism.hisl_0008
Проверка использования блоков If и блоков подсистемы действий (Simulink Check)mathworks.hism.hisl_0010
Проверка использования блоков «Switch Case» и блоков «Switch Case Action Subsystem» (Simulink Check)mathworks.hism.hisl_0011
Проверка на деление на ноль (Simulink Check)mathworks.hism.hisl_0067
Проверка параметров оптимизации, связанных с безопасностью, для логических сигналов (Simulink Check)mathworks.hism.hisl_0045
Проверка параметров оптимизации сокращения блоков, связанных с безопасностью (Simulink Check)mathworks.hism.hisl_0046
Проверка параметров оптимизации, связанных с безопасностью, для срока службы приложения (Simulink Check)mathworks.hism.hisl_0048
Проверка параметров оптимизации, связанных с безопасностью, для инициализации данных (Simulink Check)mathworks.hism.hisl_0052
Проверка параметров оптимизации, связанных с безопасностью, для преобразований типов данных (Simulink Check)mathworks.hism.hisl_0053
Проверка параметров оптимизации, связанных с безопасностью, для арифметических исключений разделения (Simulink Check)mathworks.hism.hisl_0054
Проверка параметров создания кода, связанных с безопасностью, для комментариев (Simulink Check)mathworks.hism.hisl_0038
Проверка параметров интерфейса генерации кода, связанного с безопасностью (Simulink Check)mathworks.hism.hisl_0039
Проверка параметров создания кода, связанных с безопасностью, для стиля кода (Simulink Check)mathworks.hism.hisl_0047
Проверка параметров генерации кодов, связанных с безопасностью (Simulink Check)mathworks.hism.hisl_0049
Проверка параметров безопасности для реализации аппаратных средств (Simulink Check)mathworks.hism.hisl_0071
Проверка использования блоков Abs (Simulink Check)mathworks.hism.hisl_0001
Проверка использования математических функциональных блоков (rem и обратных функций) (Simulink Check)mathworks.sldv.hism.hisl_0002
Проверка использования блоков Sqrt (Simulink Check)mathworks.hism.hisl_0003
Проверка использования взаимных блоков Sqrt (Simulink Check)mathworks.hism.hisl_0028
Проверка использования математических функциональных блоков (функции log и log10) (Simulink Check)mathworks.sldv.hism.hisl_0004
Проверка использования блоков назначения (Simulink Check)mathworks.hism.hisl_0029
Проверка использования блоков маршрутизации сигналов (Simulink Check)mathworks.hism.hisl_0034
Проверка корневых входов с отсутствующими определениями диапазонов (Simulink Check)mathworks.hism.hisl_0025
Проверка корневых выходов с отсутствующими определениями диапазонов (Simulink Check)mathworks.hism.hisl_0026
Проверка типа конечного автомата диаграмм Stateflow (Simulink Check)mathworks.hism.hisf_0001
Проверьте диаграммы потока состояний на наличие путей перехода, пересекающих параллельные границы состояний (Simulink Check)mathworks.hism.hisf_0013
Проверка диаграмм потока состояний для упорядочения состояний и переходов (Simulink Check)mathworks.hism.hisf_0002
Проверка параметров отладки Stateflow (Simulink Check)mathworks.hism.hisf_0011
Проверка диаграмм Stateflow для однозначно определенных объектов данных (Simulink Check)mathworks.hism.hisl_0061
Проверка строгой типизации данных в диаграммах Stateflow (Simulink Check)mathworks.hism.hisf_0015
Проверка использования операций смены для данных Stateflow (Simulink Check)mathworks.hism.hisf_0064
Проверка операций назначения в диаграммах Stateflow (Simulink Check)mathworks.hism.hisf_0065
Проверка диаграмм Stateflow для унарных операторов (Simulink Check)mathworks.hism.hisf_0211
Проверка строгой типизации данных с помощью Simulink I/O (Simulink Check)mathworks.hism.hisf_0009
Проверка функциональных интерфейсов MATLAB с унаследованными свойствами (Simulink Check)mathworks.hism.himl_0002
Проверка показателей функции MATLAB (Simulink Check)mathworks.hism.himl_0003
Проверка сообщений анализатора кода MATLAB (Simulink Check)mathworks.hism.himl_0004
Проверка параметров ссылок на модели, связанные с безопасностью (Simulink Check)mathworks.hism.hisl_0037
Проверка параметров диагностики, связанных с безопасностью, для решателей (Simulink Check)mathworks.hism.hisl_0043
Проверка параметров решателя, связанных с безопасностью, на время моделирования (Simulink Check)mathworks.hism.hisl_0040
Проверка параметров решателя, связанных с безопасностью (Simulink Check)mathworks.hism.hisl_0041
Проверка параметров решателя, связанных с безопасностью, для задач и времени выборки (Simulink Check)mathworks.hism.hisl_0042
Проверка параметров диагностики, связанных с безопасностью, на время выборки (Simulink Check)mathworks.hism.hisl_0044
Проверка параметров диагностики, связанной с безопасностью (Simulink Check)mathworks.hism.hisl_0302
Проверка параметров диагностики, связанных с безопасностью, для данных, используемых для отладки (Simulink Check)mathworks.hism.hisl_0305
Проверка параметров диагностики, связанных с безопасностью, для памяти хранилища данных (Simulink Check)mathworks.hism.hisl_0013
Проверка параметров диагностики, связанных с безопасностью, для преобразования типов (Simulink Check)mathworks.hism.hisl_0309
Проверка параметров диагностики, связанных с безопасностью, для подключения сигналов (Simulink Check)mathworks.hism.hisl_0306
Проверка параметров диагностики безопасности для подключения шины (Simulink Check)mathworks.hism.hisl_0307
Проверка параметров диагностики, связанных с безопасностью, которые применяются для подключения к функциональным вызовам (Simulink Check)mathworks.hism.hisl_0308
Проверка совместимости параметров диагностики, связанных с безопасностью (Simulink Check)mathworks.hism.hisl_0301
Проверка параметров диагностики, связанных с безопасностью, для инициализации модели (Simulink Check)mathworks.hism.hisl_0304
Проверка параметров диагностики, связанных с безопасностью, для ссылок на модели (Simulink Check)mathworks.hism.hisl_0310
Проверка параметров диагностики безопасности для сохранения (Simulink Check)mathworks.hism.hisl_0036
Проверка параметров диагностики, связанных с безопасностью, для блоков объединения (Simulink Check)mathworks.hism.hisl_0303
Проверка параметров диагностики, связанных с безопасностью, для потока Stateflow (Simulink Check)mathworks.hism.hisl_0311
Проверка имен объектов модели (Simulink Check)mathworks.hism.hisl_0032
Проверка элементов модели, не связанных с требованиями (Simulink Check)mathworks.hism.hisl_0070
Проверка неподходящего использования путей перехода (Simulink Check)mathworks.hism.hisf_0014
Проверка использования блоков управления битами (Simulink Check)mathworks.hism.hisl_0019
Проверка типов данных для блоков с индексными сигналами (Simulink Check)mathworks.hism.hisl_0022
Проверить имя файла модели (Simulink Check)mathworks.hism.hisl_0031
Проверка шаблонов/elseif/else в функциональных блоках MATLAB (Simulink Check)mathworks.hism.himl_0006
Проверка операторов переключения в функциональных блоках MATLAB (Simulink Check)mathworks.hism.himl_0007
Проверка глобальных переменных в графических функциях (Simulink Check)mathworks.hism.hisl_0062
Проверка длины пользовательских имен объектов (Simulink Check)mathworks.hism.hisl_0063
Проверка использования блоков объединения (Simulink Check)mathworks.hism.hisl_0015
Проверка использования условно выполненных подсистем (Simulink Check)mathworks.hism.hisl_0012
Проверка использования стандартных заголовков функций MATLAB (Simulink Check)mathworks.hism.himl_0001
Проверка использования реляционных операторов в функциональных блоках MATLAB (Simulink Check)mathworks.hism.himl_0008
Проверка использования операторов равенства в функциональных блоках MATLAB (Simulink Check)mathworks.hism.himl_0009
Проверка использования логических операторов и функций в функциональных блоках MATLAB (Simulink Check)mathworks.hism.himl_0010
Проверка типа и размера выражений условий (Simulink Check)mathworks.hism.himl_0011
Проверка именования портов в диаграммах Stateflow (Simulink Check)mathworks.hism.hisf_0016
Проверка области видимости объектов данных Stateflow (Simulink Check)mathworks.hism.hisf_0017
Проверка использования блоков усиления (Simulink Check)mathworks.hism.hisl_0066
Проверка использования побитовых операций в диаграммах Stateflow (Simulink Check)mathworks.hism.hisf_0003
Проверка типа данных переменных управления контуром (Simulink Check)mathworks.hism.hisl_0102
Проверка параметров оптимизации, связанных с безопасностью, для указанных минимальных и максимальных значений (Simulink Check)mathworks.hism.hisl_0056
Проверка использования рекурсий (Simulink Check)mathworks.hism.hisf_0004
Проверка параметров безопасности для реализации аппаратных средств (Simulink Check)mathworks.hism.hisl_0071
Проверка параметров конфигурации для MISRA C:2012 (Simulink Check)mathworks.misra.CodeGenSettings
Проверка блоков, не рекомендованных для развертывания производственного кода C/C + + (Simulink Check)mathworks.codegen.PCGSupport
Проверка блоков, не рекомендованных для MISRA C:2012 (Simulink Check)mathworks.misra.BlkSupport
Проверка неподдерживаемых имен блоков (Simulink Check)mathworks.misra.BlockNames
Проверка использования блоков назначения (Simulink Check)mathworks.misra.AssignmentBlocks
Проверка выражений вариантов переключения без варианта по умолчанию (Simulink Check)mathworks.misra.SwitchDefault
Проверка отсутствия портов ошибок для интерфейсов приемника AUTOSAR (Simulink Check)mathworks.misra.AutosarReceiverInterface
Проверка побитовых операций со подписанными целыми числами (Simulink Check)mathworks.misra.CompliantCGIRConstructions
Проверка рекурсивных вызовов функций (Simulink Check)mathworks.misra.RecursionCompliance
Проверка операций равенства и неравенства для значений с плавающей запятой (Simulink Check)mathworks.misra.CompareFloatEquality
Проверка отсутствующих квалификаторов const в функциях модели (Simulink Check)mathworks.misra.ModelFunctionInterface
Проверка длины целого слова (Simulink Check)mathworks.misra.IntegerWordLengths
Проверка имен объектов шины, используемых в качестве имен элементов шины (Simulink Check)mathworks.misra.BusElementNames

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

mathworks.hism.hisl_0051
Проверка использования ограниченных имен переменных (Simulink Check)mathworks.maab.na_0019
Проверка использования выражений с плавающей запятой в диаграммах Stateflow (Simulink Check)mathworks.maab.jc_0481
Проверка использования числовых литералов в Stateflow (Simulink Check)mathworks.jmaab.jc_0702
Проверка варианта по умолчанию/иначе в блоках вариантов переключения и блоках If (Simulink Check)mathworks.jmaab.jc_0656
Сравнение типов с плавающей запятой в Simulink (Simulink Check)mathworks.jmaab.jc_0800
Проверка каскадных блоков задержки установки (Simulink Check)mathworks.jmaab.jc_0624

Документация по комплекту сертификации МЭК

Поддержка