Exponenta Banner
exponenta event banner

hisf_0009: Сильная типизация данных (граница Simulink и Stateflow)

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

hisf_0009: Сильная типизация данных (граница Simulink ® и Stateflow ®)

Описание

Для поддержки сильной типизации данных между Simulink и Stateflow,

AВыберите свойство диаграммы Использовать строгий ввод данных с Simulink I/O.
ПримечанияПо умолчанию входные и выходные данные диаграмм Stateflow имеют тип double. Для непосредственного взаимодействия с сигналами Simulink типов данных, отличных от doubleвыберите «Использовать строгий ввод данных с Simulink I/O.» В этом режиме типы данных между границами Simulink и Stateflow сильно типизированы, и программное обеспечение Simulink не рассматривает типы данных как double. Диаграмма Stateflow принимает входные сигналы любого типа данных, поддерживаемого программным обеспечением Simulink, при условии, что тип входного сигнала соответствует типу соответствующего объекта входных данных Stateflow. В противном случае программа сообщает об ошибке несоответствия типов.
ОбъяснениеAПоддержка кода со строгой типизацией.
Проверки помощника по модели

Проверка строгой типизации данных с помощью Simulink I/O (Simulink Check)

Ссылки

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

  • 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) - Поднабор языка

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

Документация по комплекту сертификации МЭК

Поддержка