суббота, 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 –  не панацея против погрешностей в коде, он не заменяет, а дополняет другие методы тестирования ПО и поиска ошибок, но он позволяет исправлять ошибки на самых ранних стадиях, существенно снижая общую стоимость разработки, и делает это эффективно».

IBM и Samsung запускают The Weather Channel на TIZEN-устройства






Самый точный и оперативный сервис прогноза погоды The Weather Channel отныне будет доступен владельцам разнообразных устройств, работающих на операционной системе TIZEN.
Как известно, главным поставщиком продуктов с использованием TIZEN OS на международный рынок является техногигант Samsung. С каждым годом число таких гаджетов увеличивается в геометрической прогрессии, поэтому уже в обозримой перспективе TIZEN распространит своё влияние во многих секторах.
В настоящее время все смарт-телевизоры, электронные часы, UHD Blu-ray плееры, бытовая техника со смарт-функциями, фото/видеокамеры и многие другие продукты Samsung используют весьма гибкую и экономичную платформу TIZEN. В ближайшие 2-3 года значительное число смартфонов Samsung также будут работать на новой версии мобильной TIZEN. Поэтому неудивительно, что крупнейший южнокорейский чеболь стремится портировать на TIZEN-устройства достаточное количество сервисов, чтобы их владельцы не испытывали никаких затруднений при эксплуатации.
Характерно, что в Samsung не стремятся "задавить" конкурентов числом приложений в магазине TIZEN Store, а стараются выявить наиболее популярные и качественные решения, чтобы перенести их на новую ОС.
Одним из таких сервисов является глобальный канал погоды The Weather Channel (принадлежит IBM/The Weather Company), который при помощи суперкомпьютеров компании IBM поставляет наиболее точный прогноз погоды по всему миру. Помимо наличия у IBM уникальных компьютерных кластеров, The Weather Company располагает крупнейшей в мире сетью автоматических метеостанций, что и позволяет составлять наиболее качественные карты погоды.
29 марта IBM и Samsung объявили о расширении долгосрочного партнёрства с целью оснащения TIZEN-устройств доступом к круглосуточному каналу прогноза погоды в любой точке мира. Теперь вам будет достаточно пары касаний на своих смарт-часах Samsung, чтобы иметь доступ к максимально точной и всеобъемлющей информации о погоде в той точке мира где вы находитесь, а также получить исчерпывающие данные о динамике изменений. Естественно, вы также сможете иметь доступ к прогнозу в любой точке земного шара, которая вас интересует.
The Weather Channel будет также транслироваться в смарт-телевизорах Samsung, выводиться на интерактивные дисплеи холодильников серии Samsung Family Hub и, естественно, на TIZEN-смартфоны серии Samsung Z.
По мере развития экосистем IoT (интернет вещей), The Weather Channel будет доступен на приборных панелях автомобилей, в домашних роботах-помощниках и даже на дисплеях микроволновых печей, которые Samsung выпустит совсем скоро.        
Разумеется, не забыты и владельцы смартфонов на базе Android, где Weather Channel уже доступен на флагманских моделях семейства Galaxy S.  

Samsung, IBM Make Deal to Bring Weather Channel App to TIZEN-powered Devices

