Статический анализатор будет автоматически проводить валидацию программного кода и находить скрытые дефекты в нем. В результате качество написанного кода будет повышаться. Разработчики утверждают, что новое решение будет эффективнее существующих анализаторов. Кроме того, продукт будет с открытым кодом, значит, его смогут использовать и для проверки текстов программ в других компаниях.
Кроме Huawei, в список новых резидентов и партнеров попали 15 компаний, среди которых «Ак Барс Цифровые Решения», «Озон Технологии», «Сайберскейп Инвестментс», «Промвад», «Синергия Софт», «ХайтекПарк» и другие.
Еще один партнер ОЭЗ — концерн KUKA, один из ведущих мировых производителей робототехники, промышленного и системного оборудования — совместно с Университетом Иннополис откроет центр компетенций для предприятий, заинтересованных в модернизации производственных процессов. Промышленный робот с установленным программным обеспечением предполагается разрабатывать в соответствии с требованиями заказчика.
А компания «Озон Технологии» представила проект по роботизации и автоматизации логистики маркетплейса OZON. Проект касается роботизации логистических центров и разработки робототехнических систем для эффективного хранения, обработки и доставки заказов. Ведется проектирование собственной программно-аппаратной платформы.
Читать далее
Ученые три года не могут поймать лиса Рэмбо. Он мешает выпустить в лес редких животных
Самолетам-невидимкам больше не скрыться: Китай создает для их поиска квантовый радар
Ученые рассказали, у кого больше шансов заболеть коронавирусом в следующую волну