Exponenta Banner

hisf_0009: Сильный набор данных (Simulink и Stateflow контура)

Идентификатор: Заголовок

hisf_0009: Сильное типирование данных (Simulink® и Stateflow® контур)

Описание

Чтобы поддержать сильный набор данных между Simulink и Stateflow,

AВыберите Use Strong Data Typing with Simulink I/O свойства графика.
ПримечанияПо умолчанию входные и выходные данные диаграмм Stateflow имеют тип double. Для непосредственного взаимодействия с сигналами Simulink типов данных, отличных от double, выберите Use Strong Data Typing with Simulink I/O. В этом режиме типы данных между контуром Simulink и Stateflow сильно типизируются, и программное обеспечение Simulink не рассматривает типы данных как double. Диаграмма Stateflow принимает входные сигналы любого типа данных, поддерживаемых программным обеспечением Simulink, при условии, что тип входного сигнала совпадает с типом соответствующего объекта входных данных Stateflow. В противном случае программа сообщает об ошибке несоответствия типов.
ОбъяснениеAПоддержка кода с строгим типом.
Проверки Model Advisor

Проверяйте на наличие сильного набора данных при помощи Ввод-вывод (Simulink Check)

Ссылки

  • DO-331, Section MB.6.3.2.g 'Алгоритмы точны'

  • 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) - Подмножество языков

См. такжеЗадайте свойства для диаграмм Stateflow (Stateflow)
Последнее изменениеR2017b

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

Поддержка