Exponenta Banner

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

ID: Заголовокhisl_0061: Уникальные идентификаторы для ясности
ОписаниеПри разработке модели:
AИспользуйте уникальные идентификаторы для сигналов Simulink®.
BЗадайте уникальные идентификаторы через несколько осциллографов в рамках графика.
ПримечанияГенератор кода разрешает конфликты между идентификаторами так, чтобы символы в сгенерированном коде были уникальны. Процесс называется искажением имени.
Объяснение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) - Проект и стандарты кодирования

  • IEC 62304, 5.5.3 - критерии допустимости Программного блока

  • ISO 26262-6, Таблица 1 (1b) - 'Использование языковых подмножеств'
    ISO 26262-6, Таблица 1 (1c) 'Осуществление строгого контроля типов'
    ISO 26262-6, Таблица 1 (1d) - 'Использование защитных методов реализации'
    ISO 26262-6, Таблица 1 (1e) - 'Использование хорошо доверяемых принципов разработки'
    ISO 26262-6, Таблица 1 (1f) - 'Использование однозначного графического представления'
    ISO 26262-6, Таблица 1 (1g) - 'Использование руководств по стилю'
    ISO 26262-6, Таблица 1 (1 ч) - 'Использование соглашений о присвоении имен'

  • 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 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.

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

Поддержка