Встроенное программное обеспечение все чаще используется в интеллектуальных устройствах, но несовершенный код может быть причиной многих сбоев продукта. По оценкам лидеров отрасли, каждые 1000 строк встроенного ПО содержат восемь ошибок. Чтобы управлять этим качественным риском и соответствовать более высоким стандартам сертификации программного обеспечения, вам необходимо использовать встроенные инструменты разработки и проверки программного обеспечения, а также сертифицированные генераторы кода.
ANSYS предоставляет среду разработки и моделирования встроенного программного обеспечения на основе моделей со встроенным автоматическим генератором кода для ускорения проектов разработки встроенного программного обеспечения. Специалисты по системам управления и инженеры по программному обеспечению используют решения ANSYS SCADE для графического проектирования, проверки и автоматического создания критически важных встроенных систем и программных приложений с высокими требованиями к надежности. Решения SCADE обладают высокой степенью совместимости и могут быть легко интегрированы в существующие потоки разработки, оптимизируя разработку и улучшая взаимодействие между членами команды.
Сертифицированная генерация кода в разных отраслях
Генераторы кода и инструменты проверки SCADE были сертифицированы на высшем уровне безопасности в шести сегментах рынка более чем 10 органами безопасности по всему миру, в том числе:
- DO-178C до уровня A для аэрокосмических и оборонных приложений FAA, EASA, Transport Canada, CAAC и ANAC
- ISO 26262 до ASIL D для автомобильных приложений от TÜV SÜD
- IEC 61508 до SIL 3 для транспортных и промышленных приложений от TÜV SÜD
- EN 50128 до SIL 3/4 для железнодорожных перевозок от TÜV SÜD, EBA и Certifer
- IEC 60880 для ядерных приложений.
SCADE ускоряет процесс разработки и проверки встроенного программного обеспечения
Пользователи SCADE сообщают о следующих улучшениях затрат на разработку и верификацию:
- Согласование процесса проектирования в соответствии с целями стандартов безопасности.
- Снижение затрат на разработку в среднем на 50%
- Ускорение сертификации в два раза
Приложения
Системная инженерия на основе моделей (MBSE) является ключом к использованию системных моделей для определения требований, проектирования, анализа, проверки и валидации на протяжении всего цикла разработки. Она отслеживает эти взаимозависимости с развивающейся моделью, а не с письменными проектными спецификациями, поэтому вы можете быть уверены, что все подсистемы объединяются в точно настроенное единое целое, даже если вы продолжаете вносить изменения в проектирование. |
В приложениях, от коммерческих самолетов до автономных транспортных средств, качество процесса разработки встроенного программного обеспечения все больше определяет эффективность и безопасность работы. Сертифицированные генераторы кода, такие как ANSYS SCADE, гарантируют, что ваше встроенное программное обеспечение будет работать бесперебойно с первого раза и каждый последующий раз, в соответствии с планом. |
Несмотря на всю свою автономность, современные интеллектуальные продукты по-прежнему должны взаимодействовать с человеком с помощью интуитивно понятного, простого в использовании интерфейса. Вы можете оптимизировать удобство использования и надежность вашего интерфейса, используя инструменты разработки программного обеспечения и сертифицированные инструменты генерации кода от ANSYS. |
Физические прототипы по-прежнему важны для последних стадий испытаний нового продукта. Цифровые прототипы - единственный выход, когда вы изучаете многочисленные возможности дизайна на ранней стадии процесса. Создание прототипов цифровых систем экономит ваше время и деньги, помогая вам создавать оптимальный дизайн продукта за короткий промежуток времени, по сравнению с устаревшим методом сборки и тестирования. |
Анализ и проверка функциональной безопасности электронных систем управления имеют решающее значение для проектирования и внедрения системы в таких отраслях, как автомобилестроение, авиакосмическая и оборонная промышленность, железнодорожный транспорт, атомная промышленность и т. д. |