論文の概要: CertiA360: Enhance Compliance Agility in Aerospace Software Development
- arxiv url: http://arxiv.org/abs/2511.11550v1
- Date: Fri, 14 Nov 2025 18:41:11 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-11-17 22:42:18.758134
- Title: CertiA360: Enhance Compliance Agility in Aerospace Software Development
- Title（参考訳）: CertiA360: 航空宇宙ソフトウェア開発におけるコンプライアンスアジリティの強化
- Authors: J. Antonio Dantas Macedo, Hugo Fernandes, J. Eduardo Ferreira Ribeiro,
- Abstract要約: CertiA360は、チームが要求の成熟度を改善し、トレーサビリティの変更を自動化し、規制の目的に合わせるために設計されたツールである。
このツールは航空宇宙業界の専門家との密接なコラボレーションで設計され、実際の応用と実生活の有効性を確保するために彼らのフィードバックを用いて評価された。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Agile methods are characterised by iterative and incremental processes with a strong focus on flexibility and accommodating changing requirements based on either technical, regulatory, or stakeholder feedback. However, integrating Agile methods into safety-critical system development in the aerospace industry presents substantial challenges due to its strict compliance requirements, such as those outlined in the DO-178C standard. To achieve this vision, the flexibility of Agile must align with the rigorous certification guidelines, which emphasize documentation, traceability of requirements across different levels and disciplines, and comprehensive verification and validation (V&V) activities. The research work described in this paper proposes a way of using the strengths of the flexible nature of Agile methods to automate and manage change requests throughout the whole software development lifecycle, ensuring robust traceability, regulatory compliance and ultimately facilitating successful certification. This study proposes CertiA360, a tool designed to help teams improve requirement maturity, automate the changes in traceability, and align with the regulatory objectives. The tool was designed and validated in close collaboration with aerospace industry experts, using their feedback to ensure practical application and real-life effectiveness. The feedback collected demonstrated that the automation given by CertiA360 may reduce manual effort and allow response to changing requirements while ensuring compliance with DO-178C. While the tool is not yet qualified under DO-330 (Tool Qualification), findings suggest that when tailored appropriately, Agile methods can not only coexist with the requirements of safety-system development and certification in highly regulated domains like aerospace, but also add efficiency.
- Abstract（参考訳）: アジャイルメソッドの特徴は反復的かつ漸進的なプロセスであり、技術的、規制的、またはステークホルダーのフィードバックに基づいて、柔軟性と要求の変化に強く重点を置いている。
しかしながら、アジャイルメソッドを航空宇宙業界における安全クリティカルなシステム開発に統合することは、DO-178C標準に概説されているような厳格なコンプライアンス要件のため、重大な課題を提起する。
このビジョンを達成するためには、アジャイルの柔軟性は厳格な認定ガイドラインと一致しなければなりません。ドキュメント、異なるレベルと規律にわたる要求のトレーサビリティ、包括的な検証と検証(V&V)のアクティビティを強調します。
この記事では、アジャイルメソッドの柔軟な性質の強みを利用して、ソフトウェア開発ライフサイクル全体を通して変更要求を自動化し、管理し、堅牢なトレーサビリティ、規制コンプライアンスを確保し、最終的に認証を成功させる方法を提案する。
CertiA360は、チームが要求の成熟度を改善し、トレーサビリティの変更を自動化し、規制の目的に合わせるために設計されたツールである。
このツールは航空宇宙業界の専門家との密接なコラボレーションで設計され、実際の応用と実生活の有効性を確保するために彼らのフィードバックを用いて評価された。
収集されたフィードバックは、CertiA360による自動化が手作業の労力を削減し、DO-178Cへの準拠を確保しながら要求の変更への対応を可能にすることを示した。
このツールは、まだDO-330(Tool Qualification)の下では資格が与えられていないが、適切に調整された場合、アジャイルメソッドは安全システム開発と航空宇宙のような高度に規制された領域での認定要件と共存するだけでなく、効率を高めることができる。
関連論文リスト
- Towards Self-Evolving Benchmarks: Synthesizing Agent Trajectories via Test-Time Exploration under Validate-by-Reproduce Paradigm [60.36837655498119]
本稿では,トラジェクトリをベースとしたエージェント・ベンチマーク・複雑度進化フレームワークを提案する。
このフレームワークは、既存のベンチマークから元のタスクを受け取り、エージェントがそれをより難しい新しいタスクに進化させるよう促す。
GAIAベンチマークの実験では、TRACEフレームワークはタスクの複雑さを継続的に向上し、正確性の信頼性を向上させる。
論文 参考訳（メタデータ） (2025-10-01T01:52:52Z) - Implementation of the Collision Avoidance System for DO-178C Compliance [0.02345344155381704]
CASは、リアルタイムで衝突の脅威を自律的に検出し、評価し、回避するように設計されている。
要求仕様と検証、アーキテクチャと詳細な設計、コーディング、検証、トレーサビリティ。
統合フェーズは完全には実装されなかったが、このアプローチはUAVセーフティクリティカルシステムの認証問題に対処する上で有効であることが証明された。
論文 参考訳（メタデータ） (2025-09-20T23:52:51Z) - Explainability as a Compliance Requirement: What Regulated Industries Need from AI Tools for Design Artifact Generation [0.7874708385247352]
本稿では,AIによるデザインアーティファクト生成における説明可能性のギャップについて,安全クリティカル産業の実践者10人との半構造化インタビューを通して検討する。
我々の研究結果によると、説明不能なAI出力は、広範囲な手作業による検証、ステークホルダ信頼の低減、ドメイン固有の用語を扱うのに苦労、チームコラボレーションの破壊、規制コンプライアンスのリスクの導入を必要としている。
この研究は、要件エンジニアリングにおけるAIツールの透明性、信頼性、適用性を改善するための実践的なロードマップを概説する。
論文 参考訳（メタデータ） (2025-07-12T09:34:39Z) - SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models [8.912091484067508]
SV-LLMは,システムオンチップ(SoC)セキュリティ検証の自動化と強化を目的とした,新しいマルチエージェントアシスタントシステムである。
検証質問応答、セキュリティ資産の識別、脅威モデリング、テスト計画とプロパティ生成、脆弱性検出、シミュレーションベースのバグ検証といったタスクのための特別なエージェントを統合することで、SV-LLMはワークフローを合理化する。
このシステムは,手作業による介入を減らすこと,精度の向上,セキュリティ分析の高速化,設計サイクルの初期段階におけるリスクの積極的な識別と緩和を支援することを目的としている。
論文 参考訳（メタデータ） (2025-06-25T13:31:13Z) - From Waterfallish Aerospace Certification onto Agile Certifiable Iterations [0.0]
DO-178Cの要件を満たす継続的文書作成を支援する戦略とツールを提案する。
各ソフトウェアコンポーネントに関連するDO-178Cドキュメントを反復的に作成することで、真に継続的な認定可能なイテレーションへの道を開きます。
論文 参考訳（メタデータ） (2025-03-06T09:49:57Z) - Beyond One-Time Validation: A Framework for Adaptive Validation of Prognostic and Diagnostic AI-based Medical Devices [55.319842359034546]
既存のアプローチは、これらのデバイスを実際にデプロイする際の複雑さに対処するのに不足することが多い。
提示されたフレームワークは、デプロイメント中に検証と微調整を繰り返すことの重要性を強調している。
現在の米国とEUの規制分野に位置づけられている。
論文 参考訳（メタデータ） (2024-09-07T11:13:52Z) - Beyond Tradition: Evaluating Agile feasibility in DO-178C for Aerospace
Software Development [0.0]
ドメイン固有の標準とガイドラインは、安全クリティカルなシステムの規制において重要な役割を担っている。
本稿では,安全クリティカルな航空宇宙システムのためのソフトウェア開発におけるDO-178C文書の分析を行う。
論文 参考訳（メタデータ） (2023-11-07T20:58:02Z) - A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis [54.959571890098786]
システム仕様を符号化し、対応する証明書を定義するためのフレームワークを提供する。
コントローラと証明書を形式的に合成する自動化手法を提案する。
我々のアプローチは、ニューラルネットワークの柔軟性を利用して、制御のための安全な学習の幅広い分野に寄与する。
論文 参考訳（メタデータ） (2023-09-12T09:37:26Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。