Qt Group въвежда автоматична проверка за безопасност на CUDA кода в Axivion 7.11

Qt Group представи нова функционалност в Axivion 7.11, която автоматично проверява дали приложения, използващи NVIDIA CUDA, отговарят на публикуваните от NVIDIA правила за безопасно и надеждно програмиране. Това дава възможност на екипите в силно регулирани индустрии – като автомобилостроене, здравеопазване и индустриална автоматизация – по-бързо да създават надежден софтуер с GPU ускорение, 3D графика и AI.

CUDA е най-популярната платформа за GPU-ускорено изчисление, използвана от милиони разработчици в решения за изкуствен интелект, машинно обучение, медицинска визуализация и автономни системи. С публикуването на новите CUDA C++ насоки за безопасно програмиране NVIDIA даде на разработчиците стандартизиран инструмент за по-добър контрол върху качеството и сигурността на кода.

Axivion, инструмент за статичен анализ и архитектурна валидация на C/C++ код, разширява поддръжката си за CUDA, въведена с версия 7.10. В Axivion 7.11 вече има автоматизирано прилагане на CUDA C++ правилата, което позволява на компаниите бързо да валидират софтуера си спрямо признати индустриални стандарти.

С новата версия разработчиците могат да:

• Автоматизират проверките срещу набори от правила като MISRA, CERT, NVIDIA CUDA C++ насоките или вътрешни фирмени стандарти.
• Проследяват потенциални проблеми с пълна проверимост, включително мъртъв код, дублиране, опасни зависимости и Freedom from Interference (FFI) между C++ и CUDA модули – ключово за сертификации като ISO 26262, IEC 62304 и IEC 61508.
• Гарантират последователност и безопасност в архитектурата на софтуера, съобразена с изискванията на регулирани среди.

„Вече не е достатъчно QA да откриват грешките. Разработчиците трябва да доказват липсата на софтуерна “ерозия” – нарушения, които, ако не се хванат навреме, могат да попаднат в продукционния код,“

коментира Юхапека Ниеми, старши вицепрезидент на Qt Group.

„С новите CUDA C++ указания и автоматизираната поддръжка в Axivion разработчиците могат да бъдат спокойни, че кодът им отговаря на правилата за безопасност – независимо дали става дума за нови проекти или за модернизация на съществуващи системи.“

Axivion вече се използва в широк спектър регулаторни индустрии за автоматична проверка на качество, сложност и стандартизирана безопасност на софтуера. Бъдещи актуализации ще разширяват възможностите в области като проверки на паметта и анализ на потока от данни.

Qt Group е доверен партньор на над 1.5 млн. разработчици по света, като предлага технологии за дизайн, разработка, качество и внедряване на софтуерни продукти и устройства. Компанията оперира в над 180 държави и отчете приходи от 209.1 млн. евро за 2024 г.