論文の概要: FREPA: An Automated and Formal Approach to Requirement Modeling and
Analysis in Aircraft Control Domain
- arxiv url: http://arxiv.org/abs/2306.01260v1
- Date: Fri, 2 Jun 2023 04:01:56 GMT
- ステータス: 処理完了
- システム内更新日: 2023-10-24 04:43:15.904492
- Title: FREPA: An Automated and Formal Approach to Requirement Modeling and
Analysis in Aircraft Control Domain
- Title（参考訳）: FREPA:航空機制御領域における要求モデリングと分析の自動化と形式的アプローチ
- Authors: Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng
Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He
- Abstract要約: 航空機の形式的要求工学プラットフォーム(FREPA)は、過去8年間にアカデミーと産業がシームレスに連携した成果である。
7つの実空間ジェスチャー制御系と2つの航空エンジン制御系にFREPAを採用した。
また、航空・航空プロジェクトにおけるFREPAの使用経験と教訓についても論じる。
- 参考スコア（独自算出の注目度）: 19.993737935805957
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Formal methods are promising for modeling and analyzing system requirements.
However, applying formal methods to large-scale industrial projects is a
remaining challenge. The industrial engineers are suffering from the lack of
automated engineering methodologies to effectively conduct precise requirement
models, and rigorously validate and verify (V&V) the generated models. To
tackle this challenge, in this paper, we present a systematic engineering
approach, named Formal Requirement Engineering Platform in Aircraft (FREPA),
for formal requirement modeling and V\&V in the aerospace and aviation control
domains. FREPA is an outcome of the seamless collaboration between the academy
and industry over the last eight years. The main contributions of this paper
include 1) an automated and systematic engineering approach FREPA to construct
requirement models, validate and verify systems in the aerospace and aviation
control domain, 2) a domain-specific modeling language AASRDL to describe the
formal specification, and 3) a practical FREPA-based tool AeroReq which has
been used by our industry partners. We have successfully adopted FREPA to seven
real aerospace gesture control and two aviation engine control systems. The
experimental results show that FREPA and the corresponding tool AeroReq
significantly facilitate formal modeling and V&V in the industry. Moreover, we
also discuss the experiences and lessons gained from using FREPA in aerospace
and aviation projects.
- Abstract（参考訳）: 形式的手法はシステム要件のモデリングと分析に有効である。
しかし、大規模産業プロジェクトへの形式的手法の適用は依然として課題である。
工業技術者は、正確な要求モデルを効果的に実行し、生成されたモデル(V&V)を厳格に検証し、検証する自動化工学手法が欠如している。
この課題に対処するため,本論文では,航空・航空制御領域における正式な要求モデリングとV\&Vのための,FREPA(Formal Requirement Engineering Platform in Aircraft)というシステム工学アプローチを提案する。
FREPAは、過去8年間のアカデミーと業界間のシームレスなコラボレーションの結果です。
この論文の主な貢献は
1) 航空・航空制御領域における要件モデルの構築、検証及びシステム検証のための自動的かつ体系的な工学的アプローチFREPA
2) 形式仕様を記述するためのドメイン固有モデリング言語AASRDL、及び
3) FREPAベースの実用的なツールであるAeroReqは,我々の業界パートナーによって使用されている。
7つの実空間ジェスチャー制御と2つの航空エンジン制御系にFREPAを採用した。
実験の結果,FREPAと対応するAeroReqは,業界におけるフォーマルなモデリングとV&Vを著しく促進することがわかった。
また,航空・航空プロジェクトにおいてfrepaを用いた経験と教訓についても述べる。
関連論文リスト
- The Role of XAI in Transforming Aeronautics and Aerospace Systems [1.8528695854862998]
本稿では,XAIの概念とその目的について概観する。
本稿は、その内部で定義されたモデルの種類と、それらのモデルが満たさなければならない特性について論じる。
航空・航空宇宙分野における様々な応用分野が紹介され、AIシステムやモデルの機能を理解するためにXAIがこれらの分野でどのように使われているかが強調される。
論文 参考訳（メタデータ） (2024-12-23T10:02:17Z) - Search, Verify and Feedback: Towards Next Generation Post-training Paradigm of Foundation Models via Verifier Engineering [51.31836988300326]
検証工学は、基礎モデルの時代のために特別に設計された新しいポストトレーニングパラダイムである。
検証工学のプロセスは,検索,検証,フィードバックの3段階に分類する。
論文 参考訳（メタデータ） (2024-11-18T12:04:52Z) - Integrated Modeling, Verification, and Code Generation for Unmanned Aerial Systems [10.292890852621346]
無人航空システム(UAS)は、産業生産、軍事作戦、災害救助などの安全上重要な分野で広く利用されている。
本稿では,UASのモデリング,検証,コード生成に対する統合的なアプローチを検討することを目的とする。
論文 参考訳（メタデータ） (2024-06-13T14:53:40Z) - Forging Vision Foundation Models for Autonomous Driving: Challenges,
Methodologies, and Opportunities [59.02391344178202]
ビジョンファウンデーションモデル(VFM)は、幅広いAIアプリケーションのための強力なビルディングブロックとして機能する。
総合的なトレーニングデータの不足、マルチセンサー統合の必要性、多様なタスク固有のアーキテクチャは、VFMの開発に重大な障害をもたらす。
本稿では、自動運転に特化したVFMを鍛造する上で重要な課題について述べるとともに、今後の方向性を概説する。
論文 参考訳（メタデータ） (2024-01-16T01:57:24Z) - An Integrated Imitation and Reinforcement Learning Methodology for
Robust Agile Aircraft Control with Limited Pilot Demonstration Data [3.3748750222488657]
本稿では,アジャイル航空機のデータ駆動操作生成モデルの構築手法を提案する。
提案手法は, 模倣学習, 伝達学習, 強化学習の技法を組み合わせて, この目的を達成する。
論文 参考訳（メタデータ） (2023-12-27T14:26:34Z) - Runway Sign Classifier: A DAL C Certifiable Machine Learning System [4.012351415340318]
本稿では,空港標識の検出・分類にディープニューラルネットワーク(DNN)を用いた航空機システムの事例研究を行う。
DAL Cを実現するために、冗長かつ異種な2つのDNNを含む確立されたアーキテクチャ緩和手法を用いる。
この研究は、MLベースのシステムの認定課題が、中程度臨界航空機アプリケーションにどのように対処できるかを説明することを目的としている。
論文 参考訳（メタデータ） (2023-10-10T10:26:30Z) - Formal and Practical Elements for the Certification of Machine Learning
Systems [0.9217021281095907]
機械学習モデルのパラメータは、手書きではなく、物理から派生したもので、データから学習されていることを示す。
その結果、要件を直接コード行にトレースすることはできず、現在のボトムアップの航空宇宙認証パラダイムを妨げることになる。
拡張性のある統計的検証器に基づいて,提案するフレームワークは,モデルに依存しないツールに依存しない。
論文 参考訳（メタデータ） (2023-10-05T00:20:59Z) - Enabling Automated Machine Learning for Model-Driven AI Engineering [60.09869520679979]
モデル駆動型ソフトウェアエンジニアリングとモデル駆動型AIエンジニアリングを実現するための新しいアプローチを提案する。
特に、私たちはAutomated MLをサポートし、AI集約システムの開発において、AIの深い知識のないソフトウェアエンジニアを支援します。
論文 参考訳（メタデータ） (2022-03-06T10:12:56Z) - Validate and Enable Machine Learning in Industrial AI [47.20869253934116]
産業用AIは、より効率的な将来の産業用制御システムを約束する。
Petuum Optimumシステムは、AIモデルの作成とテストの課題を示す例として使用される。
論文 参考訳（メタデータ） (2020-10-30T20:33:05Z) - Data-Driven Aerospace Engineering: Reframing the Industry with Machine
Learning [49.367020832638794]
航空宇宙産業は、ビッグデータと機械学習を収益化しようとしている。
最近のトレンドは、設計、製造、検証、サービスにおける重要な課題の文脈で検討される。
論文 参考訳（メタデータ） (2020-08-24T22:40:26Z) - Towards CRISP-ML(Q): A Machine Learning Process Model with Quality
Assurance Methodology [53.063411515511056]
本稿では,機械学習アプリケーション開発のためのプロセスモデルを提案する。
第1フェーズでは、データの可用性がプロジェクトの実現可能性に影響を与えることが多いため、ビジネスとデータの理解が結合されます。
第6フェーズでは、機械学習アプリケーションの監視とメンテナンスに関する最先端のアプローチがカバーされている。
論文 参考訳（メタデータ） (2020-03-11T08:25:49Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。