Ústav pro programování systémů - Institute for System Programming - Wikipedia
 | tento článek ne uvést žádný Zdroje. (Července 2017) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) |
 | |
| Založeno | 1994, na základě Institut pro problémy kybernetiky |
|---|---|
| Typ výzkumu | Počítačová věda |
| Ředitel | Arutyun Avetisyan |
The Ústav pro programování systémů (ISP) Ruská akademie věd (RAS; ruština: Институт системного программирования) byl založen 25. ledna 1994 na základě oddělení oddělení systémového programování a numerického softwaru Ústavu pro kybernetickou problematiku RAS. ISP RAS patří do divize matematických věd RAS.
Skupiny R a D.
- Oddělení technologií překladačů
- Oddělení se specializuje na aplikaci kompilátorového přístupu na různé obory výpočetní techniky a na moderní optimalizaci vývoje a designu kompilátorů. První projekty překladačů začaly počátkem 80. let. Nedávná výzkumná činnost týmu je soustředěna na paralelní programování a reverzní inženýrství.
- Oddělení architektury výpočetních systémů
- Hlavní směry výzkumné činnosti oddělení byly spojeny s efektivní implementací síťových architektur a hardwarových platforem pro lokální a globální sítě.
- Oddělení informačních systémů
- Hlavní aktivity oddělení: víceuživatelský plně funkční relační DBMS, CORBA - technologie založená na distribuovaných informačních systémech, XML technologie založená na heterogenní integraci dat, nativní XML databáze Sedna, dolování textu a vyhledávání informací.
- Oddělení nástrojů pro vývoj softwaru
- Hlavním směrem je tvorba nástrojů podporujících formální specifikaci a modelovací jazyky a usnadnění procesu vývoje.
- Oddělení softwarového inženýrství
- Spektrum vědeckého výzkumu katedry pokrývá širokou škálu Softwarové inženýrství, včetně analýzy programů a jejich modelů, ověřování a validace, otázky standardizace včetně vývoje otevřených softwarových standardů, různých aspektů vývoje, údržby a vývoje softwaru spolu s metodami vzdělávání a nasazování pokročilých technologií.
- Oddělení programování systému
- Vědecko-výzkumná činnost ústavu je v oblasti statická analýza programu, výkop architektury pomocí programového kódu a vizualizace modelu softwarové architektury, modelování architektury a generování kódu pomocí softwarového modelu.
- Oddělení teoretické informatiky
- Členy katedry jsou odborníci v různých oborech matematiky a teoretické informatiky: kombinatorika, složitost výpočtů pravděpodobnostní metody, matematická logika, formální metody analýzy programu, logické programování, matematické kryptografie.
Rady
- Akademická rada
- Hlavním úkolem rady je koordinace výzkumných a vědeckých programů zaměřených na stanovení priorit nových důležitých směrů.
- Dizertační rada
- Jako součást rady pro disertační práci institutu D.002.087.01 posuzuje žádosti o vědecké tituly kandidáta a doktora fyzikálních a matematických a technických věd podle kvalifikačního standardu 05.13.11 „Matematická a programová podpora počítačů, jejich komplexů a sítí “.
Centra
- Ověřovací centrum operačního systému Linux
- Posláním střediska je propagovat Linux platforma zajištěním její vysoké spolehlivosti a kompatibility s využitím otevřených standardů a pokročilých testovacích a ověřovacích technologií.
- Centrum kompetencí pro paralelní a distribuované výpočty
- Cílem centra je výrazné zvýšení využití paralelních a distribuovaných výpočtů v oblasti vzdělávacích, výzkumných a produkčních aktivit ruských organizací.
externí odkazy
- Ústav pro programování systémů
- Profil společnosti v Linux Foundation
- Ověřovací centrum operačního systému Linux
Souřadnice: 55 ° 44'42 ″ severní šířky 37 ° 39'52 ″ východní délky / 55,7450 ° N 37,6645 ° E