論文の概要: From Waterfallish Aerospace Certification onto Agile Certifiable Iterations
- arxiv url: http://arxiv.org/abs/2503.04265v1
- Date: Thu, 06 Mar 2025 09:49:57 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-03-07 16:00:59.944693
- Title: From Waterfallish Aerospace Certification onto Agile Certifiable Iterations
- Title（参考訳）: ウォーターフォールの航空認定からアジャイル認定イテレーションへ
- Authors: J. Eduardo Ferreira Ribeiro, Mário Zenha-Rela, João Gabriel Silva,
- Abstract要約: DO-178Cの要件を満たす継続的文書作成を支援する戦略とツールを提案する。
各ソフトウェアコンポーネントに関連するDO-178Cドキュメントを反復的に作成することで、真に継続的な認定可能なイテレーションへの道を開きます。
- 参考スコア（独自算出の注目度）: 0.0
- License:
- Abstract: Agile software development is becoming increasingly popular in the aerospace industry because of its capability to accommodate requirement changes. However, safety-critical domains require compliance with strict regulations such as the DO-178C avionics standard, which demands thorough documentation. The main challenge of this constraint is not the content itself, but rather the comprehensive traceability from system-level requirements to all sorts of testing and verification evidence, including who did what, when, and to which artifact. Currently, this is mostly a manual activity performed at the end of the project, which blocks efforts to agilize the development of software for aerospace applications. In this paper, we present a strategy and tools that support the generation of continuous documentation complying with DO-178C requirements. By iteratively creating the DO-178C documentation associated with each software component and seamlessly merging it with the previously generated documentation, we open the way to truly continuous certifiable iterations, an evolution from the current Waterfallish industry practice. The proposed mechanisms and tools were co-designed and validated with aerospace industry professionals, thereby confirming its applicability and usefulness. The generated artifacts show that document automation is feasible in the aerospace industry, opening the way for more widespread adoption of Agile practices in this highly regulated sector.
- Abstract（参考訳）: アジャイルソフトウェア開発は、要求の変化に対応する能力があるため、航空宇宙業界でますます人気が高まっています。
しかし、安全クリティカルなドメインは、完全なドキュメントを必要とするDO-178Cアビオニクス標準のような厳格な規則に従う必要がある。
この制約の主な課題は、コンテンツそのものではなく、システムレベルの要件から、誰が、いつ、どのアーティファクトを行ったかを含む、あらゆる種類のテストと検証エビデンスまで、包括的なトレーサビリティです。
現在、これは主にプロジェクトの終了時に行われる手動の活動であり、航空宇宙アプリケーションのためのソフトウェアの開発を改善しようとする動きを阻止している。
本稿では,DO-178C要件を満たす継続的文書作成を支援する戦略とツールを提案する。
各ソフトウェアコンポーネントに関連付けられたDO-178Cドキュメントを反復的に作成し、それを以前生成されたドキュメントとシームレスにマージすることで、私たちは、現在のウォーターフォールの産業プラクティスから進化した、真に継続的な認定可能なイテレーションへの道を開きます。
提案したメカニズムとツールは航空宇宙業界の専門家と共同設計され、その適用性と有用性を確認した。
生成された成果物は、ドキュメントの自動化が航空宇宙業界で実現可能であることを示している。
関連論文リスト
- Codev-Bench: How Do LLMs Understand Developer-Centric Code Completion? [60.84912551069379]
Code-Development Benchmark (Codev-Bench)は、細粒度で現実世界、リポジトリレベル、開発者中心の評価フレームワークです。
Codev-Agentは、リポジトリのクローリングを自動化し、実行環境を構築し、既存のユニットテストから動的呼び出しチェーンを抽出し、データ漏洩を避けるために新しいテストサンプルを生成するエージェントベースのシステムである。
論文 参考訳（メタデータ） (2024-10-02T09:11:10Z) - The Hidden Costs of Automation: An Empirical Study on GitHub Actions Workflow Maintenance [45.53834452021771]
GitHub Actions(GA)は、エンジニアリングタスクの自動実行を合理化するオーケストレーションプラットフォームである。
欠陥の修正、依存関係の更新、あるいは既存のワークフローファイルの修正には、人間の介入が必要である。
論文 参考訳（メタデータ） (2024-09-04T01:33:16Z) - Model-driven realization of IDTA submodel specifications: The good, the bad, the incompatible? [49.60138105915326]
アセット・マネジメント・シェルは産業4.0でトレンドになっている。
2024年2月、インダストリアル・デジタル・ツイン・アソシエーション (Industrial Digital Twin Association) は84と18のASサブモデル仕様を発表した。
本稿では、IDTA仕様から抽出した情報を中間メタモデルに変換し、そこからAPIコードとテストを生成するモデル駆動型アプローチを提案する。
論文 参考訳（メタデータ） (2024-06-20T16:33:46Z) - Defining and executing temporal constraints for evaluating engineering
artifact compliance [56.08728135126139]
プロセスコンプライアンスは、実際のエンジニアリング作業が記述されたエンジニアリングプロセスに可能な限り密接に従うことを保証することに焦点を当てます。
これらのプロセスの制約をチェックすることは、依然として大変な作業であり、多くの手作業を必要とし、プロセスの後半にエンジニアにフィードバックを提供する。
関連するエンジニアリングアーティファクト間の時間的制約を,アーティファクトの変更毎に段階的にチェックする,自動制約チェックアプローチを提案する。
論文 参考訳（メタデータ） (2023-12-20T13:26:31Z) - Beyond Tradition: Evaluating Agile feasibility in DO-178C for Aerospace
Software Development [0.0]
ドメイン固有の標準とガイドラインは、安全クリティカルなシステムの規制において重要な役割を担っている。
本稿では,安全クリティカルな航空宇宙システムのためのソフトウェア開発におけるDO-178C文書の分析を行う。
論文 参考訳（メタデータ） (2023-11-07T20:58:02Z) - Formal and Practical Elements for the Certification of Machine Learning
Systems [0.9217021281095907]
機械学習モデルのパラメータは、手書きではなく、物理から派生したもので、データから学習されていることを示す。
その結果、要件を直接コード行にトレースすることはできず、現在のボトムアップの航空宇宙認証パラダイムを妨げることになる。
拡張性のある統計的検証器に基づいて,提案するフレームワークは,モデルに依存しないツールに依存しない。
論文 参考訳（メタデータ） (2023-10-05T00:20:59Z) - A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis [54.959571890098786]
システム仕様を符号化し、対応する証明書を定義するためのフレームワークを提供する。
コントローラと証明書を形式的に合成する自動化手法を提案する。
我々のアプローチは、ニューラルネットワークの柔軟性を利用して、制御のための安全な学習の幅広い分野に寄与する。
論文 参考訳（メタデータ） (2023-09-12T09:37:26Z) - Quality Engineering for Agile and DevOps on the Cloud and Edge [0.8521132000449767]
ソフトウェアデリバリはこれまで以上にアジャイルでなければなりません。
この本は、アジャイル開発サイクル全体を通して、品質工学を効果的に組み込む必要性について論じている。
論文 参考訳（メタデータ） (2023-02-07T18:03:38Z) - Lessons from Formally Verified Deployed Software Systems (Extended version) [65.69802414600832]
本稿は、正式に認証されたシステムを作成し、実際に使用するためにデプロイした各種のアプリケーション分野のプロジェクトについて検討する。
使用する技術、適用の形式、得られた結果、そしてソフトウェア産業が形式的な検証技術やツールの恩恵を受ける能力について示すべき教訓を考察する。
論文 参考訳（メタデータ） (2023-01-05T18:18:46Z) - A Brief Survey of Current Software Engineering Practices in Continuous
Integration and Automated Accessibility Testing [0.0]
本稿では,継続的統合によるアクセシビリティ向上に費やされたソフトウェアエンジニアリングの現在の状況について考察する。
また、アクセシビリティテストの実装方法について、アジャイルチームがメンバを訓練するために必要なステップについても検討しています。
論文 参考訳（メタデータ） (2021-02-27T01:13:43Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。