Institutet för systemprogrammering

Institutet för systemprogrammering

Etablerade	1994, baserat på Institute for Cybernetics Problems
Forskningstyp	Datavetenskap
Direktör	Arutyun Avetisyan

Institutet för systemprogrammering (ISP) vid den ryska vetenskapsakademin (RAS; ryska : Институт системного программирования ) grundades den 25 januari 1994, på basen av avdelningarna för systemprogrammering och numerisk programvara vid Institute of Cybernetics Problem RAS. ISP RAS tillhör avdelningen för matematiska vetenskaper i RAS.

R- och D-grupper

Avdelningen för kompilatorteknik

Avdelningen är specialiserad på att tillämpa kompilatormetoder på olika datavetenskapliga områden, samt modern optimering av kompilatorutveckling och design. De första kompilatorprojekten startade i början av 1980-talet. Teamets senaste forskningsaktivitet är koncentrerad på parallell programmering och reverse engineering .

Institutionen för datorsystemarkitektur

Huvudinriktningarna för avdelningens forskningsverksamhet har varit kopplade till effektiv implementering av nätverksarkitekturer och hårdvaruplattformar för lokala och globala nätverk.

Informationssystemavdelningen

Avdelningens huvudsakliga verksamhet: multi-användar fullt fungerande relationell DBMS , CORBA -baserad teknik för distribuerade informationssystem, XML -baserad teknik för heterogen dataintegration, inbyggd XML-databas Sedna , textutvinning och informationssökning .

Avdelningen för verktyg för mjukvaruutveckling

Huvudinriktningen är att skapa verktyg som stödjer formella specifikations- och modelleringsspråk och som underlättar utvecklingsprocessen.

Programvarutekniska avdelningen

Spektrumet för avdelningens vetenskapliga forskning täcker ett brett spektrum av programvaruteknik , inklusive analys av program och deras modeller, verifiering och validering, standardiseringsfrågor inklusive utveckling av öppna programvarustandarder, olika aspekter av utveckling, underhåll och utveckling av programvara tillsammans med metoder för utbildning och användning av avancerad teknik.

Systemprogrammeringsavdelningen

Institutionens forskningsverksamhet ligger inom området statisk programanalys , utgrävning av arkitektur med programkod och visualisering av mjukvaruarkitekturmodell, modellering av arkitektur och kodgenerering med hjälp av mjukvarumodell.

Teoretiska datavetenskapliga institutionen

Institutionens medlemmar är specialister inom olika grenar av matematik och teoretisk datavetenskap: kombinatorik , komplexitet i beräkningar , probabilistiska metoder, matematisk logik , formella metoder för programanalys, logisk programmering , matematisk kryptografi .

råd

Akademiska rådet

Rådets huvuduppgift är samordning av forskning och vetenskapliga program som syftar till att prioritera nya viktiga inriktningar.

Disputationsråd

Att vara en del av institutet Disputationsrådet D.002.087.01 behandlar ansökningar om vetenskapliga examina av kandidat och doktor i fysikaliska och matematiska samt tekniska vetenskaper enligt examensstandard 05.13.11 ”Matematiskt och programstöd för datorer, deras komplex, och nätverk”.

Centers

Verifieringscenter för operativsystemet Linux

Centrets uppdrag är att sprida Linux- plattformen genom att säkerställa dess höga tillförlitlighet och kompatibilitet genom användning av öppna standarder och avancerad test- och verifieringsteknik.

Kompetenscentrum för parallella och distribuerade beräkningar.

Målet för centret är att avsevärt öka användningen av parallella och distribuerade beräkningar inom områdena utbildning, forskning och produktionsverksamhet i ryska organisationer.

externa länkar

• Institutet för systemprogrammering
• Företagsprofil på Linux Foundation
• Verifieringscenter för operativsystemet Linux