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

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

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

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

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

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


Читать далее

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

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

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

Подписывайтесь
на наши каналы в Telegram

«Хайтек»новостионлайн

«Хайтек»Dailyновости 3 раза в день

Первая полоса
Больше миллиона Гбит в секунду: японцы побили рекорд скорости передачи данных по оптоволокну
Новости
Хаос во благо: физики создали новый инструмент для квантового мира
Наука
Hugging Face выпустила недорогих человекоподобных роботов с открытым кодом
Новости
Китайский аккумулятор для электромобиля выдержал наезд 36-тонного танка
Новости
Воспитанники детских домов изучат основы работы с нейросетями
Новости
Четвероногий робот из Цюриха научился играть в бадминтон с людьми
Новости
В MIT раскрыли механизм набора веса из-за жирной пищи и как обратить его вспять
Наука
60 000 лет рядом: ученые выяснили, кто стал первым паразитом человека
Наука
Ректора Университета Иннополис избрали членом-корреспондентом РАН
Иннополис
В Корее робопса научили паркуру и бегу по стенам: посмотрите, что он может
Новости
Древний череп «человека-муравья» нашли в Аргентине
Наука
На селфи марсохода попал неожиданный объект: его заметили не сразу
Космос
Посмотрите на двух морских коньков, которых застукали за «поцелуем» в океане
Наука
Почти 10 000 роутеров Asus тайно заразили: как проверить свой и защититься
Новости
Ракета будет доставлять товары с AliExpress за час по всему миру: ее испытали в Китае
Новости
В России пригрозили «душить» иностранные сервисы: кто в опасности
Новости
Boston Dynamics усовершенствовала систему восприятия гуманоидного робота Atlas
Новости
Наклейка на лоб анализирует мозговые волны и предсказывает переутомление
Наука
Посмотрите на робота-трансформера, который меняет форму прямо в полете
Новости
Китай отправил миссию за образцами горных пород с квазиспутника Земли
Космос