Показаны сообщения с ярлыком ISP RAN. Показать все сообщения
Показаны сообщения с ярлыком ISP RAN. Показать все сообщения

суббота, 13 января 2018 г.

Российское отделение IoT-академии Samsung открыло собственный видеоканал на youtube











В новом канале будут появляться как информационные ролики о проекте Samsung IoT Academy, так и обучающие видеоматериалы: лекции, презентации, мастер-классы на тему «Интернета вещей».
«IoT Академия Samsung» - долгосрочный социальный проект корпорации Samsung Electronics в сфере образования. Его цель – создание центров компетенций по работе с технологиями Интернета вещей* на базе российских и зарубежных ВУЗов.
Для реализации проекта экспертами Исследовательского центра Samsung создан авторский учебный курс и методические материалы, рассчитанные на 2 учебных семестра. На базе ВУЗов-партнёров оборудованы специализированные IoT-лаборатории, где установлены мобильные и носимые устройства Samsung, наборы для быстрого прототипирования и микрокомпьютеры ARTIK, работающие на базе TIZEN OS. Обучение проходит бесплатно. 
*Интернет вещей (IoT, Internet of Things) – это следующий этап развития Интернета. Он предполагает объединение в сеть множества устройств и виртуальных объектов с помощью различных каналов связи, что позволяет получать и анализировать большие объёмы данных. Решения, основанные на применении IoT технологий, могут найти широкое применение в различных отраслях экономики и промышленности. 
Более подробно - на сайте: http://www.samsung.com/ru/iotacademy/

Samsung IoT-Academy opened its branches in Russia

Samsung opened an IoT-academy in Moscow. The first partners of Samsung were Moscow higher educational institutions MIPT (Moscow Institute of Physics and Technology), MTU (Moscow Technological University) and ISP RAS (Institute of System Programming of the Russian Academy of Sciences).
Samsung provided learning materials developed by the Samsung Research Centre and also a set of equipment for IoT laboratory as well as kits such as Unwired device’s IoT gadget, Samsung’s ARTIK 10 (based on TIZEN OS), wireless protocol device and other.
Recently, the Moscow branch of the Samsung IoT-Academy opened an information video channel on YouTube.
More infos: http://www.samsung.com/ru/iotacademy/

суббота, 1 апреля 2017 г.

Анализатор кода SharpChecker для Android и TIZEN, разработанный ИСП РАН, включён в единый реестр отечественного ПО



Новое программное обеспечение, разработанное специалистами Института системного программирования РАН, в марте 2017 г. включено в единый реестр отечественного ПО. SharpChecker – платформа статического анализа программ на языке C#. Она создана для поиска ошибок в программном коде и обладает высокой эффективностью по сравнению с существующими аналогами.
«Человеку свойственно ошибаться, - отмечает директор ИСП РАН Арутюн Аветисян, - а программный код пишут живые люди. Чаще всего это высококлассные специалисты, но и они могут допускать ошибки. SharpChecker – то средство, которое может отчасти компенсировать это свойство человеческой природы. Наш инструмент содержит как анализатор кода, так и готовые компоненты для внедрения в производственный цикл разработки ПО. Это позволяет использовать технологию и программистам для исправления ошибок в разрабатываемом проекте, и их руководителям как ещё одну динамическую метрику, хорошо характеризующую качество продукта».
Фундаментальные исследования по технологиям статического анализа ведутся в ИСП РАН с 2002 г. За полтора десятилетия в этом направлении достигнуты  успехи, в частности, разработан анализатор Svace. Этот инструмент позволяет находить ошибки и потенциальные уязвимости в исходном коде программ на языках C/C++. Среди его особенностей: простота использования, широкий набор поддерживаемых типов предупреждений, масштабируемость до программ в миллионы строк кода и приемлемое качество анализа - 30-80% истинных предупреждений. Этот продукт активно используется корпорацией Samsung как основное средство статистического анализа - для поиска ошибок в исходном коде операционных систем Android, собственных приложений Samsung и операционной системы TIZEN.
SharpChecker стал следующим шагом в этом направлении. Разработанная ИСП РАН платформа сегодня более чем конкурентоспособна среди аналогов, представленных на мировом рынке – Coverity от американской компании Synopsys, Klocwork, выпущенный американской же Rogue Wave, Fortify от Hewlett Packard, израильской Checkmarx. В 2015 г. SharpChecker был внедрён в корпорации Samsung как часть инструмента Svace. Впрочем, этот статический анализатор может использоваться и самостоятельно. Включение в единый реестр российских программ позволит обратить на него внимание отечественных государственных структур и госкомпаний, закупающих ПО или занимающихся разработкой программных продуктов.
«Сегодня применение инструментов анализа кода обязательно при разработке безопасного программного обеспечения, - говорит Валерий Игнатьев, старший научный сотрудник ИСП РАН. - Софт, состоящий из миллионов строк кода, практически невозможно проверить вручную на наличие ошибок – утечек ресурсов и памяти, разыменований null, неправильного использования атрибутов, ошибок, связанных с параллелизмом исполнения и пр. Поэтому инструмент, способный анализировать подобные объёмы информации, не просто полезен, но необходим. Повышение качества и безопасности кода с каждым годом становится всё более важной задачей. Разумеется, SharpChecker –  не панацея против погрешностей в коде, он не заменяет, а дополняет другие методы тестирования ПО и поиска ошибок, но он позволяет исправлять ошибки на самых ранних стадиях, существенно снижая общую стоимость разработки, и делает это эффективно».