DOCSLIB.ORG

Innovation Projects Skolkovo Foundation

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Innovation Projects Skolkovo Foundation INNOVATION PROJECTS SKOLKOVO FOUNDATION BIOMEDICAL TECHNOLOGIES CLUSTER 12 14 14 15 119 2 CONTENTS ABOUT THE FOUNDATION 5 Mission 6 Goals 7 Ecosystem 7 Benefits and opportunities for participants 8 Key numbers and facts 10 Skolkovo industrial partners: first success stories 11 BIOMEDICAL TECHNOLOGIES CLUSTER 12 14 About the Cluster 14 Innovation Priorities 15 Achievements PROJECTS OF PARTICIPATING COMPANIES BROKEN DOWN BY INNOVATION PRIORITIES 17 119 CLUSTER CONTACTS PROJECTS OF PARTICIPATING COMPANIES IN ALPHABETICAL ORDER 123 3 4 Mission 6 Goals 7 Ecosystem 7 Benefits and opportunities for participants 8 Key numbers and facts 10 Skolkovo industrial partners: first success stories 11 ABOUT THE FOUNDATION 5 MISSION OF THE SKOLKOVO FOUNDATION THE SKOLKOVO INNOVATION CENTER WAS ESTABLISHED BY FEDERAL LAW NO. 244 DATED SEPTEMBER 28, 2010 «ON THE SKOLKOVO INNOVATION CENTER» AS THE COUNTRY’S RESPONSE TO THE NEW CHALLENGES OF THE GLOBAL ECONOMY: ACCELERATING TECHNOLOGICAL PROGRESS AND RISING COMPETITION FOR KNOWLEDGE AND COMPETENCIES BETWEEN LEADING NATIONS. Space Technology and Telecommunications Nuclear Technologies Information Technologies The mission of the Skolkovo Innovation Center, and the Skolkovo Foundation that established it, is to create an ecosystem in Russia conducive to the development of innovations to support cutting edge Energy Efficiency research and development and then to commercialize the results of such R&D in five priority fields of technological progress. Biomedical Technologies education and R&D experimental design and commercialization research of the results The Skolkovo Foundation aims to ensure that The Skolkovo Foundation is creating a model the Innovation Center can provide facilities for for the development of an innovation-based the full cycle of the innovation process including economy for all of Russia. The Innovation Center education, R&D, experimental research and serves as proving grounds to test the mechanisms design, and commercialization of the results.. for promoting the practical application of cutting edge ideas proposed by Russian academic and applied research institutions. SKOLKOVO IS A KEY ELEMENT IN THE SYSTEM OF RUSSIAN DEVELOPMENT INSTITUTES THAT seeks to support innovation projects at every stage of development, from when it’s just an idea all the way through sales and marketing, creating a system of continuous support that startups can draw upon as they work on their projects. The Skolkovo Foundation focuses on the pre-seed and seed stages of business development and some of the aspects of the launch stage. Subsequent stages such as business growth and development, IPO and financing are supported by RVK, RUSNANO and VEB, respectively. 6 SKOLKOVO’S GOAL IS TO CREATE AN INNOVATION ECOSYSTEM CONDUCIVE TO RESEARCH AND ENTREPRENEURSHIP ESTABLISHING AN INNOVATION ECOSYSTEM INCLUDES CREATING AND DEVELOPING EDUCATIONAL, RESEARCH AND ENTREPRENEURIAL ENVIRONMENTS, AS WELL AS THE PHYSICAL INFRASTRUCTURE OF THE SKOLKOVO INNOVATION CENTER. The ecosystem consists of the following key elements: startups, R&D centers of the industrial partners, venture capital investors, the Technopark, the Skolkovo Institute of Science and Technology (Skoltech) and the infrastructure, i.e. the town of Skolkovo. SKOLKOVO ECOSYSTEM PARTICIPANTS The kernel of the ecosystem, early-stage high tech startup companies that have been given the status of Skolkovo project EDUCATIONAL participants. ENVIRONMENT Skoltech, OpUS, international and Russian partner universities. PARTNERS Industrial partners (major international and Russian companies), accredited VC investors. TECHNOPARK Laboratory and research infrastructure. Infrastructure of Skolkovo Open University Skolkovo. Innovation Center. 7 BENEFITS AND OPPORTUNITIES FOR PARTICIPANTS TAX AND CUSTOMS BENEFITS: • Social tax* — 14% • Income tax — 0% • VAT — 0% • Property tax — 0% • Customs tariffs on imported research equipment Insurance premiums paid by the employer — 0% GRANT SUPPORT ACCESS TO INFRASTRUCTURE AND CONSULTING: • R&D infrastructure and common use centers, consultations for applicants for Skolkovo participant status, office leases • International and national events • Education and mentoring (OpUS, Skoltech) HELP WITH RAISING FINANCE AND ACCELERATION: • VC and angel investors • Infrastructure and technologies offered by industrial partners HOW TO BECOME A PARTICIPANT: APPLICANTS APPLICANT SKOLKOVO FOUNDATION EXPERT PANELS PARTICIPANT STATUS 01 02 03 IS GRANTED TO THE fills out the online assesses the application based assess the project in detail APPLICANT form at www.sk.ru on formal criteria: a) Is it feasible in principle? а) Have all the necessary b) What significant information and documents advantages does it offer over been provided? foreign competitors? b) Is the applicant a Russian c) What is its legal entity? commercialization potential? с) Does the applicant meet d) Does the project team have the technology criteria of the the requisite experience to Skolkovo Foundation? successfully implement the project on the international level? 10 randomly selected experts from a large pool of experts ~ one month 8 KEY PRINCIPLES FOR GRANT FINANCING BY THE SKOLKOVO FOUNDATION Grant Amount Co-Financing Terms A business plan and Idea an R&D program are developed, the market is Up to100% researched and a search Skolkovo for investors is initiated More than A working prototype 25% Seed is manufactured, Co-investor a technical design Up to is developed and the 75% concept is tested Skolkovo Up to Early R&D is completed, an 50% stage industrial prototype is Skolkovo developed and pre-clinical More than trials and phase I clinical 50% trials are conducted Co-investor Advanced stage R&D and clinical trials are Up to 25% completed, pilot batches Skolkovo are manufactured and More than 75% trialed Co-investor HOW FINANCING IS ALLOCATED The participant prepares a The participant submits The Foundation’s Preparation for a presentation in accordance the grant memorandum services check the meeting of the Grant with the recommended with appendixes application and have Committee format and submits it via it audited by external sk.ru experts 10 days no more than 90 (+10) days ~ 1,5 months ~ 2 weeks The Foundation decides The Foundation The participant is The Grant Committee whether the presentation checks whether all the notified of the results of decides whether to will be reviewed necessary information the review award a grant and documents have been submitted APPLICATION GRANT REVIEW BY THE GRANT MEMORANDUM FOUNDATION COMMITTEE PROJECT NEEDS MORE REFUSAL WITH WORK (A MINI-GRANT MAY OR EXPLANATION BE GIVEN ) 9 KEY NUMBERS AND FACTS bln 6873 4,3 RUB 1147 applications firm commitments participating companies for the Participant of the accredited from 49 regions status investors on financing of the country of the Participants: bln 1288 43,6 RUB 13 500 intellectual Participants’ work places property earnings applications bln bln 500 10,6 RUB 11,1 RUB patents approved private and certificates grants volume investment volume as of May, 2015 10 и нду Стриа Льные партнеры ВАЖНЫМ НАПРАВЛЕНИЕМ ВЗАИМОДЕЙСТВИЯ «СкоЯВЛЯЕТСЯ ОБЕСПЕЧЕНИЕЛ Зково»АПОЛНЕНИЯ ОФИСН О- — первые у Спехи ИССЛЕДОВАТЕЛЬСКИХ ОБЪЕКТОВ И БЫТОВОЙ SKOLKOVOИНФРАСТРУКТУРЫ ИННОВАЦИОННО ГINDUSTRIALО ЦЕНТРА. ИНВЕСТОРЫ и ндустриальные партнеры размещают центры ниокр в «Сколково» и выступают заказчиком PARTNERSи потребителем инновационных - FIRST решений ACHIEVEMENTS стартапов – тем самым они интегрируют исследовательскую и бизнес-среду инновационной системы «Сколково». TheВ рамках industrial «тонкой partners» настройки place стратегии the R&D развития centres инно -in Skolkovo and act as the Customer and Consumer ofвационного the start-ups’ центра особое innovative внимание solutions уделяется thusразви -integrating the research environment and business environmentтию экосистемного of the взаимодействия Skolkovo innovative с индустриальными system. И МЕНТОРЫ партнерамикЛ ючевые. преимуще Ства Сотрудниче Ства Со « Ско Лково» д ЛЯ отра СЛевых Преждепартнеров всего это поддержка партнеров в создании KEYрабочих ADVANTAGES мест, формировании OF COOPERATION необходимых исследова WITH- SKOLKOVO FOR INDUSTRY PARTNERS СОЗДАВАЯ•тельских ИННОд оступВ компетенцийАЦИИ к –лучшим2015 и привлечении кадрам инвестиций и передовой в соз- российской науке – «Сколково» является даниепривлекательным исследовательской инфраструктуры местом центровдля работы и центром притяжения лучших специалистов из •НИОКР Access партнеров to the. bestРабочие staff места and в центрахcutting-edge НИОКР Russian science – the Skolkovo is the attractive place ...составятofдругих employment не менее городов четверти and the ивсех мattraction рабочихосквы. мест centre of the best experts from Moscow and other cities. ••экосистемы Convenienceудобство. проведенияof research and исследований experiments based и экспериментовon concentration of сprocess учетом and конце humanнтрации ...Ещеresources,технологических одним приоритетным cooperation направлением и людскихwith Skolkovo взаимодей ресурсов, - Institute сотрудничестваof Science and Technologies со Сколковск (SkolTekh),им институтом ...ствияdedicated с индустриальными Russian institutes, партнерами theявляется Skolkovo обес- partners. печениенауки заполнения и технологии офисно-исследовательских (Сколтех), профильными российскими институтами, партнерами • Access«Сколково». to advanced technologies being created by start-ups, the Skolkovo residents, including ...объектовwith state и социально support.-бытовой инфраструктуры
Load more

