Fugu-MT 論文翻訳(概要): Verification and Validation of Autonomous Systems

論文の概要: Verification and Validation of Autonomous Systems

arxiv url: http://arxiv.org/abs/2411.13614v1
Date: Wed, 20 Nov 2024 05:36:22 GMT
ステータス: 翻訳完了
システム内更新日: 2024-11-22 15:20:41.652611
Title: Verification and Validation of Autonomous Systems
Title（参考訳）: 自律システムの検証と検証
Authors: Sneha Sudhir Shetiya, Vikas Vyas, Shreyas Renukuntla,
Abstract要約: 本稿では,自動運転車におけるソフトウェア欠陥の防止方法について述べる。また、ソフトウェア製品開発フェーズにおいて、より高いレベルの保証を作成する方法についても説明している。
参考スコア（独自算出の注目度）: 0.0
License:
Abstract: This paper describes how to proficiently prevent software defects in autonomous vehicles, discover and correct defects if they are encountered, and create a higher level of assurance in the software product development phase. It also describes how to ensure high assurance on software reliability.
Abstract（参考訳）: 本稿では、自動運転車のソフトウェア欠陥を十分に防止し、遭遇した場合に欠陥を発見し、修正し、ソフトウェア製品開発フェーズにおいて高いレベルの保証を作成する方法について述べる。また、ソフトウェア信頼性の保証を確保する方法についても説明している。

関連論文リスト

Key Safety Design Overview in AI-driven Autonomous Vehicles [0.0]
高いレベルの機能的安全性と堅牢なソフトウェア設計を維持することが不可欠です。本稿では,自動車用ソフトウェアとハードウェアに必要な安全アーキテクチャと系統的アプローチについて検討する。
論文参考訳（メタデータ） (2024-12-12T01:48:45Z)
The Impact of SBOM Generators on Vulnerability Assessment in Python: A Comparison and a Novel Approach [56.4040698609393]
Software Bill of Materials (SBOM) は、ソフトウェア構成における透明性と妥当性を高めるツールとして推奨されている。現在のSBOM生成ツールは、コンポーネントや依存関係を識別する際の不正確さに悩まされることが多い。提案するPIP-sbomは,その欠点に対処する新しいピップインスパイアされたソリューションである。
論文参考訳（メタデータ） (2024-09-10T10:12:37Z)
FRAMER/Miu: Tagged Pointer-based Capability and Fundamental Cost of Memory Safety & Coherence (Position Paper) [0.0]
研究者はパフォーマンス、検出カバレッジ、相互運用性、精度、検出タイミングのトレードオフを行う。本研究は,スタンドアロンソフトウェアソリューションと将来のハードウェア設計のためのプロトタイプとして,タグ付きポインタベースの機能システムを提案する。
論文参考訳（メタデータ） (2024-08-27T17:31:26Z)
Employing Software Diversity in Cloud Microservices to Engineer Reliable and Performant Systems [2.412158290827225]
本研究は,システムの信頼性と性能を同時に向上するために,ソフトウェアの多様性を活用することを提案する。私たちの仕事の土台は信頼性基準の導出です。目標は、より信頼性の高いバージョンに対して、可能な限り多くのバージョンを保存しながら、より高いレプリカ数を維持することである。
論文参考訳（メタデータ） (2024-07-10T00:34:39Z)
Agent-Driven Automatic Software Improvement [55.2480439325792]
本提案は,Large Language Models (LLMs) を利用したエージェントの展開に着目して,革新的なソリューションの探求を目的とする。継続的学習と適応を可能にするエージェントの反復的性質は、コード生成における一般的な課題を克服するのに役立ちます。我々は,これらのシステムにおける反復的なフィードバックを用いて,エージェントの基盤となるLLMをさらに微調整し,自動化されたソフトウェア改善のタスクに整合性を持たせることを目指している。
論文参考訳（メタデータ） (2024-06-24T15:45:22Z)
Using rule engine in self-healing systems and MAPE model [0.0]
本研究では,ルールエンジンを用いた故障修復手法を提案する。 mRUBISのシミュレーションにより,本手法は運用環境において効率がよいことを示した。これにより、失敗の反響を減らし、デジタル技術への信頼を高めます。
論文参考訳（メタデータ） (2024-02-18T13:03:11Z)
SUPERNOVA: Automating Test Selection and Defect Prevention in AAA Video Games Using Risk Based Testing and Machine Learning [62.997667081978825]
従来の手法では、成長するソフトウェアシステムではスケールできないため、ビデオゲームのテストはますます難しいタスクになります。自動化ハブとして機能しながら,テスト選択と欠陥防止を行うシステム SUPERNOVA を提案する。この直接的な影響は、未公表のスポーツゲームタイトルの55%以上のテスト時間を減らすことが観察されている。
論文参考訳（メタデータ） (2022-03-10T00:47:46Z)
Learning Robust Output Control Barrier Functions from Safe Expert Demonstrations [50.37808220291108]
本稿では,専門家によるデモンストレーションの部分的な観察から,安全な出力フィードバック制御法を考察する。まず,安全性を保証する手段として,ロバスト出力制御バリア関数(ROCBF)を提案する。次に、安全なシステム動作を示す専門家による実証からROCBFを学習するための最適化問題を定式化する。
論文参考訳（メタデータ） (2021-11-18T23:21:00Z)
Sample-Efficient Safety Assurances using Conformal Prediction [57.92013073974406]
早期警戒システムは、安全でない状況が差し迫ったときに警告を提供することができる。安全性を確実に向上させるためには、これらの警告システムは証明可能な偽陰性率を持つべきである。本稿では,共形予測と呼ばれる統計的推論手法とロボット・環境力学シミュレータを組み合わせたフレームワークを提案する。
論文参考訳（メタデータ） (2021-09-28T23:00:30Z)
Pointwise Feasibility of Gaussian Process-based Safety-Critical Control under Model Uncertainty [77.18483084440182]
制御バリア関数(CBF)と制御リアプノフ関数(CLF)は、制御システムの安全性と安定性をそれぞれ強化するための一般的なツールである。本稿では, CBF と CLF を用いた安全クリティカルコントローラにおいて, モデル不確実性に対処するためのガウスプロセス(GP)に基づくアプローチを提案する。
論文参考訳（メタデータ） (2021-06-13T23:08:49Z)
Formal Verification of End-to-End Learning in Cyber-Physical Systems: Progress and Challenges [7.955313479061443]
コンピュータチェックによる正式な正当性を構築することで、自律システムの安全性を確保することができるかもしれない。本稿では,既存の形式的検証手法に基づく3つの仮定について述べる。形式的検証による証拠の強度向上に向けた予備的な研究を要約する。
論文参考訳（メタデータ） (2020-06-15T16:50:47Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。