論文の概要: Beyond Tradition: Evaluating Agile feasibility in DO-178C for Aerospace
Software Development
- arxiv url: http://arxiv.org/abs/2311.04344v1
- Date: Tue, 7 Nov 2023 20:58:02 GMT
- ステータス: 処理完了
- システム内更新日: 2023-11-09 17:57:56.097705
- Title: Beyond Tradition: Evaluating Agile feasibility in DO-178C for Aerospace
Software Development
- Title(参考訳): beyond tradition: 航空宇宙ソフトウェア開発のためのdo-178cにおけるアジャイル実現可能性の評価
- Authors: J. Eduardo Ferreira Ribeiro, Jo\~ao Gabriel Silva, Ademar Aguiar
- Abstract要約: ドメイン固有の標準とガイドラインは、安全クリティカルなシステムの規制において重要な役割を担っている。
本稿では,安全クリティカルな航空宇宙システムのためのソフトウェア開発におけるDO-178C文書の分析を行う。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Domain-specific standards and guidelines play a crucial role in regulating
safety-critical systems, with one notable example being the DO-178C document
for the aerospace industry. This document provides guidelines for organisations
seeking to ensure the safety and certification of their software systems. This
paper analyses the DO-178C document within the context of software development
for safety-critical aerospace systems focusing on Agile software development,
aiming to assess its feasibility. Unlike restricting specific development
methods, DO-178C offers indispensable support that upholds confidence in
safety, aligning seamlessly with the objectives of aerospace industries. Our
analysis reveals that there are no limitations or restrictions within the
DO-178C that inhibit the adoption of Agile and provides guidelines and
objectives for achieving suitable evidence, allowing for various working
methods, including Agile methods, contrary to the overall opinion in the
industry that the traditional waterfall method is mandatory. Additionally, we
emphasise that the guidelines explanation is explicitly tailored to software
professionals using Agile methods, giving it a much more specific focus than
publications that only provide a generic overview of the standard.
- Abstract(参考訳): ドメイン固有の標準とガイドラインは、安全クリティカルなシステムの規制において重要な役割を担い、その一例が航空宇宙産業のためのDO-178C文書である。
この文書は、ソフトウェアシステムの安全性と認証を保証するために組織にガイドラインを提供する。
本稿では,アジャイルソフトウェア開発に重点を置く安全クリティカルな航空宇宙システムのソフトウェア開発の文脈におけるdo-178c文書を分析し,その実現可能性を評価する。
特定の開発方法の制限とは異なり、do-178cは安全に対する信頼を保ち、航空宇宙産業の目的とシームレスに一致させるために必須のサポートを提供する。
私たちの分析では、do-178cにはアジャイルの採用を阻害する制限や制限はなく、従来のウォーターフォールメソッドが必須であるという業界全体の意見とは対照的に、適切な証拠を得るためにガイドラインや目標を提供し、アジャイルメソッドを含む様々な作業方法を可能にしています。
さらに、ガイドラインの説明は、アジャイルメソッドを使用するソフトウェア専門家に明確に適合しており、標準の一般的な概要のみを提供する出版物よりも、はるかに具体的な焦点を与えています。
関連論文リスト
- What Can Self-Admitted Technical Debt Tell Us About Security? A
Mixed-Methods Study [6.286506087629511]
自己充足型技術的負債(SATD)
潜在的に悪用可能な脆弱性や セキュリティ上の欠陥に関する 恐ろしい情報源と見なすことができます
本研究は、SATDのセキュリティへの影響を、技術と開発者中心の観点から検討する。
論文 参考訳(メタデータ) (2024-01-23T13:48:49Z) - Defining and executing temporal constraints for evaluating engineering
artifact compliance [56.08728135126139]
プロセスコンプライアンスは、実際のエンジニアリング作業が記述されたエンジニアリングプロセスに可能な限り密接に従うことを保証することに焦点を当てます。
これらのプロセスの制約をチェックすることは、依然として大変な作業であり、多くの手作業を必要とし、プロセスの後半にエンジニアにフィードバックを提供する。
関連するエンジニアリングアーティファクト間の時間的制約を,アーティファクトの変更毎に段階的にチェックする,自動制約チェックアプローチを提案する。
論文 参考訳(メタデータ) (2023-12-20T13:26:31Z) - A Taxonomy of Decentralized Identifier Methods for Practitioners [50.76687001060655]
SSI(Self-Sovereign Identity)の新たなアイデンティティ管理パラダイムの中核となるのは、W3C Decentralized Identifiers(DID)標準である。
本稿では, DID手法を選択する際に, 実践者が情報的意思決定を行えるようにするためのDID手法の分類法を提案する。
論文 参考訳(メタデータ) (2023-10-18T13:01:40Z) - Layered Security Guidance for Data Asset Management in Additive Manufacturing [0.0]
本稿では,国立標準技術研究所のサイバーセキュリティフレームワークを利用して,特定のセキュリティ成果を達成するための階層化されたリスクベースのガイダンスを開発することを提案する。
著者らは、レイヤー化アプローチの実装は、既存のガイダンスと一致したAMの付加価値、非冗長なセキュリティガイダンスをもたらすと考えている。
論文 参考訳(メタデータ) (2023-09-28T20:48:40Z) - No Trust without regulation! [0.0]
機械学習(ML)の性能の爆発と、その応用の可能性は、産業システムにおけるその利用を考慮し続けています。
安全と、その基準、規制、標準の問題については、いまだに片側に過度に残っています。
欧州委員会は、安全で信頼性があり、ヨーロッパの倫理的価値を尊重するAIベースのアプリケーションを統合するための、前進と強固なアプローチを構築するための基盤を築き上げた。
論文 参考訳(メタデータ) (2023-09-27T09:08:41Z) - Validation-Driven Development [54.50263643323]
本稿では,形式的開発における要件の検証を優先する検証駆動開発(VDD)プロセスを紹介する。
VDDプロセスの有効性は、航空業界におけるケーススタディを通じて実証されている。
論文 参考訳(メタデータ) (2023-08-11T09:15:26Z) - Building a Credible Case for Safety: Waymo's Approach for the
Determination of Absence of Unreasonable Risk [2.2386635730984117]
完全自律運転の安全ケースは、企業がAVシステムが安全であると判断する方法を説明する公式な方法である。
システムの説明、開発に使用する方法論、検証に使用するメトリクス、検証テストの実際の結果などが含まれる。
本稿では,システムの展開準備の仕方に関する基本的な考え方を提供することによって,このようなアライメントの実現を支援する。
論文 参考訳(メタデータ) (2023-06-02T21:05:39Z) - Evaluating Model-free Reinforcement Learning toward Safety-critical
Tasks [70.76757529955577]
本稿では、国家安全RLの観点から、この領域における先行研究を再考する。
安全最適化と安全予測を組み合わせた共同手法であるUnrolling Safety Layer (USL)を提案する。
この領域のさらなる研究を容易にするため、我々は関連するアルゴリズムを統一パイプラインで再現し、SafeRL-Kitに組み込む。
論文 参考訳(メタデータ) (2022-12-12T06:30:17Z) - Correct-by-Construction Runtime Enforcement in AI -- A Survey [3.509295509987626]
執行とは、実行時のシステムの正式な仕様に関して正しい振る舞いを強制する理論、技術、ツールを指す。
我々は、AIの分野で伝統的に安全がどのように扱われているか、そしてランタイムの執行機関を統合することで、自律学習エージェントの安全性に対するより正式な保証が与えられるかについて議論する。
論文 参考訳(メタデータ) (2022-08-30T17:45:38Z) - Empowered and Embedded: Ethics and Agile Processes [60.63670249088117]
私たちは倫理的考慮事項を(アジャイル)ソフトウェア開発プロセスに組み込む必要があると論じています。
私たちは、すでに存在しており、確立されたアジャイルソフトウェア開発プロセスで倫理的な議論を実施する可能性を強調しました。
論文 参考訳(メタデータ) (2021-07-15T11:14:03Z) - Evaluating the Safety of Deep Reinforcement Learning Models using
Semi-Formal Verification [81.32981236437395]
本稿では,区間分析に基づく半形式的意思決定手法を提案する。
本手法は, 標準ベンチマークに比較して, 形式検証に対して比較結果を得る。
提案手法は, 意思決定モデルにおける安全性特性を効果的に評価することを可能にする。
論文 参考訳(メタデータ) (2020-10-19T11:18:06Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。