論文の概要: Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-learned
- arxiv url: http://arxiv.org/abs/2404.12035v1
- Date: Thu, 18 Apr 2024 09:42:24 GMT
- ステータス: 処理完了
- システム内更新日: 2024-04-19 12:51:17.609595
- Title: Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-learned
- Title（参考訳）: 無人航空機の監視 - 仕様, 統合, 教訓-
- Authors: Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Löhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens,
- Abstract要約: 本稿では,Volocopterの設計した完全電動航空機へのランタイム監視の統合について報告する。
モニターの正確な操作は、航空機の安全のために重要である。
ストリームベースのモニタリングフレームワークであるRTLolaを使って、さまざまな要求に対してモニタを生成しました。
- 参考スコア（独自算出の注目度）: 3.2248482136498433
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: This paper reports on the integration of runtime monitoring into fully-electric aircraft designed by Volocopter, a German aircraft manufacturer of electric multi-rotor helicopters. The runtime monitor recognizes hazardous situations and system faults. Since the correct operation of the monitor is critical for the safety of the aircraft, the development of the monitor must follow strict aeronautical standards. This includes the integration of the monitor into different development environments, such as log-file analysis, hardware/software-in-the-loop testing, and test flights. We have used the stream-based monitoring framework RTLola to generate monitors for a range of requirements. In this paper, we present representative monitoring specifications and our lessons learned from integrating the generated monitors. Our main finding is that the specification and the integration need to be decoupled, because the specification remains stable throughout the development process, whereas the different development stages require a separate integration of the monitor into each environment. We achieve this decoupling with a novel abstraction layer in the monitoring framework that adapts the monitor to each environment without affecting the core component generated from the specification. The decoupling of the integration has also allowed us to react quickly to the frequent changes in the hardware and software environment of the monitor due to the fast-paced development of the aircraft in a startup company.
- Abstract（参考訳）: 本稿では,ドイツの航空機メーカーであるVolocopterが設計した完全電動機へのランタイム監視の統合について報告する。
ランタイムモニタは、危険な状況とシステム障害を認識する。
モニターの正確な操作は航空機の安全のために重要であるため、モニターの開発は厳格な航空基準に従う必要がある。
これには、ログファイル分析、ハードウェア/ソフトウェア・イン・ザ・ループテスト、テスト飛行など、さまざまな開発環境へのモニタの統合が含まれている。
ストリームベースのモニタリングフレームワークであるRTLolaを使って、さまざまな要求に対してモニタを生成しました。
本稿では,代表的なモニタリング仕様と,生成したモニタの統合から学んだ教訓について述べる。
私たちの主な発見は、仕様と統合を分離する必要があるということです。なぜなら、仕様は開発プロセスを通して安定していますが、異なる開発段階では、それぞれの環境にモニターを別々に統合する必要があります。
この分離は、監視フレームワークにおいて、仕様から生成されたコアコンポーネントに影響を与えることなく、各環境にモニタを適応させる新しい抽象化レイヤとの分離を実現する。
統合の分離により、スタートアップ企業における航空機の急激な開発により、モニターのハードウェアとソフトウェア環境の頻繁な変化に迅速に対応できるようになりました。
関連論文リスト
- Runtime Verification via Rational Monitor with Imperfect Information [2.7323347531070974]
従来の検証では完全な情報を前提としており、監視コンポーネントがすべてを正確に認識している。
この仮定は、特に実環境で動作する自律システムでは、しばしば失敗する。
我々は、リニア時間論理特性の標準RVを拡張し、モニターが不完全な情報を持ち、合理的に振る舞うシナリオに対応する。
論文 参考訳（メタデータ） (2024-08-21T13:56:06Z) - Learning Run-time Safety Monitors for Machine Learning Components [8.022333445774382]
本稿では、劣化データセットと機械学習を用いて、機械学習コンポーネントの安全モニタを作成するプロセスを紹介する。
作成した安全モニタは、MLコンポーネントと並行してASにデプロイされ、モデル出力に関連する安全リスクの予測を提供する。
論文 参考訳（メタデータ） (2024-06-23T21:25:06Z) - MTMMC: A Large-Scale Real-World Multi-Modal Camera Tracking Benchmark [63.878793340338035]
マルチターゲットマルチカメラトラッキングは、複数のカメラからのビデオストリームを使用して個人を特定し、追跡する重要なタスクである。
このタスクの既存のデータセットは、制御されたカメラネットワーク設定内で合成または人工的に構築される。
我々は16台のマルチモーダルカメラで2つの異なる環境でキャプチャされた長いビデオシーケンスを含む実世界の大規模データセットであるMTMMCを紹介する。
論文 参考訳（メタデータ） (2024-03-29T15:08:37Z) - Real-time Multi-modal Object Detection and Tracking on Edge for
Regulatory Compliance Monitoring [8.990839181608505]
飛行時間とRGBカメラを用いたリアルタイムマルチモーダルセンシングシステムを提案する。
これにより、継続的なオブジェクト追跡が記録保持の効率を高め、手作業による介入を最小限にすることができる。
論文 参考訳（メタデータ） (2023-10-05T06:31:38Z) - 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) - End-to-end Tracking with a Multi-query Transformer [96.13468602635082]
マルチオブジェクトトラッキング(MOT)は、時間とともにシーン内のオブジェクトの位置、外観、アイデンティティを同時に推論する必要がある課題である。
本研究の目的は、トラッキング・バイ・ディテクト・アプローチを超えて、未知のオブジェクト・クラスに対してもよく機能するクラスに依存しないトラッキングへと移行することである。
論文 参考訳（メタデータ） (2022-10-26T10:19:37Z) - Monitoring ROS2: from Requirements to Autonomous Robots [58.720142291102135]
本稿では,構造化自然言語で記述された要件から自律ロボットのランタイムモニタを生成するための形式的アプローチの概要について述べる。
当社のアプローチでは,Fletal Requirement Elicitation Tool (FRET) とランタイム検証フレームワークであるCopilotを,Ogma統合ツールを通じて統合しています。
論文 参考訳（メタデータ） (2022-09-28T12:19:13Z) - Scalable and Real-time Multi-Camera Vehicle Detection,
Re-Identification, and Tracking [58.95210121654722]
理想化されたビデオストリームやキュレートされたビデオストリームの代わりに,リアルタイムで低解像度のCCTVを処理する,リアルタイムな都市規模のマルチカメラ車両追跡システムを提案する。
私たちの手法は、公共のリーダーボードで上位5人のパフォーマーにランク付けされています。
論文 参考訳（メタデータ） (2022-04-15T12:47:01Z) - DAE : Discriminatory Auto-Encoder for multivariate time-series anomaly
detection in air transportation [68.8204255655161]
識別オートエンコーダ(DAE)と呼ばれる新しい異常検出モデルを提案する。
通常のLSTMベースのオートエンコーダのベースラインを使用するが、いくつかのデコーダがあり、それぞれ特定の飛行フェーズのデータを取得する。
その結果,DAEは精度と検出速度の両方で良好な結果が得られることがわかった。
論文 参考訳（メタデータ） (2021-09-08T14:07:55Z) - Monitoring electrical systems data-network equipment by means ofFuzzy
and Paraconsistent Annotated Logic [0.0]
本稿では,電気システムにおけるデータネットワーク機器の状態をモニタリングするエキスパートシステムのプロトタイプを開発する。
エキスパートシステムはファジィ論理とパラコントラストアノテート論理の組み合わせを定義するアルゴリズムで開発されている。
このエキスパートシステムのプロトタイプはclp500ソフトウェアを備えた仮想サーバにインストールされた。
論文 参考訳（メタデータ） (2021-05-17T02:33:45Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。