Разработка института РАН проникла в ОС Tizen

Продукт Svace вошел в экосистему Tizen Разработанное в Институте системного программирования РАН(ИСП РАН) решение Svace вошло в состав пакета разработчика (SDK) мобильной ОСTizen. Об этом CNews рассказали глава ИСП РАН Арутюн Аветисян и директор по работе с госучреждениями в российскомпредставительстве Samsung Марат Гуриев. Svace представляет собой решение, предназначенное для валидации (проверки на пригодность) программного кода. Svace способен искать несколько видов дефектов в двоичномкоде, созданном на языках Си, Си++, C# и Java, включая неверную работу с памятью, утечку ресурсов и памяти, и наличие потенциальных эксплойтов. Tizen — это мобильная ОС, основанная на ядре Linux,разрабатываемая сейчас в Samsung и Intel. Проект был анонсирован в сентябре2011 г., в его основу легли два других проекта по созданию мобильной ОС — MeeGoи LiMo. http://filearchive.cnews.ru/img/zoom/2016/09/22/isp_ran_490.jpg "> Решение для валидации кода, созданное в ИСП РАН, стало частью экосистемы ОС Tizen Под управлением Tizen сейчас работает различная техникаSamsung: несколько моделей смартфонов, телевизоров, умных часов и др. [b]Продукты для проверкикода[/b] Продукты для валидации кода составляют специфический рыноксо сравнительно небольшим числом игроков. Среди статических (работающих без запуска проверяемой программы) анализаторов кода в мире наиболее известнырешения Klocwork компании RogueWave, Caverity — разработка Synopsys, а такжеFortify — решение HP. Собственный анализатор кода Svace в ИСП РАН называютконкурентом Caverity и Klocwork, подчеркивая при этом, что и разработкаKlocwork ведется собственно в ИСП РАН. [b]Сколько стоиларазработка[/b] По словам Арутюна Аветисяна, разработка Svace в ИСП РАНначалась более 10 лет назад, когда институт возглавлял академик [b]Виктор Иванников[/b] (ныне занимающийдолжность научного руководителя). В Samsung валидатор Svace используется, начиная с 2009 г. С помощью этого валидатора компания анализировала собственные программныепродукты, используемые в мобильных телефонах, телевизорах и прочих устройствахSamsung, работающих под управлением ОС Android и Tizen. Марат Гуриев говорит, что Svace сейчас является основныминструментом проверки качества исходного кода в ПО Samsung. Финансовых условий передачи Svace в Samsung ни ИСП РАН, ниюжнокорейский разработчик не называют. Собеседники CNews в Samsungрассказывают, что за последние 5-6 лет разработки Svace Samsung «вложил в создание этого продукта от $1 млн до $1,5 млн». Интересно, что, несмотря на это, интеллектуальными правамина Svace полностью владеет ИСП РАН. Помимо Samsung решения ИСП РАН для тестирования и верификации операционных систем использовались в Nortel Networks, Microsoft,Linux Foundation, Nokia (при разработке платформы MeeGo), Motorola. Кроме того,их применили отечественные разработчики НИИСИ РАН, ГосНИИАС, КРЭТ.[img]http://filearchive.cnews.ru/img/zoom/2016/09/22/isp_ran_490.jpg "> Решение для валидации кода, созданное в ИСП РАН, стало частью экосистемы ОС Tizen Под управлением Tizen сейчас работает различная техникаSamsung: несколько моделей смартфонов, телевизоров, умных часов и др. Продукты для проверкикода Продукты для валидации кода составляют специфический рыноксо сравнительно небольшим числом игроков. Среди статических (работающих без запуска проверяемой программы) анализаторов кода в мире наиболее известнырешения Klocwork компании RogueWave, Caverity — разработка Synopsys, а такжеFortify — решение HP. Собственный анализатор кода Svace в ИСП РАН называютконкурентом Caverity и Klocwork, подчеркивая при этом, что и разработкаKlocwork ведется собственно в ИСП РАН. Сколько стоиларазработка По словам Арутюна Аветисяна, разработка Svace в ИСП РАНначалась более 10 лет назад, когда институт возглавлял академик Виктор Иванников (ныне занимающийдолжность научного руководителя). В Samsung валидатор Svace используется, начиная с 2009 г. С помощью этого валидатора компания анализировала собственные программныепродукты, используемые в мобильных телефонах, телевизорах и прочих устройствахSamsung, работающих под управлением ОС Android и Tizen. Марат Гуриев говорит, что Svace сейчас является основныминструментом проверки качества исходного кода в ПО Samsung. Финансовых условий передачи Svace в Samsung ни ИСП РАН, ниюжнокорейский разработчик не называют. Собеседники CNews в Samsungрассказывают, что за последние 5-6 лет разработки Svace Samsung «вложил в создание этого продукта от $1 млн до $1,5 млн». Интересно, что, несмотря на это, интеллектуальными правамина Svace полностью владеет ИСП РАН. Помимо Samsung решения ИСП РАН для тестирования и верификации операционных систем использовались в Nortel Networks, Microsoft,Linux Foundation, Nokia (при разработке платформы MeeGo), Motorola. Кроме того,их применили отечественные разработчики НИИСИ РАН, ГосНИИАС, КРЭТ.