Иннополис 6 сентября 2021

Huawei будет искать дефекты программного кода с помощью статического анализатора

Далее

Новый участник ОЭЗ «Иннополис» — Huawei — представил проект своей разработки, которая будет проверять качество кода в ОС компании. Об этом сообщили в пресс-службе ОЭЗ.

Статический анализатор будет автоматически проводить валидацию программного кода и находить скрытые дефекты в нем. В результате качество написанного кода будет повышаться. Разработчики утверждают, что новое решение будет эффективнее существующих анализаторов. Кроме того, продукт будет с открытым кодом, значит, его смогут использовать и для проверки текстов программ в других компаниях.

Кроме Huawei, в список новых резидентов и партнеров попали 15 компаний, среди которых «Ак Барс Цифровые Решения», «Озон Технологии», «Сайберскейп Инвестментс», «Промвад», «Синергия Софт», «ХайтекПарк» и другие.

Еще один партнер ОЭЗ — концерн KUKA, один из ведущих мировых производителей робототехники, промышленного и системного оборудования — совместно с Университетом Иннополис откроет центр компетенций для предприятий, заинтересованных в модернизации производственных процессов. Промышленный робот с установленным программным обеспечением предполагается разрабатывать в соответствии с требованиями заказчика.

А компания «Озон Технологии» представила проект по роботизации и автоматизации логистики маркетплейса OZON. Проект касается роботизации логистических центров и разработки робототехнических систем для эффективного хранения, обработки и доставки заказов. Ведется проектирование собственной программно-аппаратной платформы.


Читать далее

Ученые три года не могут поймать лиса Рэмбо. Он мешает выпустить в лес редких животных

Самолетам-невидимкам больше не скрыться: Китай создает для их поиска квантовый радар

Ученые рассказали, у кого больше шансов заболеть коронавирусом в следующую волну