Exponenta Banner

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

ID: Заголовок

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 (Simulink Check)

Ссылки

  • DO-331, Раздел MB.6.3.2.g 'Алгоритмы точен'

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

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

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

Поддержка