SCADE Display

SCADE Display это программное решение, предназначенное для разработки моделей человеко-машинных интерфейсов (ЧМИ), в том числе и для встраиваемых систем.

SCADE Display обеспечивает решение следующих задач:

  • Прототипирование и проектирование ЧМИ
  • Моделирование, верификация и оптимизация ЧМИ
  • Сертифицированная генерация исходного кода на языке C и Ada

Прототипирование и проектирование ЧМИ

Для решения задач прототипирования и проектирования ЧМИ SCADE Display предоставляет следующие возможности:

  • Встроенная библиотека базовых интерактивных примитивов (прямая, кривая, прямоугольник и т.п.) для формирования ЧМИ
  • Библиотека виджетов общего и специального применения (клавиатуры, джойстики, цифровые панели для авиационных приборов и т.п.) для формирования ЧМИ
  • Поддержка графических возможностей OpenGL, OpenGL SC 1.0 и 2.0 (Safety Critical) и OpenGL ES 1.1 и 2.0 (Embedded Systems), в том числе поддержка работы с векторными и растровыми изображениями, сложными масками, альфа-смешиванием, различными видами градиентов и ореолами
  • Создание новых и редактирование существующих стилей, цветов и текстур
  • Анимация ЧМИ
  • Специальный полноэкранный режим для прототипирования на экране целевой системы
  • Создание библиотеки собственных интерактивных примитивов для использования в разных проектах разработки
  • Интеграция с моделями SCADE Suite

Моделирование, верификация и оптимизация ЧМИ

SCADE Display предоставляет удобную визуальную среду моделирования и отладки разработанных ЧМИ. Среда предоставляет пользователю следующие основные возможности:

  • Формирование условий остановки моделирования
  • Потактовая отладка модели, в том числе установка точек останова, установка и наблюдение за значения переменных
  • Разработка отладочных сценариев
  • Совместная работа с симулятором SCADE Suite

Модуль проверки графического дизайна SCADE Display Design Checker обеспечивает соответствие графической спецификации ЧМИ заданным правилам разработки. Перечень правил, которые могут автоматически контролироваться и корректироваться модулем SCADE Display Design Checker:

  • Правила графического дизайна
  • Оптимизация графического дизайна и производительности
  • Методологические правила
  • Правилам присвоения имён элементам

Модуль проверки предоставляет пользователю рекомендации по исправлению обнаруженных недостатков, позволяет оптимизировать графические спецификации, предотвращая создание избыточных вызовов в графической библиотеке. Использование модуля проверки позволяет максимизировать производительность исходного кода, который будет сгенерирован.

Генерация кода

SCADE Display предоставляет возможности по автоматической генерации исходного кода на языке С стандарта ANSI. Генерированный исходный код обладает следующими свойствами:

  • Компактность
  • Высокая производительность
  • Читаемость
  • Трассируемость
  • Портируемость

Генераторы кода сертифицированы в соответствии со следующими международными стандартами:

  • IEC 61508 сертификация до уровня SIL3:
    • IEC 60880 – Атомная промышленность
    • IEC 62304 – Медицинская промышленность
    • EN 13849 – Машиностроение
  • ISO 26262 сертификация до уровня ASIL D в автомобильной отрасли
  • EN 50128 сертификация до уровня SIL 3/4 в железнодорожной отрасли
  • DO-178B/C, КТ-178B/C квалификация до уровня DAL A  в авиационной отрасли

Сгенерированный исходный код поддерживает стандарты OpenGL, OpenGL SC 1.0 и 2.0 (Safety Critical), OpenGL ES 1.1 и 2.0 (Embedded Systems) посредством библиотеки SCADE Display OGLX, которая поставляется вместе с кодогенератором SCADE Display. Полученный код интегрируется с графическими библиотеками.