SCADE Suite

SCADE Suite представляет собой интегрированную модельно-ориентированную среду разработки.

Типовой процесс работы в SCADE Suite включает выполнение следующих мероприятий

  • Разработка моделей управляющей логики приложений.
  • Отладка, симуляция и оптимизация на уровне моделей.
  • Сертифицированная генерация исходного кода на языке C и Ada на основе моделей.

Разработка моделей

Модель SCADE Suite – это строго формализованное описание потоков данных и/или потоков управления, а также операторов (функций) преобразования данных. Разработка моделей в SCADE Suite выполняется на формальном языке SCADE как в графической, так и в текстовой нотации.

Основные этапы разработки моделей следующие:

  • Определение перечня входных и выходных данных ПО, а также и их типов. Данный этап работ может быть выполнен автоматически инструментом, если архитектура ПО была ранее разработана в SCADE Architect.
  • Разработка операторов преобразования данных. Операторы могут определять каким образом входные данные преобразуются в выходные. Операторы также могут определять диаграммы состояний/конечные автоматы: состояния и условия переходов между состояниями. Разработка пользовательских операторов выполняется с использованием предопределенных в инструменте операторов, а также библиотек операторов.

SCADE Suite обеспечивает широкий выбор предопределенных и библиотечных операторов для решения большинства инженерных задач. Кроме этого, пользователь может интегрировать ранее разработанный исходный код в SCADE Suite и далее использовать его как оператор для разработки модели.

Разработанные модели могут использоваться как библиотечные в различных проектах пользователя. SCADE Suite предоставляет возможности импорта, экспорта и сравнения моделей.

Отладка, симуляция и оптимизация на уровне моделей

SCADE Suite обеспечивает симуляцию и отладку на уровне модели. Такой подход позволяет обеспечить высокую скорость разработки за счет того, что можно быстро валидировать принятые архитектурные и технические решения непосредственно в ходе разработки, не дожидаясь интеграции ПО, разработки тестового и отладочного ПО, «заглушек» и т.п.

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

Для выполнения отладки могут использоваться разные принципы «подыгрыша» входных значений. В простых случаях используется «ручной режим» задания входных значений для каждого такта симуляции модели. Для сложных вариантов отладки предусмотрена возможность разработки сценариев в виде скриптов с векторами входных значений. Независимо от используемого принципа возможна симуляция модели по количеству тактов, заданному пользователем.

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

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

  • 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  в авиационной отрасли

Генераторы кода SCADE Suite сертифицированы/квалифицированы по максимально возможному уровню в десяти сертифицирующих органах для шести отраслей промышленности.