論文の概要: Leveraging Traceability to Integrate Safety Analysis Artifacts into the
Software Development Process
- arxiv url: http://arxiv.org/abs/2307.07437v1
- Date: Fri, 14 Jul 2023 16:03:27 GMT
- ステータス: 処理完了
- システム内更新日: 2023-10-23 17:22:25.211177
- Title: Leveraging Traceability to Integrate Safety Analysis Artifacts into the
Software Development Process
- Title(参考訳): トレーサビリティを活用して安全分析成果物をソフトウェア開発プロセスに統合する
- Authors: Ankit Agrawal and Jane Cleland-Huang
- Abstract要約: 安全保証ケース(SAC)は、システムの進化中に維持することが困難である。
本稿では,ソフトウェアトレーサビリティを活用して,関連するシステムアーチファクトを安全解析モデルに接続する手法を提案する。
安全ステークホルダーがシステム変更が安全性に与える影響を分析するのに役立つように、システム変更の合理性を設計する。
- 参考スコア(独自算出の注目度): 51.42800587382228
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Safety-critical system's failure or malfunction can cause loss of human lives
or damage to the physical environment; therefore, continuous safety assessment
is crucial for such systems. In many domains this includes the use of Safety
assurance cases (SACs) as a structured argument that the system is safe for
use. SACs can be challenging to maintain during system evolution due to the
disconnect between the safety analysis and system development process. Further,
safety analysts often lack domain knowledge and tool support to evaluate the
SAC. We propose a solution that leverages software traceability to connect
relevant system artifacts to safety analysis models, and then uses these
connections to visualize the change. We elicit design rationales for system
changes to help safety stakeholders analyze the impact of system changes on
safety. We present new traceability techniques for closer integration of the
safety analysis and system development process, and illustrate the viability of
our approach using examples from a cyber-physical system that deploys Unmanned
Aerial Vehicles for emergency response.
- Abstract(参考訳): 安全クリティカルシステムの故障や故障は、人間の生命の喪失や物理的環境の損傷を引き起こす可能性があるため、このようなシステムには継続的な安全性評価が不可欠である。
多くのドメインでは、システムは安全であるという構造化された議論として安全保証ケース(SAC)の使用を含んでいる。
sacは、安全性分析とシステム開発プロセスが切り離されているため、システム進化の間は維持が困難である。
さらに、安全アナリストはSACを評価するためのドメイン知識とツールサポートを欠いていることが多い。
ソフトウェアトレーサビリティを活用して,関連するシステムアーティファクトを安全解析モデルに接続し,これらの接続を用いて変更を可視化する手法を提案する。
安全ステークホルダーがシステム変更が安全性に与える影響を分析するのに役立つシステム変更の設計根拠を明らかにする。
安全解析とシステム開発プロセスの緊密な統合のための新しいトレーサビリティ技術を提案し、緊急対応のために無人航空機を配備するサイバー物理システムの例を用いて、我々のアプローチの生存可能性を示す。
関連論文リスト
- Prometheus: Infrastructure Security Posture Analysis with AI-generated
Attack Graphs [14.923480366459346]
本稿では,コンピューティングインフラストラクチャのセキュリティ状態の詳細な解析を行うための高度なシステムであるPrometheusを提案する。
このシステムは、ハードウェア、システム、ネットワーク、暗号化を含むセキュリティ層を分析することによって、全体的なアプローチを取る。
本稿では,Prometheusで実装されたエンドツーエンドパイプラインについて述べる。
論文 参考訳(メタデータ) (2023-12-20T15:38:59Z) - The Last Decade in Review: Tracing the Evolution of Safety Assurance
Cases through a Comprehensive Bibliometric Analysis [7.431812376079826]
安全保証は、自動車、航空宇宙、原子力など、様々な分野において最重要事項である。
安全保証ケースを使用することで、生成されたシステム機能の正しさを検証することができ、システム障害を防止することができる。
論文 参考訳(メタデータ) (2023-11-13T17:34:23Z) - A Model Based Framework for Testing Safety and Security in Operational
Technology Environments [0.46040036610482665]
本稿では,テスト中のシステムの安全性とセキュリティの挙動を分析するための有望な手法として,モデルに基づくテスト手法を提案する。
基盤となるフレームワークの構造は、運用技術環境のテストにおいて重要な要素に従って、4つの部分に分けられる。
論文 参考訳(メタデータ) (2023-06-22T05:37:09Z) - Sustainable Adaptive Security [11.574868434725117]
本稿では,新たに発見された脅威を軽減し,適応型セキュリティシステムの拡張による永続的保護を反映したサステナブル・アダプティブ・セキュリティ(SAS)の概念を提案する。
私たちはスマートホームの例を使って、持続可能な適応セキュリティを満たすシステムのMAPE(Monitor, Analysis, Planning, Execution)ループのアクティビティをどのように構築できるかを示します。
論文 参考訳(メタデータ) (2023-06-05T08:48:36Z) - Towards Safer Generative Language Models: A Survey on Safety Risks,
Evaluations, and Improvements [76.80453043969209]
本調査では,大規模モデルに関する安全研究の枠組みについて述べる。
まず、広範囲にわたる安全問題を導入し、その後、大型モデルの安全性評価手法を掘り下げる。
トレーニングからデプロイメントまで,大規模なモデルの安全性を高めるための戦略について検討する。
論文 参考訳(メタデータ) (2023-02-18T09:32:55Z) - Evaluating Model-free Reinforcement Learning toward Safety-critical
Tasks [70.76757529955577]
本稿では、国家安全RLの観点から、この領域における先行研究を再考する。
安全最適化と安全予測を組み合わせた共同手法であるUnrolling Safety Layer (USL)を提案する。
この領域のさらなる研究を容易にするため、我々は関連するアルゴリズムを統一パイプラインで再現し、SafeRL-Kitに組み込む。
論文 参考訳(メタデータ) (2022-12-12T06:30:17Z) - Recursively Feasible Probabilistic Safe Online Learning with Control
Barrier Functions [63.18590014127461]
本稿では,CBFをベースとした安全クリティカルコントローラのモデル不確実性を考慮した再構成を提案する。
本研究では,ロバストな安全クリティカルコントローラの実現可能性について検討する。
次に、これらの条件を使って、イベントトリガーによるオンラインデータ収集戦略を考案します。
論文 参考訳(メタデータ) (2022-08-23T05:02:09Z) - Risk-Driven Design of Perception Systems [47.787943101699966]
システム全体の安全性を低下させるエラーを最小限に抑えるために,認識システムを設計することが重要である。
完全積分閉ループシステムの性能に及ぼす知覚誤差の影響を考慮に入れた認識システム設計のためのリスク駆動型アプローチを開発する。
本研究では,現実的な視界に基づく航空機による応用・回避技術の評価を行い,リスク駆動設計がベースラインシステム上での衝突リスクを37%低減することを示す。
論文 参考訳(メタデータ) (2022-05-21T21:14:56Z) - Dos and Don'ts of Machine Learning in Computer Security [74.1816306998445]
大きな可能性にもかかわらず、セキュリティにおける機械学習は、パフォーマンスを損なう微妙な落とし穴を引き起こす傾向がある。
我々は,学習ベースのセキュリティシステムの設計,実装,評価において共通の落とし穴を特定する。
我々は,落とし穴の回避や軽減を支援するために,研究者を支援するための実用的な勧告を提案する。
論文 参考訳(メタデータ) (2020-10-19T13:09:31Z) - A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical
Systems [30.638615396429536]
安全クリティカルな人工知能の普及により、この研究は、CPSの最先端の安全検証技術の調査を提供する。
本稿では,最適化,経路計画,強化学習,重要サンプリングの分野におけるアルゴリズムについて論じる。
自動運転車や航空機衝突回避システムなど、安全クリティカルな応用の概要を概説する。
論文 参考訳(メタデータ) (2020-05-06T17:31:51Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。