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

Стиль моделирования

hisl_0032: Имена объектов модели

Идентификатор: Заголовок	hisl_0032: Имена объектов модели
Описание	Для следующих имен объектов модели: Сигналы Параметры Блоки Именованный Stateflow^® объекты (состояния, коробки, Simulink^® Функции, графические функции, таблицы истинности) Использование: Эти символы: `a-z`, `A-Z`, `0-9`и символ подчеркивания `(_)`. Строки длиной менее 32 символов. Не следует: Начните имя с числа. Используйте символ подчеркивания в начале или конце строки. Используйте более одного последовательного подчеркивания. Используйте зарезервированные идентификаторы.
Примечания	Зарезервированные имена: MATLAB^® ключевые слова Зарезервированные ключевые слова для C, C++ и генерации кода. Полный список см. в Reserved Keywords (Simulink Coder). `int8` , `uint8` `int16`, `uint16` `int32`, `uint32` `inf`, `Inf` `NaN`, `nan` `eps` `intmin`, `intmax` `realmin`, `realmax` `pi` `infinity` `Nil`
Объяснение	Удобочитаемость Ограничения компилятора Модель к сгенерированной трассируемости
Проверки Model Advisor	Проверяйте имена объектов модели (Simulink Check)
См. также	Инструкции MAB: jc_0201: Полезные символы для имен подсистем M jc_0211: Полезные символы для блоков Inport и блока Outport jc_0231: Полезные символы для имен блоков na_0019: Ограниченные имена переменных
Ссылки	MISRA C:2012, правило 21.2 ISO 26262-6, Таблица 1 (1h) «Использование именующих конвенций» DO-331, раздел MB.6.3.2.e - «Требования низкого уровня соответствуют стандартам» DO-331, MB.6.3.3.e 'Программная архитектура соответствует стандартам "
Последнее изменение	R2018b
Пример	Рекомендуется Имя блока: `My_Controller` Имя сигнала: `a_b` Не рекомендуется Имя блока: `My Controller` Имя сигнала: `12a__b`

hisl_0061: Уникальные идентификаторы для ясности

Идентификатор: Заголовок	hisl_0061: Уникальные идентификаторы для ясности
Описание	При разработке модели:
	A	Используйте уникальные идентификаторы для сигналов Simulink.
	B	Задайте уникальные идентификаторы для нескольких возможностей графика.
Примечания	Генератор кода разрешает конфликты между идентификаторами, так что символы в сгенерированном коде являются уникальными. Процесс называется name mangling.
Объяснение	A, B	Улучшите читаемость графической модели и сопоставление между идентификаторами в модели и сгенерированным кодом.
Проверка Model Advisor	Проверяйте диаграммы Stateflow на уникально определенные объекты данных (Simulink Check)
Ссылки	DO-331, раздел MB.6.3.2.b 'Низкоуровневые требования точны и непротиворечивы' IEC 61508-3, Таблица A.3 (2) «Сильно типизированный язык программирования» IEC 61508-3, Таблица A.3 (3) - Подмножество языков IEC 61508-3, Таблица A.4 (5) - Стандарты проекта и кодирования МЭК 62304, 5.5.3 - Критерии приемки Модуля ПО ISO 26262-6, таблица 1 (1b) - «Использование языковых подмножеств» ISO 26262-6, таблица 1 (1с) «Обеспечение соблюдения строгих типоразмеров» ISO 26262-6, Таблица 1 (1d) - «Использование защитных методов реализации» ISO 26262-6, Таблица 1 (1e) - «Использование надежных принципов проекта» ISO 26262-6, Таблица 1 (1f) - 'Использование однозначного графического представления' ISO 26262-6, таблица 1 (1g) - «Использование стилевых руководств» ISO 26262-6, Таблица 1 (1h) - 'Использование именующих конвенций' EN 50128, таблица A.3 (1) - Оборонительное программирование EN 50128, таблица A.4 (8) 'Сильно типизированный язык программирования' EN 50128, таблица A.4 (11) - 'Language Subset' EN 50128, таблица A.12 (1) «Стандарт кодирования» EN 50128, таблица A.12 (2) 'Руководство по стилю кодирования'
См. также	Внешний вид кода (Simulink Coder)
Последнее изменение	R2017b
Примеры	Не рекомендуется В следующем примере два состояния `Scope_1` и `Scope_2` использовать локальный идентификатор `IntCounter`. Идентификатор `IntCounter` задается для двух состояний, `Scope_1` и `Scope_2`.
Примеры	Рекомендуется Чтобы прояснить модель, создайте уникальные идентификаторы. В следующем примере состояние `Scope_1` использует локальный идентификатор `IntCounter_Scope_1`. Конечные `Scope_2` использует локальный идентификатор `IntCounter_Scope_2`. Идентификатор `IntCounter_Scope_1` определяется для `Scope_1 состояния`. Идентификатор `IntCounter_Scope_2` определяется для `Scope_2`.

hisl_0062: Глобальные переменные в графических функциях

Идентификатор: Заголовок	hisl_0062: Глобальные переменные в графических функциях
Описание	Для данных с глобальными возможностями, используемых в функции, не используйте данные в вызывающем выражении, если значение назначено данным в этой функции.
Объяснение	Улучшите читаемость модели путем удаления неоднозначности в значениях глобальных переменных.
Проверки Model Advisor	Проверяйте глобальные переменные в графических функциях (Simulink Check)
Ссылки	IEC 61508-3, Таблица A.3 (3) 'Подмножество языка' IEC 61508-3, Таблица A.4 (4) «Модульное приближение» IEC 61508-3, A.4 (5) 'Проект и стандарты кодирования' МЭК 62304, 5.5.3 - Критерии приемки Модуля ПО ISO 26262-6, таблица 1 (1b) «Использование языковых подмножеств» ISO 26262-6, Таблица 1 (1f) «Использование однозначного графического представления» ISO 26262-6, Таблица 1 (1h) «Использование именующих конвенций» EN 50128, таблица A.4 (11) 'Language Subset' EN 50128, таблица A.12 (1) «Стандарт кодирования» EN 50128, таблица A.12 (2) 'Руководство по стилю кодирования' DO-331, Section MB.6.3.2.g 'Алгоритмы точны' MISRA C:2012, правило 13.2 MISRA C:2012, правило 13.5
Последнее изменение	R2018b
Примеры	Рассмотрим графическую функцию `graphicalFunction` который изменяет глобальные данные `G`. Рекомендуется Не рекомендуется

Документация Simulink

Поддержка