Системы управления, критичные для миссии и безопасности, работают на программном обеспечении, созданном в SCADE
Ansys SCADE Suite - это среда разработки на основе моделей для критически важного встроенного программного обеспечения. Благодаря встроенной интеграции формально определенного языка Scade, SCADE Suite представляет собой интегрированную среду проектирования для критически важных приложений, включая управление требованиями, проектирование на основе моделей, моделирование, проверку, создание квалифицируемого / сертифицированного кода и возможность взаимодействия с другими инструментами и платформами разработки.
Где использовать SCADE Suite
SCADE Suite используется для разработки критически важного программного обеспечения, такого как системы управления полетом и двигателями, системы шасси, автопилоты, системы управления мощностью и топливом, дисплеи в кабине пилотов, системы блокировки рельсов и сигнализации, автоматическое управление поездом, компьютер на основе управления поездом, системы экстренного торможения, защита от превышения скорости, обнаружение свободного места в поездах, управление атомными электростанциями, ADAS, системы управления аккумулятором, электронный усилитель рулевого управления в автомобилях и многие другие применения в аэрокосмической, железнодорожной, энергетической, автомобильной и промышленной сферах.
SCADE Suite, специально предназначенный для критически важных приложений
Резко снижает затраты на сертификацию проектов за счет упрощения разработки критически важных приложений управления и автоматизации проверки, создания квалифицированного / сертифицированного кода и генерации документации. Генератор кода SCADE Suite KCG квалифицируется как инструмент разработки согласно DO-178B уровня A или как инструмент DO-330 TQL-1 согласно DO-178C. Он сертифицирован в соответствии с ISO 26262: 2011 на уровне ASIL D и C и сертифицирован в соответствии с IEC 61508 2010 на уровне T3 / SIL 3 и EN 50128: 2011 на уровне T3 / SIL 3/4.
Комплекты сертификации SCADE Suite KCG содержат следующие материалы, требуемые соответствующими стандартными руководящими принципами для органов сертификации:
- План квалификации инструмента (TQP)
- Требования к эксплуатации инструмента (ТЗ)
- Сводка достижений инструмента (TAS) или обоснование безопасности (SC)
- Анализ соответствия стандартам сертификации
- Процедура установки программного обеспечения (SIP)
- Индекс конфигурации инструмента (TCI)
- Другие стандартные документы
Планы сертификации DO-178B и DO-178C для приложений SCADE Suite содержат набор общих планов, поддерживающих сертификацию приложений, разработанных с помощью SCADE Suite на уровнях A и B.
Возможности
SCADE Suite обеспечивает потоки данных программного обеспечения, а также возможности проектирования и моделирования конечного автомата в полностью интегрированной среде, которая подключается к средствам управления конфигурацией, моделирования системы и тестирования в реальном времени.
Интеграция SCADE Architect и SCADE Suite дает вам все инструменты, необходимые для полного процесса проектирования программного обеспечения, от архитектуры до детального проектирования компонентов.
Чтобы убедиться, что модель SCADE Suite соответствует ее требованиям, вы можете выполнить статический анализ, проверить модель на соответствие правилам, оценить требования безопасности и выполнить анализ оптимизации времени и стека.
Возможности моделирования в SCADE Suite основаны на фактически сгенерированном коде, предоставляя мощную среду визуальной отладки, которая позволяет точкам останова проверять внутренние переменные и выходные значения.
SCADE Suite KCG - это генератор кода C и Ada из моделей Scade. Он был признан инструментом разработки множеством отраслевых сертификационных органов.
SCADE Suite предоставляет вам полную среду для встраиваемых приложений с высоким уровнем целостности с подходящим / сертифицированным генератором кода, набором проверки целевого компилятора и общими планами разработки.
Возможности системного моделирования с помощью ANSYS Twin Builder помогут вам создать полные прототипы виртуальных систем вашего продукта, соединив оборудование и программное обеспечение в одной среде.
Автомобильный пакет SCADE включает в себя SCADE Architect, SCADE Suite и SCADE LifeCycle для обеспечения поддержки AUTOSAR R4.2.2, калибровки и поддержки фиксированной точки, а также квалифицированной генерации кода.
SCADE Suite легко интегрируется с инструментами для проектирования системной архитектуры, разработки HMI, тестирования и управления жизненным циклом приложений, обеспечивая полную среду для всех действий по разработке встроенного программного обеспечения.