論文の概要: System-Level Isolation for Mixed-Criticality RISC-V SoCs: A "World" Reality Check
- arxiv url: http://arxiv.org/abs/2602.05002v1
- Date: Wed, 04 Feb 2026 19:39:56 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-02-06 18:49:08.593933
- Title: System-Level Isolation for Mixed-Criticality RISC-V SoCs: A "World" Reality Check
- Title(参考訳): 混合臨界RISC-V SoCのシステムレベル分離:「世界」現実チェック
- Authors: Luis Cunha, Jose Martins, Manuel Rodriguez, Tiago Gomes, Sandro Pinto, Uwe Moslehner, Kai Dieffenbach, Glenn Farrall, Kajetan Nuernberger, Thomas Roecker,
- Abstract要約: RISC-V International が提案するハードウェアアイソレーションプリミティブの比較分析を行った。
以上の結果から,ワールドベースのチェッカーは,設定に依存しないアクセス遅延を導入し,最悪の場合の遅延を低減できることがわかった。
すべての成果物をオープンソースとして公開し、RISC-V仕様の進化と批准に直接貢献することを期待しています。
- 参考スコア(独自算出の注目度): 6.496971253444254
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: As RISC-V adoption accelerates, domains such as automotive, the Internet of Things (IoT), and industrial control are attracting growing attention. These domains are subject to stringent Size, Weight, Power, and Cost (SWaP-C) constraints, which have driven a shift toward heterogeneous Systems-on-Chip (SoCs) integrating general-purpose CPUs, tightly coupled accelerators, and diverse I/O devices with different integrity levels. While such integration improves cost efficiency and performance, it introduces a fundamental safety and security challenge: enforcing system-level isolation in mixed-criticality environments. Although RISC-V International has proposed several hardware isolation primitives, including RISC-V Worlds, IOPMP, and SmMTT, their interoperability, scalability, and suitability for real-time systems remain insufficiently understood. In this paper, we present a comparative analysis of these primitives from the perspective of practical heterogeneous SoC designs. We implement an IOPMP, a World-based checker, and a modified RISC-V World checker that addresses key limitations of the baseline specification, and evaluate their trade-offs in terms of security guarantees and power-performance-area (PPA). Our results show that the World-based checker introduces a fixed, configuration-independent access latency, achieving lower worst-case delay than the evaluated alternatives while scaling predictably with system size. At the macro level, we estimate that the proposed modifications reduce SoC area by up to approximately 5% compared to a baseline design. All artifacts will be released as open source, and we expect these findings to directly contribute to the evolution and ratification of RISC-V specifications, as well as to the design of future RISC-V SoCs.
- Abstract(参考訳): RISC-Vの採用が加速するにつれ、自動車やIoT(Internet of Things)、産業制御といった領域が注目されている。
これらのドメインは厳密なサイズ、重量、電力、コスト(SWaP-C)の制約を受けており、汎用CPU、密結合されたアクセラレータ、さまざまな整合性レベルを持つ多様なI/Oデバイスを統合した異種システムオンチップ(SoC)へのシフトを引き起こしている。
このような統合によってコスト効率とパフォーマンスが向上する一方で、システムレベルの分離を混合臨界環境で実施するという、基本的な安全性とセキュリティの課題がもたらされる。
RISC-V InternationalはRISC-V Worlds、IOPMP、SmMTTなどいくつかのハードウェア分離プリミティブを提案しているが、その相互運用性、スケーラビリティ、リアルタイムシステムへの適合性はまだ十分に理解されていない。
本稿では, 実用異種SoC設計の観点から, これらのプリミティブの比較分析を行う。
We implement an IOPMP, a World-based checker, and an modified RISC-V World checker that address key limit of the baseline specification, and the trade-offs in terms of security guarantees and power- Performance-area (PPA)。
この結果から,ワールドベースのチェッカーでは,設定に依存しないアクセスレイテンシを導入し,システムサイズに予測可能なスケーリングを行いながら,評価対象よりも最悪ケースの遅延を低く抑えることができた。
マクロレベルでは,提案した修正により,ベースライン設計と比較して最大5%のSoC面積削減が期待できる。
すべてのアーティファクトはオープンソースとして公開され、これらの発見はRISC-V仕様の進化と批准、および将来のRISC-V SoCの設計に直接貢献することを期待します。
関連論文リスト
- Advanced Machine Learning Approaches for Enhancing Person Re-Identification Performance [10.582858943067041]
人物再識別(ReID)は、複数のカメラ間でアイデンティティをリンクすることによって、インテリジェントな監視システムにおいて重要な役割を果たす。
ReIDは外見の変化、ドメインシフト、ラベル付きデータ制限といった大きな課題に直面している。
この論文では、教師付き非教師付きドメイン適応(UDA)および完全に教師なし設定下でのReID性能を向上させるための3つの高度なアプローチを提案する。
論文 参考訳(メタデータ) (2026-01-04T03:55:59Z) - When UAV Swarm Meets IRS: Collaborative Secure Communications in Low-altitude Wireless Networks [68.45202147860537]
低高度無線ネットワーク (LAWN) は、多様なアプリケーションに対して、拡張されたカバレッジ、信頼性、スループットを提供する。
これらのネットワークは、既知のおよび潜在的に未知の盗聴者の両方から重大なセキュリティ上の脆弱性に直面している。
本稿では,Swarm内で選択されたUAVを仮想アンテナアレイとして機能させる,LAWNのための新しいセキュア通信フレームワークを提案する。
論文 参考訳(メタデータ) (2025-10-25T02:02:14Z) - End-to-End Co-Simulation Testbed for Cybersecurity Research and Development in Intelligent Transportation Systems [5.804791448287085]
本章では,3次元環境とセンサモデリングのためのCARLA,顕微鏡交通シミュレーションと制御のためのSUMO,V2X通信シミュレーションのためのOMNeT++を結合した複合シミュレーションテストベッドについて論じる。
共同シミュレーションテストベッドは、エンドツーエンドの実験、脆弱性の識別、緩和ベンチマークを可能にする。
この章は、その能力を説明するために、量子後暗号で強化されたC-V2X能動的安全警報システムに関するケーススタディを含む。
論文 参考訳(メタデータ) (2025-09-20T01:21:54Z) - SVAgent: AI Agent for Hardware Security Verification Assertion [19.443845373891044]
本稿では,革新的なSVA自動生成フレームワークであるSVAgentを提案する。
SVAAgentは、元の複雑な要求を構造化され、徐々に解決可能な微細な問題解決チェーンに変換する。
実験により、SVAgentは幻覚やランダムな答えの影響を効果的に抑制できることが示された。
論文 参考訳(メタデータ) (2025-07-22T03:36:06Z) - Backscatter Device-aided Integrated Sensing and Communication: A Pareto Optimization Framework [59.30060797118097]
統合センシング・通信(ISAC)システムは、密集した都市非視線シナリオにおいて大きな性能劣化に遭遇する可能性がある。
本稿では,自然環境に分散した受動的BDを利用した後方散乱近似(BD)支援ISACシステムを提案する。
論文 参考訳(メタデータ) (2025-07-12T17:11:06Z) - ACRIC: Securing Legacy Communication Networks via Authenticated Cyclic Redundancy Integrity Check [98.34702864029796]
安全クリティカルな業界における最近のセキュリティインシデントは、適切なメッセージ認証の欠如により、攻撃者が悪意のあるコマンドを注入したり、システムの振る舞いを変更することができることを明らかにした。
これらの欠点は、サイバーセキュリティを強化するために圧力をかける必要性を強調する新しい規制を引き起こしている。
我々は,レガシ産業通信をセキュアにするためのメッセージ認証ソリューションであるACRICを紹介する。
論文 参考訳(メタデータ) (2024-11-21T18:26:05Z) - Securing the Open RAN Infrastructure: Exploring Vulnerabilities in Kubernetes Deployments [60.51751612363882]
ソフトウェアベースのオープン無線アクセスネットワーク(RAN)システムのセキュリティへの影響について検討する。
我々は、Near Real-Time RAN Controller(RIC)クラスタをサポートするインフラストラクチャに潜在的な脆弱性と設定ミスがあることを強調します。
論文 参考訳(メタデータ) (2024-05-03T07:18:45Z) - Effective Intrusion Detection in Heterogeneous Internet-of-Things Networks via Ensemble Knowledge Distillation-based Federated Learning [52.6706505729803]
我々は、分散化された侵入検知システムの共有モデル(IDS)を協調訓練するために、フェデレートラーニング(FL)を導入する。
FLEKDは従来のモデル融合法よりも柔軟な凝集法を実現する。
実験の結果,提案手法は,速度と性能の両面で,局所訓練と従来のFLよりも優れていた。
論文 参考訳(メタデータ) (2024-01-22T14:16:37Z) - SafeTI Traffic Injector Enhancement for Effective Interference Testing
in Critical Real-Time Systems [0.4751886527142778]
SafeTIトラフィックインジェクタがリリースされ、テスト用の同種RISC-Vマルチコアに統合された。
本稿では、高レートトラフィックインジェクションのための内部パイプライニングや、複数のインタフェースへの調整、さらにGaislerの宇宙領域技術に基づくより強力なヘテロジニアスRISC-Vマルチコアへの統合など、SafeTI上で実施されているいくつかの機能強化について紹介する。
論文 参考訳(メタデータ) (2023-07-28T09:26:50Z) - Is Vertical Logistic Regression Privacy-Preserving? A Comprehensive
Privacy Analysis and Beyond [57.10914865054868]
垂直ロジスティック回帰(VLR)をミニバッチ降下勾配で訓練した。
我々は、オープンソースのフェデレーション学習フレームワークのクラスにおいて、VLRの包括的で厳密なプライバシー分析を提供する。
論文 参考訳(メタデータ) (2022-07-19T05:47:30Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。