Recommended publications
  • Astra Linux Special Edition
    ОПЕРАЦИОННАЯ СИСТЕМА СПЕЦИАЛЬНОГО НАЗНАЧЕНИЯ ASTRA LINUX SPECIAL EDITION ОБЩИЕ СВЕДЕНИЯ ОБ ОПЕРАЦИОННОЙ СИСТЕМЕ ПОДДЕРЖИВАЕМЫЕ АППАРАТНЫЕ ПЛАТФОРМЫ Операционная система Операционная система общего назначения специального назначения Релиз «Орел» Релиз «Смоленск» Релиз «Новороссийск» Релиз «Мурманск» Релиз «Керчь» Релиз «Севастополь» Мэйнфреймы IBM ЭВМ с процессорами х86-64 ЭВМ с процессорами ARM PowerPC MIPS System Z УЧАСТНИКИ ПРОЕКТА ПАТЕНТ АО «НПО РусБИТех» ООО «РусБИТех-Астра» Академия ФСБ ИСП РАН России Включена в Единый реестр российских Включена Минкомсвязь России программ для электронных вычислительных в отраслевые стандарты машин и баз данных Минкомсвязи России госкорпораций в 2015 г. СЕРТИФИКАТЫ СООТВЕТСТВИЯ Принята на снабжение ФСБ ФСТЭК Минобороны ВС РФ России России России в 2013 г. Виды защищаемой информации Коммерческая тайна Персональные данные Государственная тайна СОСТАВ ОПЕРАЦИОННОЙ СИСТЕМЫ ПОЛЬЗОВАТЕЛЬСКИЕ ПРИЛОЖЕНИЯ СЕРВЕРНЫЕ ПРИЛОЖЕНИЯ СРЕДСТВА РАБОТЫ С ДОКУМЕНТАМИ СИСТЕМА УПРАВЛЕНИЯ КОМПЛЕКС ПРОГРАММ ПЕЧАТИ БАЗАМИ ДАННЫХ И МАРКИРОВКИ ДОКУМЕНТОВ Редактор Текстовый Редактор Редактор СЕРВЕР СУБД редактор электронных таблиц презентаций векторной графики Сервер печати СРЕДСТВА ЭЛЕКТРОННОЙ ПОЧТЫ КОМПЛЕКС ПРОГРАММ ЭЛЕКТРОННОЙ ПОЧТЫ THUNDERBIRD IMAP сервер EXIM4 – агент кроссплатформенная программа для работы доставки передачи почтовых с электронной почтой и группами новостей почтовых сообщений. сообщений SMTP сервер ВСТРОЕННЫЕ СРЕДСТВА ЗАЩИТЫ ИНФОРМАЦИИ WEB-БРАУЗЕР WEB-СЕРВЕР ОТ НЕСАНКЦИОНИРОВАННОГО FIREFOX надёжный и гибкий
    [Show full text]
  • L'evoluzione Di Linux Eserved@D = *@Let@Token Width=6.5Em]Figs
    L’evoluzione di Linux Centro Ricerche Frascati 11 febbraio 2013 Marco Cesati Università di Roma Tor Vergata Marco Cesati (Università di Roma Tor Vergata) L’evoluzione di Linux 1 / 29 Marco Cesati (Università di Roma Tor Vergata) L’evoluzione di Linux 2 / 29 • Promuovere la scrittura e la diffusione del software libero • La seconda versione è del 1991, la terza versione è del 2007 • È la più diffusa licenza utilizzata per il software libero • Nel 1985 Stallman fonda la Free Software Foundation (FSF) • Nel 1989 Stallman scrive la prima versione della licenza GNU GPL (General Public License) Le motivazioni di Stallman e dei proponenti del software libero sono primariamente di ordine “etico” e a salvaguardia dei diritti degli utenti Il movimento del software libero • Nel 1983 Richard Stallman avvia il Progetto GNU (GNU’s Not Unix) • Scrivere un intero SO “libero” da diritti d’autore e licenze • Compatibile con il SO Unix • Quasi completato nei primi anni ’90: manca solo il nucleo del SO Marco Cesati (Università di Roma Tor Vergata) L’evoluzione di Linux 3 / 29 • La seconda versione è del 1991, la terza versione è del 2007 • È la più diffusa licenza utilizzata per il software libero • Nel 1989 Stallman scrive la prima versione della licenza GNU GPL (General Public License) Le motivazioni di Stallman e dei proponenti del software libero sono primariamente di ordine “etico” e a salvaguardia dei diritti degli utenti Il movimento del software libero • Nel 1983 Richard Stallman avvia il Progetto GNU (GNU’s Not Unix) • Scrivere un intero SO “libero”
    [Show full text]
  • Verification of Operating Systems
    SYRCoSE-2016 Krasnovidovo, Moscow Region 30 May 2016 Verification of Operating Systems Alexey Khoroshilov [email protected] Institute for System Programming of the Russian Academy of Sciences Operating Systems User-space Applications System System Operating Utilities Libraries Services System Signals, Special System Memory updates, File Systems Calls Scheduling, ... Kernel Kernel-space Kernel Modules Kernel Threads Device Drivers Kernel Core (mmu, scheduler, IPC) Interrupts, DMA IO Memory/IO Ports Hardware Embedded Operating Systems Operating System Drivers APEX POSIX System App App Services libARINC libPOSIX libSYSTEM User-Space Kernel-Space System Calls System Calls Kernel (mmu,scheduler,ipc) System Services ArchLib BSP Drivers Interrupts, DMA IO Memory / IO Ports Target System Hardware Host System Build System Configuration Static Verification Runtime Verification Static Verification Runtime Verification + All paths at once – One path only Static Verification Runtime Verification + All paths at once – One path only + Hardware, test data and – Hardware, test data and test environment is not test environment is required required Static Verification Runtime Verification + All paths at once – One path only + Hardware, test data and – Hardware, test data and test environment is not test environment is required required – There are false positives + Almost no false positives Static Verification Runtime Verification + All paths at once – One path only + Hardware, test data and – Hardware, test data and test environment is not test environment is required required – There are false positives + Almost no false positives – Checks for predefined + The only way to show set of bugs only the code actually works Verification Approaches all kinds of bugs One 1 kind test bugs in 1 execution in all executions Operating Systems User-space Applications System System Operating Utilities Libraries Services System Signals, Special System Memory updates, File Systems Calls Scheduling, ..
    [Show full text]
  • Подходы К Контролю Использования Съемных Машинных Носителей Информации На Средствах Вычислительной Техники Под Управлением Ос Astra Linux Se
    ЮЖНО-СИБИРСКИЙ НАУЧНЫЙ ВЕСТНИК УДК 004.42 ПОДХОДЫ К КОНТРОЛЮ ИСПОЛЬЗОВАНИЯ СЪЕМНЫХ МАШИННЫХ НОСИТЕЛЕЙ ИНФОРМАЦИИ НА СРЕДСТВАХ ВЫЧИСЛИТЕЛЬНОЙ ТЕХНИКИ ПОД УПРАВЛЕНИЕМ ОС ASTRA LINUX SE А.А. Невров, Г.А. Попов Академия ФСО России, г. Орел В статье рассматривается проблема контроля использования съемных машинных носителей информации (СМНИ) на средствах вычислительной техники под управлением операционной системы Astra Linux Special Edition. В результате анали- за данной операционной системы авторами было выявлено отсутствие механизмов контроля использования СМНИ. Авто- рами предложена, обоснована и описана структура автоматизированной системы учета и контроля СМНИ, которая обеспе- чит необходимый уровень информационной безопасности в организациях, обрабатывающих конфиденциальную информа- цию. Ключевые слова: контроль, носитель информации, информационная безопасность. ВВЕДЕНИЕ сигнализирование администратору СВТ о попытке В настоящее время в организациях, обрабатываю- использования таких МНИ. щих конфиденциальную информацию, рекомендовано В настоящий момент уже существуют готовые использование операционной системы (ОС), имею- средства защиты информации (СЗИ), имеющие функ- щей сертификаты соответствия второму классу за- ции учета и контроля использования МНИ на СВТ, щищенности. Одной из таких ОС является Astra Linux функционирующие как под управлением ОС MS Win- Special Edition (SE). Для обеспечения требуемого dows [1–5], так и ОС Linux [6–8]. В силу определен- уровня информационной безопасности работа на ных факторов, а именно: коммерческое распростране- средствах вычислительной техники (СВТ) в организа- ние программных продуктов, полностью закрытый или частично открытый программный код ОС, под циях может производиться с использованием учтен- которым функционирует СЗИ, существуют опреде- ных машинных носителей информации (МНИ). В организациях, обрабатывающих конфиденци- ленные сложности их использования. альную информацию задача контроля использования ОСНОВНАЯ ЧАСТЬ учтенных МНИ на СВТ возлагается на администрато- В ОС Astra Linux SE уже существуют механизмы ра СВТ.
    [Show full text]
  • Astra Linux Products V3.Indd
    РЕШЕНИЯ ДЛЯ ИНФОРМАЦИОННЫХ СИСТЕМ СДЕЛАНО В РОССИИ www.astralinux.ru О ГРУППЕ КОМПАНИЙ СОДЕРЖАНИЕ ASTRA LINUX О группе компаний Astra Linux 1 Продукты Astra Linux 2 «Astra Linux Common Edition» 4 «Astra Linux Special Edition» 6 ПК «БРЕСТ»8 Научная основа Astra Linux Special Edition 10 Графический интерфейс Fly 12 Состав операционной системы 13 Пакет офисных средств 14 Домен Astra Linux 16 Партнерская программа «Ready For Astra Linux» 17 Импортозамещение. Стадии миграции 18 Техническая поддержка Astra Linux 20 Учебно-методическая литература 22 Astra Linux в ВУЗах России 23 Обеспечение образовательного процесса 24 2 Наши победы 26 Группа компаний Astra Linux — один из лидеров рос- сийского рынка информационных технологий в области МИССИЯ Обеспечение технологического суверенитета России разработки программного обеспечения и средств защиты и ее лидерства на мировом IT-рынке путем разработки информации, в том числе операционных систем семей- базовых технологий, а также специального и пользова- ства Astra Linux и платформ виртуализации. На рынке тельского программного обеспечения. ASTRA LINUX — с 2008 года. В команде Astra Linux сегодня трудится более 250 высокопрофессиональных разработчиков и со- трудников техподдержки. СТРАТЕГИЧЕСКАЯ ЦЕЛЬ К 2030 году стать национальным производителем КОМПАНИЙ Продукция Astra Linux активно применяется в ходе ре- программных продуктов №1, обеспечивающим, с одной ализации программы импортозамещения, в том числе в стороны, потребности рынка IT в специализированных целях обеспечения безопасности объектов критической
    [Show full text]
  • Security Now! #717 - 06-04-19 the Nansh0u Campaign
    Security Now! #717 - 06-04-19 The Nansh0u Campaign This week on Security Now! This week we check-in on the BlueKeep RDP vulnerability, we look at the planned shutdown of one of the, if not the, most "successful" (if one can call it that) affiliate-based ransomware systems, we update on the anti-Robocalling problem, and then look at the recent announcements by the Russian and Chinese militaries about their plans to move away from the Microsoft Windows OS. We also look at Apple's announcement yesterday of their forthcoming "Sign in with Apple" service and touch on the state-of-SQRL. We then share a bit of fun feedback from a listeners and finish by examining the interesting details behind a significant old-school persistent campaign -- the Nansh0u campaign -- apparent sourced from China, which has successfully compromised many tens of thousands of servers exposed to the Internet. Wormpocalypse?? … methinks not. Courtesy, The Hacker News ​ Security News Last Thursday, Microsoft: "A Reminder to Update Your Systems to Prevent a Worm" https://blogs.technet.microsoft.com/msrc/2019/05/30/a-reminder-to-update-your-systems-to-p revent-a-worm/ On May 14, Microsoft released fixes for a critical Remote Code Execution vulnerability, CVE-2019-0708, in Remote Desktop Services – formerly known as Terminal Services – that affects some older versions of Windows. In our previous blog post on this topic we warned that the vulnerability is ‘wormable’, and that future malware that exploits this vulnerability could propagate from vulnerable computer to vulnerable computer in a similar way as the WannaCry malware spread across the globe in 2017.
    [Show full text]
  • Russia Focuses Inward for Vulnerability Analysis
    CYBER THREAT ANALYSIS Pavlov’s Digital House: Russia Focuses Inward for Vulnerability Analysis By Priscilla Moriuchi and Dr. Bill Ladd Recorded Future ​ |​​ ​www.recordedfuture.com ​ |​​ ​CTA-2018-0716 ​ |​​ ​ 1 Scope Note: Over the course of the past year, Recorded Future has examined the ​publication speeds​, ​missions​, and ​utility​ of the national vulnerability databases (NVDs) of two countries: China and the United States. We decided to apply the same analytic techniques to Russia’s vulnerability database to see what we could learn. This report includes a detailed analysis of vulnerabilities published by the Federal Service for Technical and Export Control of Russia (FSTEC), official Russian government documents, Recorded Future data, and open source intelligence (OSINT). The data analyzed for this report was compiled on March 30, 2018. Executive Summary Russia’s vulnerability database is highly focused. However, it is incomplete, slow, and likely intended to support the control of the Russian state over technology companies and users. Generally, Russia publishes only 10 percent of known vulnerabilities, is on average 83 days slower than China’s National Vulnerability Database (NVD), 50 days slower than the U.S. NVD, and incomplete in the few technologies it does cover. Key Judgements ● Russia’s vulnerability database is run by the Federal Service for Technical and Export Control of Russia (FSTEC). FSTEC is the military organization responsible for protecting state secrets and supporting counterintelligence and counterespionage operations. ● FSTEC’s vulnerability database is also known as the BDU (Банк данных угроз безопасности информации). The BDU has published only 11,036 vulnerabilities of the 107,901 CVEs reported by NVD (approximately 10 percent).
    [Show full text]
  • Testing and Verification of Operating Systems and Information Security Issues
    Testing and Verification of Operating Systems and Information Security Issues Prof. Alexander K. Petrenko, [email protected] 12th TAROT Summer School on Software Testing, Verification & Validation Paris, July, 2016 Institute for System Programming . ISP RAS belongs to the Division of Mathematical Sciences of the RAS. The Institute employs more than 200 highly qualified researchers and software engineers, including 12 doctors of science and 45 philosophy doctors. Many employees of the Institute also work as professors in leading Moscow universities. 2 / 115 Software Engineering Department . SE Department staff: . over 40 researchers and engineers, including 3 Doctors of Sc. and 13 Ph.D. Major partners and customers . Foreign partners: Microsoft Research, Intel Labs, Nokia, Google, ETRI, EADS Telecom, University of Passau, Fraunhofer FOKUS . Russian partners: NIISI RAS, GosNIIAS, VimpelCom, MCST(Elbrus) . International organizations: ISO/JTC 1, ETSI, The Linux Foundation 3 / 115 ISPRAS Research Model = ? ISPRAS Research Model = Industrial Research 4 / 115 Application Domains 5 / 115 SE Department R&D Domains . Verification techniques and tools (testing, software model checking, deductive verification) . Trusted operating systems (Linux family, ARINC-653 Real-Time OS) . Tool chains for critical software life cycle support . Requirements management tools . System modeling (AADL), simulation, risk analysis . Cyber-physical system integration (avionics) . Telecom and operating systems API/ABI standards . Hardware designs testing . Model Based Testing foundations 6 / 115 Agenda 1. What is the “Operating System”? 2. Spectrum of OS testing and verification methods 3. State of the Art and ISPRAS’s experience 4. Information security specifics and OS verification 7 / 115 OS Verification Challenge • Operating System is a base of software platform.
    [Show full text]
  • Tätigkeitsbericht Über Das Geschäftsjahr 2015
    The Document Foundation Kurfürstendamm 188 107707 Berlin Telefon: 030 575577992-0 Telefax: 030 575577992-99 E-Mail: [email protected] Web: htttp://www.documentfoundation.org Tätigkeitsbericht über das Geschäfsjahr 2015 Zeitraum: 1. Januar 2015 bis 31. Dezember 2015 Lizenziert unter Creative Commons Namensnennung - Weitergabe unter gleichen Bedingungen 4.0 International Lizenz The Document Foundation – Tätigkeitsbericht über das Geschäfsjahr 2015 Inhaltsverzeichnis 1 Vorwort 4 2 Das Jahr 2015 im Überblick 5 2.1 Die Stifung 5 2.2 LibreOfice 6 2.2.1 LibreOfice 4.4 7 2.2.2 LibreOfice 5.0 8 2.2.3 LibreOfice Viewer für Android 8 2.3 Finanzen und Budget 9 2.3.1 Transttparenz 9 2.3.2 Förderanträge 10 2.3.3 Projektttplanung und Budgets in 2016 10 3 Community, Projekte und Veranstaltungen 10 3.1 LibreOfice Conference 2015 10 3.2 Zertifizierungsttprogramm 12 3.3 Webseite 13 3.3.1 Stifungs-Webseite in neuem Glanz 14 3.3.2 Ein neues Blog 14 3.3.3 Statistiken 14 3.4 Qalitätssicherung 15 3.4.1 Bug Hunting Sessions 15 3.4.2 Bibisecting 16 3.4.3 Tests zur Medienunterstützung 16 3.5 Hackfeste 16 3.5.1 Brüssel, 2.-3. Februar 16 3.5.2 Gran Canaria, 19.-20. März 16 3.5.3 Cambridge, 21.-23. Mai 17 3.5.4 Hamburg, 23.-25. Oktober 17 3.5.5 Terni, 28. November 17 3.5.6 Madrid, 2.-4. Dezember 18 3.6 Sttprachttprojekte 18 3.6.1 Deutschland: Veranstaltungen 18 3.6.2 Jattpan: Veranstaltungen, Übersetzung, Marketing 19 3.6.3 Indien: Erstes Trefen 19 3.6.4 Türkei: Konferenz 20 3.6.5 Brasilien: Zeitschrifen 21 3.6.6 Paraguay: Neue Übersetzung 21 3.6.7 Frankreich:
    [Show full text]
  • Using Refinement in Formal Development of OS Security Model⋆
    Using Refinement in Formal Development of OS Security Model? P. N. Devyanin1, A. V. Khoroshilov2, V. V. Kuliamin2, A. K. Petrenko2, and I. V. Shchepetkov2 1 Educational and Methodical Community of Information Security, Moscow, Russia [email protected] 2 Institute for System Programming, Russian Academy of Sciences, Moscow, Russia {khoroshilov,kuliamin,petrenko,shchepetkov}@ispras.ru Abstract. The paper presents work in progress on formal development of an operating system security model. The main goal is to measure our confidence in the quality of the model. Additional goal is to simplify its maintenance. We formalized and verified the model using formal method Event-B in two ways | with and without use of the refinement tech- nique | in order to compare them and figure out what approach meets our goals better. Refinement is technique that helped us deal with com- plexity of the model, improve readability and simplify automatic proofs. However, deep understanding of the security model details and careful planning were absolutely necessary to achieve this. The approach with- out use of the refinement technique allowed to quickly start formalization and helped to study the details of the security model, but the resulting formal model became hard to maintain and explore. Keywords: security model; formal verification; refinement; Event-B. 1 Introduction Traditionally computer security models are expressed by combining a natural language and mathematical notations. Proofs of their correctness and consis- tency are performed by hand. Such proofs are error prone and not completely reliable. Besides, the reliability of manual proofs decreases with increasing size and complexity of the models. Formal methods are promising approaches for specification and verification of software systems [10].
    [Show full text]
  • Catalogue of Technologies 2020
    Catalogue of Technologies 2020 contents 5 Victor Ivannikov 80th anniversary (1940–2016) 7 ISP RAS 2020: Major Events 8 ISP RAS 2020: Technologies Update TECHNOLOGIES 13 Asperitas and cloud solutions family 16 AstraVer: verification toolset 18 BinSide: binary code static analysis tool 20 Casr: crash analysis and severity reporter tool 22 Constructivity 4D: technology of indexing, searching and analysis of large spatial-temporal data 24 ISP Crusher: a dynamic analysis toolset 27 Dedoc: a document structure retrieval system 29 DigiTEF: digital twin platform 31 Klever: the technology for C programs model checking 33 Lingvodoc: virtual laboratory for documenting endangered languages of Technologies Catalogue 35 Masiw: support for designing highly reliable software systems 37 MicroTESK: test program generator 39 ISP Obfuscator 41 Protosphere a network traffic analyzer 43 ISP RAS software analysis platform based on QEMU 46 Retrascope: static analysis of HDL descriptions 48 SciNoon: exploratory search system for scientific groups 50 Svace static analyzer 53 Talisman: a data processing framework 56 Texterra: semantic analyzer 58 Trawl: binary code analysis platform 60 ISP RAS: an innovation ecosystem Victor Ivannikov 80th anniversary (1940-2016) In 2020 we commemorate 80 years since Victor Petrovich Ivannikov’s birthday. Academician Ivannikov was the ISP RAS founder and first director, and now the institute is named after him. His contribution to ISP RAS development is very hard to describe shortly. It includes a scientific school, a way of work famously known as Phystech triangle: research, education, and innovations. But the most important thing about him was his attitude towards his work and people around him. Victor Ivannikov entered Phystech (MIPT) soon after it was Arutyun founded.
    [Show full text]
  • Annual Report 2017
    Russian Federation Federal Agency for Scientific Organizations ST. PЕTЕRSBURG INSTITUTЕ FOR INFORMATIСS AND AUTOMATION OF THЕ RUSSIAN AСADЕMY OF SСIЕNСЕS Annual Report 2017 years St.Petersburg, 2017 SPIIRAS Russian Federation Federal Agency for Scientific Organizations ST. PETERSBURG INSTITUTE FOR INFORMATICS AND AUTOMATION OF THE RUSSIAN ACADEMY OF SCIENCES Annual Report 2017 St. Petersburg, 2017 SPIIRAS Administration Director Yusupov, Rafael M. Corresponding Member of RAS, Honored Scientist of the Russian Federation Tel: +7(812)328-3311; (812)328-3411; Fax: +7(812)328-4450 E-mail: [email protected] Deputy-Director for Research Ronzhin, Andrey L. Professor of RAS, Doctor of Technical Sciences Tel: +7(812)328-7081, E-mail: [email protected] Deputy-Director for Research Sokolov, Boris V. Professor, Doctor of Technical Sciences Honored Scientist of the Russian Federation Tel: +7(812)328-0103, E-mail: [email protected] Deputy-Director for Maintenance Tkach, Anatoly F. Associate Professor, Candidate of Technical Sciences Tel: +7(812)328-1433, E-mail: [email protected] Scientific Secretary Silla, Evgeny P. Candidate of Military Sciences Tel: +7(812)328-0625; E-mail: silla@ iias.spb.su Assistant to Director for International Research Cooperation Podnozova, Irina P. MS in Electrical Engineering Tel: +7(812)328-4446; Fax: +7(812)328-0685 E-mail: [email protected] Street Address: 39, 14 Line, St.Petersburg, 199178, Russia Tel. (812)328-3311; Fax: +7(812)328-4450 E-mail: [email protected] Web: http://www.spiiras.nw.ru General Information
    [Show full text]