Institutet för systemprogrammering - Institute for System Programming
Etablerade | 1994, baserat på Institute for Cybernetics Problems |
---|---|
Forskningstyp | Datavetenskap |
Direktör | Arutyun Avetisyan |
Den Institutet för Systemprogrammering (ISP) av ryska vetenskapsakademin (RAS; ryska : Институт системного программирования ) grundades den 25 januari 1994 på basen av departementen Systemprogrammering och numerisk programvara för Institutet för Cybernetics Problem med RAS. ISP RAS tillhör RAS-avdelningen för matematiska vetenskaper.
R- och D-grupper
- Compiler Technologies Department
- Avdelningen är specialiserad på att tillämpa kompilatorns tillvägagångssätt på olika datavetenskapliga områden, samt modern optimera kompilatorutveckling och design. De första kompilatorprojekten startade i början av 1980-talet. Teamets senaste forskningsaktivitet är koncentrerad till parallell programmering och reverse engineering .
- Avdelningen för datorsystemarkitektur
- De viktigaste riktningarna för avdelningens forskningsverksamhet har kopplats till ett effektivt implementering av nätverksarkitekturer och hårdvaruplattformar för lokala och globala nätverk.
- Avdelningen för informationssystem
- Avdelningens huvudsakliga aktiviteter: fleranvändare, fullt funktionell relationell DBMS , CORBA- baserad teknik för distribuerade informationssystem, XML- baserad teknik för heterogen dataintegration, inbyggd XML-databas Sedna , textbrytning och informationshämtning .
- Avdelningen för verktyg för programvaruutveckling
- Huvudriktningen är att skapa verktyg som stöder formella specifikations- och modelleringsspråk och underlättar utvecklingsprocessen.
- Programvaruteknik
- 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
- Avdelningens forskningsverksamhet ligger inom området statisk analys av program , utgrävning av arkitektur med programkod och visualisering av programvaruarkitekturmodell, modellering av arkitektur och kodgenerering med hjälp av programvarumodell.
- Teoretisk datavetenskapliga avdelningen
- Medlemmarna i avdelningen ä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 riktningar.
- Avhandlingsrådet
- Att vara en del av Institutets avhandlingsråd D.002.087.01 behandlar ansökningar om vetenskapliga grader av kandidater och doktorer i fysiska och matematiska och tekniska vetenskaper enligt kvalifikationsstandard 05.13.11 “Matematisk och programstöd för datorer, deras komplex och nätverk ”.
Centrum
- 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 inom parallell och distribuerad databehandling
- Målet för centrum är att öka användningen av parallella och distribuerade beräkningar inom utbildnings-, forsknings- och produktionsaktiviteter i ryska organisationer.
externa länkar
- Institutet för systemprogrammering
- Företagsprofil på Linux Foundation
- Verifieringscenter för operativsystemet Linux
Koordinater : 55,7450 ° N 37,6645 ° E 55 ° 44′42 ″ N 37 ° 39′52 ″ E /