Loading article…
ロシア科学アカデミー（RAS、ロシア語: Институт системного программирования ）のシステムプログラミング研究所（ISP）は、1994年1月25日に設立されました[ 1 ]。これは、RASサイバネティクス問題研究所のシステムプログラミング部門と数値ソフトウェア部門を基盤としています。ISP RASは、RASの数理科学部門に属しています。
2024年10月以降、システムプログラミング研究所は米国の制裁リストに掲載されている[ 2 ]。同研究所は、ロシア連邦国防省傘下の連邦技術輸出管理庁の監督の下、 Linuxオペレーティングシステムカーネルのセキュリティに特化した研究センターを運営しており、ロシアを拠点とするカーネルの支部も維持している。
コンパイラ技術部門 (CTT) ：この部門は、さまざまなコンピュータサイエンス分野へのコンパイラアプローチの適用、および最新の最適化コンパイラの開発と設計を専門としています。チームの最近の研究活動は、並列プログラミングとリバースエンジニアリングに集中しています。[ 3 ]
コンピュータシステムアーキテクチャ学科（CSA） ：1994年に設立。学科の研究活動の主な方向性は、ローカルネットワークおよびグローバルネットワーク向けのネットワークアーキテクチャとハードウェアプラットフォームの実装に関連している。[ 4 ]
情報システム部門 (MODIS) : 部門の主な活動: マルチユーザー完全機能リレーショナルDBMS、分散情報システムのためのCORBAベースのテクノロジー、異種データ統合のためのXMLベースのテクノロジー、ネイティブXML データベースSedna、テキストマイニングおよび情報検索。[ 5 ]
ソフトウェア開発ツール部門 ：主な業務内容は、形式仕様記述言語やモデリング言語をサポートし、開発プロセスを簡素化するツールの開発です。
ソフトウェア工学科（SE） ：当学科の科学研究の範囲は、プログラムとそのモデルの分析、検証と妥当性確認、オープンソフトウェア標準の開発を含む標準化問題、ソフトウェアの開発、保守、進化のさまざまな側面、および高度なテクノロジーの教育と展開の方法など、ソフトウェア工学のさまざまな分野を網羅しています。[ 6 ]
システムプログラミング部門：当部門の研究活動は、プログラムの静的解析 、プログラムコードを使用したアーキテクチャの発掘とソフトウェアアーキテクチャモデルの可視化、ソフトウェアモデルを使用したアーキテクチャのモデリングとコード生成の分野にあります。[ 7 ]
理論計算機科学科 ：この学科のメンバーは、組み合わせ論、計算の複雑性、確率的手法、数理論理学、プログラム解析の形式的手法、論理プログラミング、数理暗号など、数学と理論計算機科学のさまざまな分野の専門家です。[ 8 ]
学術評議会 ：評議会の主な任務は、新たな重要な方向性の優先順位付けを目的とした研究および科学プログラムの調整です。[ 9 ]
学位論文審査委員会 ：研究所学位論文審査委員会D.002.087.01の一員として、資格基準05.13.11「コンピュータ、その複合体、およびネットワークのための数学およびプログラムサポート」に従って、物理学、数学、および技術科学の候補者および博士の科学学位の申請を審査します。[ 10 ]
Linuxオペレーティングシステムの検証センター ：当センターの使命は、オープンスタンダードと高度なテストおよび検証技術を用いることで、Linuxプラットフォームの高い信頼性と互換性を確保し、その普及を促進することです。
並列分散コンピューティングのコンピテンスセンター ：このセンターの目標は、ロシアの組織の教育、研究、生産活動の分野における並列分散コンピューティングの利用を大幅に増加させることです。[ 11 ]
北緯55度44分42秒、東経37度39分52秒/北緯55.7450度、東経37.6645度/北緯55.7450度、東経37.6645度