特異点RDK システムの革新による信頼できるシステムの構築に焦点を当てた研究プロジェクト
今すぐダウンロード

特異点RDK ランキングとまとめ

特異点RDK タグ

プロトタイプ L-Systemsを編集します Lシステム 測定システム 問題解決システム 方程式のシステム システム マルチコアシステム 研究開発キット プロトタイプOS ソフトウェア絶縁プロセス RDK 特異点 賭けシステム 冷却システム 知能システムを開発 システムサービス 安全性の重要なシステム 複雑なシステム研究 ODES統合のシステム プロセスLindenmeyerシステム ノンストップシステム 数値Pシステムをシミュレートします 数値Pシステムシミュレータ 数値Pシステムを分析します 連続状態システム POSシステム 通信システム システムツール ツールシステム ディスプレイシステム HRシステム 編集システム ホイーリングシステム システムユーティリティ サイネージシステム 義務システムの課程 システムアプローチ

特異点RDK 説明

RDKという名前は研究開発キットを表します。 特異点は、システム、言語、およびツールの分野における革新を通じて信頼できるシステムの構築に焦点を当てた研究プロジェクトです。私たちは研究オペレーティングシステムのプロトタイプ（特異点と呼ばれる）を構築し、プログラミング言語の拡張、プログラムの動作を指定し検証するための新しいテクニックとツールの開発です。 言語、コンパイラ、およびツールの進歩は、ソフトウェアを点火する可能性を発揮します。たとえば、特異点はタイプの安全な言語と抽象命令セットを使用して、ソフトウェア分離プロセス（SIPS）を呼び出すことができます。 SIPSは、ハードウェア強制保護ドメインのオーバーヘッドなしに、OSプロセス（分離オブジェクトスペース、別々のGCS、別々のランタイム）の強力な絶縁保証を提供します。現在の特異性プロトタイプのSIPSは非常に安いです。それらはカーネルのアドレス空間でリング0で動作します。 特異点はこれらの進歩を使用して、より信頼性の高いシステムとアプリケーションを構築します。たとえば、SIPSが作成して適用するためにSIPSが安価であるため、特異点は各プログラム、デバイスドライバ、またはシステム拡張機能を独自のSIPに実行します。 SIPSはメモリを共有することも、独自のコードを変更することはできません。その結果、SIPで実行されているコードについて強力な信頼性が保証されます。 従来のOSプロセスで実行されているコードのために実行できるよりも、コンパイルまたはインストール時のSIPに関するはるかに幅広いプロパティを確認できます。静的検証のより広範な適用は、システムの行動を予測し、信頼性について強力な保証を有するユーザーの提供にとって重要です。

特異点RDK 関連ソフトウェア