論文の概要: 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にはアジャイルの採用を阻害する制限や制限はなく、従来のウォーターフォールメソッドが必須であるという業界全体の意見とは対照的に、適切な証拠を得るためにガイドラインや目標を提供し、アジャイルメソッドを含む様々な作業方法を可能にしています。 さらに、ガイドラインの説明は、アジャイルメソッドを使用するソフトウェア専門家に明確に適合しており、標準の一般的な概要のみを提供する出版物よりも、はるかに具体的な焦点を与えています。

関連論文リスト

• Analysis of Functional Insufficiencies and Triggering Conditions to Improve the SOTIF of an MPC-based Trajectory Planner [2.555222031881788]
  SOTIF(Safety-of-the-intended-function)は、2022年にリリースされたISO21448の標準規格である。 本研究の目的は,(1)汎用MPCベーストラジェクトリプランナのSOTIF解析と(2)ISO21448で記述された汎用手順の解釈と具体的適用である。
  論文  参考訳（メタデータ） (2024-07-31T12:52:13Z)
• AIR-Bench 2024: A Safety Benchmark Based on Risk Categories from Regulations and Policies [80.90138009539004]
  AIR-Bench 2024は、新しい政府の規制や企業のポリシーに適合する最初のAI安全ベンチマークである。 8つの政府規制と16の企業政策を4階層の安全分類に分解し、最も低い階層に粒度の細かいリスクカテゴリを分類する。 AIR-Bench 2024上での言語モデルの評価を行い,その安全性に関する知見を明らかにした。
  論文  参考訳（メタデータ） (2024-07-11T21:16:48Z)
• INDICT: Code Generation with Internal Dialogues of Critiques for Both Security and Helpfulness [110.6921470281479]
  INDICTは、安全性と有用性の両方のガイダンスのために、批評家の内的対話で大きな言語モデルを強化する新しいフレームワークである。 内部対話は、安全主導の批評家と役に立つ主導の批評家の二重協調システムである。 提案手法は,安全性と有用性解析の両面において,高度な批判のレベルを提供し,出力コードの品質を著しく向上させる。
  論文  参考訳（メタデータ） (2024-06-23T15:55:07Z)
• Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems [88.80306881112313]
  我々は、AI安全性に対する一連のアプローチを紹介し、定義する。 これらのアプローチの中核的な特徴は、高保証の定量的安全性保証を備えたAIシステムを作ることである。 これら3つのコアコンポーネントをそれぞれ作成するためのアプローチを概説し、主な技術的課題を説明し、それらに対する潜在的なソリューションをいくつか提案します。
  論文  参考訳（メタデータ） (2024-05-10T17:38:32Z)
• What Can Self-Admitted Technical Debt Tell Us About Security? A Mixed-Methods Study [6.286506087629511]
  自己充足型技術的負債(SATD) 潜在的に悪用可能な脆弱性や セキュリティ上の欠陥に関する 恐ろしい情報源と見なすことができます 本研究は、SATDのセキュリティへの影響を、技術と開発者中心の観点から検討する。
  論文  参考訳（メタデータ） (2024-01-23T13:48:49Z)
• 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)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。