The Weather Company delivers about 37 billion forecasts daily. Its products include a weather app that runs on all major mobile platforms globally and the world's largest network of personal weather stations.
IBM and Samsung have joined up to make the world's most common conversation topic, the weather, native on Android smartphones.
The two companies revealed March 29 that IBM's The Weather Company and the giant South Korean device maker have agreed on a deal that will make The Weather Company the native weather data provider on Samsung devices. This starts with the company's flagship Galaxy S8 smartphone, which launched March 28.
This will include powering Samsung's weather widget and weather executions on Samsung Android and TIZEN products, the company said.
The Weather Company delivers about 37 billion forecasts daily. Its products include a weather app that runs on all major mobile platforms globally and the world's largest network of personal weather stations.
For Samsung users, this collaboration places crucial (and potentially life-saving) weather information into the hands hundreds of millions of people across the globe, providing quick and easy access to the most hyper-local, reliable weather information possible.
This is a major step forward for The Weather Company as it expands globally with its goal of reaching 1 billion users. Samsung is the largest smartphone provider in the world; this collaboration provides The Weather Company the potential to reach hundreds of millions of additional smartphone users over the next several years.
According to Counterpoint Research, Samsung dethroned Apple for the top spot in the world smartphone market in March 2016 with a 28.8 percent market share. Apple had 23 percent market share.
The Weather Company will continue to explore other best-in-class executions across select new Samsung devices, operating systems and platforms to further enhance the Samsung user experience. The Weather Company already operates one of the world's largest IoT data platforms, processing 400TB of data daily.
This global deal builds on the existing relationship between The Weather Company and Samsung U.S. In 2016, The Weather Company created The Weather Channel App for Samsung, designed exclusively for Samsung Galaxy smartphones including the Galaxy S7 edge, S6 edge+ and Note 5.
Bringing exclusive features such as Edge-compatibility and Smart Weather Wakeup, the co-developed app launched on Galaxy smartphones and then broadened to other platforms including Gear S2 and more. The Weather Channel Apps became part of the Made for Samsung program, and are in both the Samsung Galaxy Apps store and the Gear Apps store.

В России побит очередной рекорд по предзаказам на флагманские смартфоны Samsung






Это не первоапрельская шутка: уже в течение первого дня после открытия предзаказа на новые флагманы Samsung Galaxy S8 и S8+ (продажи в РФ стартуют 28 апреля) превысил показатели представленного год назад Galaxy S7 более чем в три раза, о чём сообщил представитель московского офиса Samsung. Эти данные подтверждает и ведущий аналитик Mobile Research Group Эльдар Муртазин.
Количество заказанных в России за один день аппаратов южнокорейский вендор пока не раскрывает. Согласно прогнозу Муртазина, за месяц количество зарезервированных устройств может превысить 20.000.
Предзаказ на Samsung Galaxy S8 и S8+ начался в день официальной презентации новинки, 29 марта. Объявленная Samsung цена аппаратов в России — 54 990 и 59 990 руб соответственно.
В рознице МТС предзаказ на Samsung Galaxy S8 в первый день оказался в 10 раз выше, чем на Galaxy S7 в прошлом году, сообщил представитель оператора Дмитрий Солодовников.
Предзаказ на Galaxy S8 действительно больше, чем на Galaxy S7, вторит своему коллеге представитель «М.видео» Валерия Андреева. Причём это не просто проявление интереса — новые флагманы Samsung можно заказать с предоплатой, так что предзаказ сейчас — это фактически продажи, говорит она.
На S8 и S8+ предзаказов было несколько больше, чем на Samsung S7, сказал «Ведомостям» директор департамента закупок «Евросети» Алексей Широков.
За первые три дня предзаказ на Samsung Galaxy S8 и S8+ в «Связном» в восемь раз превысил количество предзаказов на предыдущие флагманы брэнда, которые продавались в розничной сети (Galaxy S6 и S6 Еdge), рассказывает его представитель Сергей Тихонов. 51% покупателей оставили предзаказ на модель S8, 49% — на S8+, рассказывает он.
Муртазин считает, что высокий интерес к Samsung Galaxy S8 и S8+ объясняется хорошими потребительскими характеристиками и высоким качеством новых смартфонов. Также играет роль отложенный спрос на Samsung Galaxy Note 7, который российские покупатели так и не сумели приобрести осенью 2016 г. Наконец, ритейлеров, принимающих предзаказы на Galaxy S8, больше, чем на S7: в начале 2017 г. продажи Samsung возобновили «Евросеть», «Связной» и «Мегафон», напоминает он.
Популярность новинок объясняется высокой производительностью, привлекательным дизайном, возможностями камеры, большой диагональю экрана (свыше пяти дюймов), а также защитой от влаги и пыли и широкими возможностями для защиты устройства от вмешательства посторонних, перечисляет Тихонов.
Увеличение количества предзаказов на новые модели говорит о том, что настороженное отношение к смартфонам Samsung после медийной шумихи вокруг "горящих" Galaxy Note 7 осталось в прошлом — вендору удалось сохранить лояльность обеспеченных пользователей своих устройств, считает он.