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

22 сен 2016 14:41 #45499 от ICT
Продукт 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. Кроме того,их применили отечественные разработчики НИИСИ РАН, ГосНИИАС, КРЭТ.


  • Сообщений: 75474

  • Пол: Не указан
  • Дата рождения: Неизвестно
  • Пожалуйста Войти или Регистрация, чтобы присоединиться к беседе.

    Похожие статьи

    ТемаРелевантностьДата
    МТС проникла во все тоннели столичном метро9.58Четверг, 16 февраля 2017
    МТС проникла во все тоннели столичного метро9.58Четверг, 16 февраля 2017
    IBM проникла на iPhone и iPad с предустановленными бизнес-приложениями9.38Четверг, 11 декабря 2014
    «Сервити» создал СХД для Московского архитектурного института8.06Понедельник, 28 ноября 2016
    ТТК продлил контракт с Ярославским филиалом Физико-технологического института РАН7.88Четверг, 05 марта 2015
    Softline виртуализировала рабочие места сотрудников института «Ленгипронефтехим»7.88Пятница, 08 июля 2016
    «Сколково», РБК и «АльфаСтрахование» представили «Института Риска» для риск-менеджеров7.88Понедельник, 28 августа 2017
    Сооснователь Acronis возглавил комитет «ИТ+ Суверенитет» Института развития интернета7.8Понедельник, 23 мая 2016
    «Компас» доработал ERP-систему для Санкт-Петербургского медико-социального института7.8Четверг, 01 сентября 2016
    Советник президента заблокировал назначение директора Института развития интернета7.8Пятница, 21 июля 2017

    Мы в соц. сетях