論文の概要: Complete Agent-driven Model-based System Testing for Autonomous Systems
- arxiv url: http://arxiv.org/abs/2110.12586v1
- Date: Mon, 25 Oct 2021 01:55:24 GMT
- ステータス: 処理完了
- システム内更新日: 2021-10-27 07:08:09.362355
- Title: Complete Agent-driven Model-based System Testing for Autonomous Systems
- Title（参考訳）: 自律システムのためのエージェント駆動モデルに基づく完全システムテスト
- Authors: Kerstin I. Eder (Department of Computer Science, University of
Bristol, United Kingdom), Wen-ling Huang (Department of Mathematics &
Computer Science, University of Bremen, Germany), Jan Peleska (Department of
Mathematics & Computer Science, University of Bremen, Germany)
- Abstract要約: 複雑な自律輸送システムをテストするための新しいアプローチについて述べる。
検証と検証に関して最も重大な問題のいくつかを軽減することを目的としている。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: In this position paper, a novel approach to testing complex autonomous
transportation systems (ATS) in the automotive, avionic, and railway domains is
described. It is intended to mitigate some of the most critical problems
regarding verification and validation (V&V) effort for ATS. V&V is known to
become infeasible for complex ATS, when using conventional methods only. The
approach advocated here uses complete testing methods on the module level,
because these establish formal proofs for the logical correctness of the
software. Having established logical correctness, system-level tests are
performed in simulated cloud environments and on the target system. To give
evidence that 'sufficiently many' system tests have been performed with the
target system, a formally justified coverage criterion is introduced. To
optimise the execution of very large system test suites, we advocate an online
testing approach where multiple tests are executed in parallel, and test steps
are identified on-the-fly. The coordination and optimisation of these
executions is achieved by an agent-based approach. Each aspect of the testing
approach advocated here is shown to either be consistent with existing
standards for development and V&V of safety-critical transportation systems, or
it is justified why it should become acceptable in future revisions of the
applicable standards.
- Abstract（参考訳）: 本稿では,自動車,航空,鉄道分野における複雑な自律輸送システム(ATS)の試験手法について述べる。
ATSの検証と検証(V&V)に関する最も重要な問題を緩和することを目的としている。
V&Vは、従来の方法のみを使用すると、複雑なATSでは利用できないことが知られている。
ここで提唱されるアプローチは、ソフトウェアの論理的正当性に関する形式的証明を確立するため、モジュールレベルでの完全なテスト手法を使用する。
論理的正当性を確立したシステムレベルのテストは、シミュレーションされたクラウド環境およびターゲットシステム上で実行される。
対象システムで「十分多くの」システムテストが行われたことを示すため、正式に正当化されたカバレッジ基準を導入する。
非常に大規模なシステムテストスイートの実行を最適化するために、複数のテストが並列に実行されるオンラインテストアプローチを提案し、テストステップをオンザフライで特定する。
これらの実行の調整と最適化はエージェントベースのアプローチによって達成される。
ここで提唱されているテストアプローチのそれぞれの側面は、安全クリティカルな輸送システムの既存の開発標準とv&vと一致しているか、または、適用可能な標準の今後の改訂において受け入れられるべき理由である。
関連論文リスト
- Active Test-Time Adaptation: Theoretical Analyses and An Algorithm [51.84691955495693]
テスト時間適応(TTA)は、教師なし設定でストリーミングテストデータの分散シフトに対処する。
完全TTA設定内に能動学習を統合する能動テスト時間適応(ATTA)の新たな問題設定を提案する。
論文 参考訳（メタデータ） (2024-04-07T22:31:34Z) - Automated System-level Testing of Unmanned Aerial Systems [2.2249176072603634]
国際安全基準の主な要件は、アビオニクスソフトウェアシステムの厳格なシステムレベルのテストを実行することである。
提案したアプローチ(AITester)は、モデルベースのテストと人工知能(AI)技術を使用して、さまざまなテストシナリオを自動生成、実行、評価する。
論文 参考訳（メタデータ） (2024-03-23T14:47:26Z) - Towards Reliable AI: Adequacy Metrics for Ensuring the Quality of
System-level Testing of Autonomous Vehicles [5.634825161148484]
我々は、"Test suite Instance Space Adequacy"(TISA)メトリクスと呼ばれる一連のブラックボックステストの精度指標を紹介します。
TISAメトリクスは、テストスイートの多様性とカバレッジと、テスト中に検出されたバグの範囲の両方を評価する手段を提供する。
AVのシステムレベルのシミュレーションテストにおいて検出されたバグ数との相関を検証し,TISA測定の有効性を評価する。
論文 参考訳（メタデータ） (2023-11-14T10:16:05Z) - DARTH: Holistic Test-time Adaptation for Multiple Object Tracking [87.72019733473562]
複数物体追跡(MOT)は、自律運転における知覚システムの基本的構成要素である。
運転システムの安全性の追求にもかかわらず、テスト時間条件における領域シフトに対するMOT適応問題に対する解決策は提案されていない。
我々はMOTの総合的なテスト時間適応フレームワークであるDARTHを紹介する。
論文 参考訳（メタデータ） (2023-10-03T10:10:42Z) - Simulation-based Safety Assurance for an AVP System incorporating
Learning-Enabled Components [0.6526824510982802]
テスト、検証、検証 AD/ADASセーフティクリティカルなアプリケーションが大きな課題のひとつとして残っています。
安全クリティカルな学習可能システムの検証と検証を目的としたシミュレーションベースの開発プラットフォームについて説明する。
論文 参考訳（メタデータ） (2023-09-28T09:00:31Z) - Benchmarking Test-Time Adaptation against Distribution Shifts in Image
Classification [77.0114672086012]
テスト時間適応(TTA)は、予測時にのみラベルのないサンプルを活用することにより、モデルの一般化性能を向上させる技術である。
本稿では,広く使用されている5つの画像分類データセット上で,13のTTA手法とその変種を体系的に評価するベンチマークを提案する。
論文 参考訳（メタデータ） (2023-07-06T16:59:53Z) - A Requirements-Driven Platform for Validating Field Operations of Small
Uncrewed Aerial Vehicles [48.67061953896227]
DroneReqValidator (DRV)は、sUAS開発者が運用コンテキストを定義し、複数のsUASミッション要件を設定し、安全性特性を指定し、独自のsUASアプリケーションを高忠実な3D環境にデプロイすることを可能にする。
DRVモニタリングシステムは、sUASと環境からランタイムデータを収集し、安全特性のコンプライアンスを分析し、違反をキャプチャする。
論文 参考訳（メタデータ） (2023-07-01T02:03:49Z) - On Pitfalls of Test-Time Adaptation [82.8392232222119]
TTA(Test-Time Adaptation)は、分散シフトの下で堅牢性に取り組むための有望なアプローチとして登場した。
TTABは,10の最先端アルゴリズム,多種多様な分散シフト,および2つの評価プロトコルを含むテスト時間適応ベンチマークである。
論文 参考訳（メタデータ） (2023-06-06T09:35:29Z) - Robust Continual Test-time Adaptation: Instance-aware BN and
Prediction-balanced Memory [58.72445309519892]
テストデータストリーム以外のデータストリームに対して堅牢な新しいテスト時間適応方式を提案する。
a)分布外サンプルの正規化を修正するIABN(Instance-Aware Batch Normalization)と、(b)クラスバランスのない方法で非i.d.ストリームからのデータストリームをシミュレートするPBRS(Predict- Balanced Reservoir Sampling)である。
論文 参考訳（メタデータ） (2022-08-10T03:05:46Z) - A Survey on Scenario-Based Testing for Automated Driving Systems in
High-Fidelity Simulation [26.10081199009559]
道路上でシステムをテストすることは、現実世界と望ましいアプローチに最も近いが、非常にコストがかかる。
一般的な選択肢は、ADSのパフォーマンスを、よく設計されたシナリオ、すなわちシナリオベースのテストで評価することである。
高忠実度シミュレータはこの設定で、何のシナリオかをテストする際の柔軟性と利便性を最大化するために広く使われている。
論文 参考訳（メタデータ） (2021-12-02T03:41:33Z) - Efficient statistical validation with edge cases to evaluate Highly
Automated Vehicles [6.198523595657983]
自動運転車の大規模展開は、まだ解決されていない多くの安全上の課題にもかかわらず、差し迫っているようだ。
既存の標準は、検証が要求をカバーするテストケースのセットだけを必要とする決定論的プロセスに焦点を当てています。
本稿では, 自動生成テストケースを最悪のシナリオに偏り付け, システムの挙動の統計的特性を計算するための新しい手法を提案する。
論文 参考訳（メタデータ） (2020-03-04T04:35:22Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。