計算可能製品によるネットワークプログラミング【JST・京大機械翻訳】

Volpano Dennis

プレプリント

J-GLOBAL ID：202202214320870555 整理番号：22P0282110

計算可能製品によるネットワークプログラミング【JST・京大機械翻訳】

Network Programming via Computable Products

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (1件)：
資料名：
発行年： 2022年01月30日プレプリントサーバーでの情報更新日： 2022年01月30日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

ユーザ計画機能(UPF)は,3GPP5Gコアネットワークにネットワークサービスを提供することを目的とする。これらのサービスは,証明可能な特性で安価に需要に実装する必要がある。既存のネットワークデータプレーンプログラミング言語は,タスクまでではない。新しいソフトウェアパラダイムをUPFのために提示した。それは,システムの概念的に各構成要素が拡張有限状態機械としてモデル化され,それらの製品が検証される同時反応系のモデル検査によって触発された。そのような製品がUPFの1つの例に対してどのように計算できるか,そして,その状態不変量を推論できる方法を示し,それによって,別々に製品を正式に検証する必要がある。コードは製品から作り出され,フライ上で再生され,UPFが処理しなければならないネットワークトラフィックの確率分布に最適である。【JST・京大機械翻訳】

, , , , , , , , , , ,
, , , 【Automatic Indexing@JST】

計算機網 , 電話・データ通信・交換一般

前のページに戻る