ANSYS SCADE: обзор возможностей для разработки ПО встраиваемых систем, критичных по безопасности

ANSYS SCADE: обзор возможностей для разработки ПО встраиваемых систем, критичных по безопасности Вебинар посвящен применению интегрированной среды Ansys SCADE для проектирования и разработки безопасного программного обеспечения для встраиваемых (embedded) систем. Ansys SCADE – это современное решение, используемое при разработке программного обеспечения встраиваемых систем в авиационной и аэрокосмической отраслях, автомобилестроении, железнодорожном транспорте, атомной энергетике и других областях. Применение инструментов SCADE обеспечивает достижение стратегически важных показателей проектов разработки, в т.ч.: Снижение затрат на доказательство соответствия разрабатываемого программного обеспечения сертификационным требованиям Повышение качества коммуникации и взаимодействия между заказчиками, системными инженерами, инженерами-программистами, инженерами-тестировщиками и сертифицирующими органами В Ansys SCADE поддерживаются процессы разработки в соответствии с отраслевыми стандартами DO-178/КТ178, ISO 26262, IEC 61508, EN 50128. Генератор кода квалифицирован (сертифицирован) как инструмент разработки по самым высоким уровням критичности. Среда Ansys SCADE позволяет комплексно решать следующие задачи: управление требованиями проектирование моделей ПО отладка и симуляция моделей верификация генерация квалифицированного / сертифицированного исходного кода интеграция с инженерным окружением и платформами разработки ПО На вебинаре рассмотрены основные подходы к...