| Описание | При разработке модели: |
| A | Используйте уникальные идентификаторы для сигналов Simulink ® . |
| B | Определение уникальных идентификаторов для нескольких областей диаграммы. |
| Примечания | Генератор кода разрешает конфликты между идентификаторами, так что символы в сгенерированном коде являются уникальными. Процесс называется манипулированием именами. |
| Объяснение | A, B | Улучшение читаемости графической модели и сопоставления между идентификаторами в модели и сгенерированным кодом. |
| Проверка помощника по модели | Проверка диаграмм Stateflow для однозначно определенных объектов данных (Simulink Check) |
| Ссылки |
DO-331, раздел MB.6.3.2.b «Требования низкого уровня являются точными и последовательными» IEC 61508-3, таблица A.3 (2) «Сильно типизированный язык программирования»
МЭК 61508-3, Таблица A.3 (3) - Поднабор языка
МЭК 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) - «Поднабор языка»
EN 50128, Таблица A.12 (1) «Стандарт кодирования»
EN 50128, Таблица A.12 (2) «Руководство по стилю кодирования»
|
| См. также |
Внешний вид кода (кодер Simulink) |
| Последнее изменение | 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.
|
