論文の概要: Safety Factories -- a Manifesto
- arxiv url: http://arxiv.org/abs/2509.08285v1
- Date: Wed, 10 Sep 2025 05:01:25 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-09-11 15:16:52.311855
- Title: Safety Factories -- a Manifesto
- Title（参考訳）: 安全要因-マニフェスト
- Authors: Carmen Cârlan, Daniel Ratiu, Michael Wagner,
- Abstract要約: 私たちは、ソフトウェア開発と安全工学の間の方法とツールの切り離しを橋渡しする必要があります。
我々は、安全ツールとメソッドをソフトウェア開発パイプラインに統合する安全工場を提唱する。
- 参考スコア（独自算出の注目度）: 1.1916129241436584
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Modern cyber-physical systems are operated by complex software that increasingly takes over safety-critical functions. Software enables rapid iterations and continuous delivery of new functionality that meets the ever-changing expectations of users. As high-speed development requires discipline, rigor, and automation, software factories are used. These entail methods and tools used for software development, such as build systems and pipelines. To keep up with the rapid evolution of software, we need to bridge the disconnect in methods and tools between software development and safety engineering today. We need to invest more in formality upfront - capturing safety work products in semantically rich models that are machine-processable, defining automatic consistency checks, and automating the generation of documentation - to benefit later. Transferring best practices from software to safety engineering is worth exploring. We advocate for safety factories, which integrate safety tooling and methods into software development pipelines.
- Abstract（参考訳）: 現代のサイバー物理システムは、安全クリティカルな機能をますます引き継ぐ複雑なソフトウェアによって運営されている。
ソフトウェアは、ユーザの絶えず変化する期待に応える新機能の迅速なイテレーションと継続的デリバリを可能にします。
高速開発には規律、厳格さ、自動化が必要であるため、ソフトウェアファクトリが使用されている。
これらのツールには、ビルドシステムやパイプラインなど、ソフトウェア開発に使用されるメソッドやツールが含まれています。
ソフトウェアの急速な進化に追従するためには、今日のソフトウェア開発と安全工学の間の方法とツールの切り離しを橋渡しする必要がある。
フォーマル性 - マシン処理可能なセマンティックにリッチなモデルで安全作業プロダクトをキャプチャし、自動一貫性チェックを定義し、ドキュメント生成を自動化する - を後ほど恩恵を受けるためには、フォーマル性にもっと投資する必要があります。
ソフトウェアから安全エンジニアリングへのベストプラクティスの移行は、調査する価値がある。
我々は、安全ツールとメソッドをソフトウェア開発パイプラインに統合する安全工場を提唱する。
関連論文リスト
- Training Language Models to Generate Quality Code with Program Analysis Feedback [66.0854002147103]
大規模言語モデル(LLM)によるコード生成は、ますます本番環境で採用されているが、コード品質の保証には失敗している。
実運用品質のコードを生成するためにLLMにインセンティブを与える強化学習フレームワークであるREALを提案する。
論文 参考訳（メタデータ） (2025-05-28T17:57:47Z) - SafeAgent: Safeguarding LLM Agents via an Automated Risk Simulator [77.86600052899156]
LLM(Large Language Model)ベースのエージェントは、現実のアプリケーションにますますデプロイされる。
完全自動合成データ生成によるエージェント安全性を体系的に向上する最初のフレームワークであるAutoSafeを提案する。
AutoSafeは安全性のスコアを平均で45%向上させ、現実世界のタスクでは28.91%の改善を実現している。
論文 参考訳（メタデータ） (2025-05-23T10:56:06Z) - Software Security Mapping Framework: Operationalization of Security Requirements [12.04694982718246]
Software Security Mapping Frameworkは階層レベルのセキュリティ要件を運用するために設計された構造化ソリューションである。
このフレームワークは、131の洗練されたセキュリティ要件を、ソフトウェア開発ライフサイクルにまたがる400以上の実行可能な運用ステップに体系的にマッピングする。
Secure Software Environment、Secure Software Development、Software Traceability、Vulnerability Managementの4つのコアセキュリティ目標に基づいています。
論文 参考訳（メタデータ） (2025-05-22T06:34:48Z) - Integrating DAST in Kanban and CI/CD: A Real World Security Case Study [2.3480418671346164]
Webアプリケーションの攻撃と悪用された脆弱性が増加している。
現代の開発プラクティスにセキュリティを統合することがますます重要になっている。
現代の開発プラクティスでセキュリティプラクティスやアクティビティを採用するのは難しいです。
論文 参考訳（メタデータ） (2025-03-27T19:46:05Z) - LightSC: The Making of a Usable Security Classification Tool for DevSecOps [0.0]
我々は、emphDevOps対応のセキュリティ分類のための5つの原則を提案する。
次に、セキュリティ分類方法論をDevOps対応にする方法を例示します。
「このような作業は、使用可能なセキュリティコミュニティの中では新たなものと思われるので、我々のプロセスから一般的な3段階のレシピを抽出する。」
私たちのツールは(テスト対象者によって)設計フェーズでもっとも有用であるだけでなく、セキュリティクラスがソフトウェアの品質を評価するのに使用されるメトリクスの1つとなるテストフェーズでも有効であると認識されています。
論文 参考訳（メタデータ） (2024-10-02T17:17:14Z) - Position: How Regulation Will Change Software Security Research [3.8165295526908243]
ソフトウェア工学の研究は、業界が新しい標準に従うのに役立つより良いツールとサポートを提供する必要がある、と私たちは主張する。
我々は法学者と計算機科学者の強い協力を主張する。
論文 参考訳（メタデータ） (2024-06-06T15:16:44Z) - Software Repositories and Machine Learning Research in Cyber Security [0.0]
堅牢なサイバーセキュリティ防衛の統合は、ソフトウェア開発のあらゆる段階において不可欠になっている。
ソフトウェア要件プロセスにおけるこれらの初期段階の脆弱性の検出にトピックモデリングと機械学習を活用する試みが実施されている。
論文 参考訳（メタデータ） (2023-11-01T17:46:07Z) - ChatDev: Communicative Agents for Software Development [84.90400377131962]
ChatDevはチャットを利用したソフトウェア開発フレームワークで、特別なエージェントがコミュニケーション方法についてガイドされる。
これらのエージェントは、統一された言語ベースのコミュニケーションを通じて、設計、コーディング、テストフェーズに積極的に貢献する。
論文 参考訳（メタデータ） (2023-07-16T02:11:34Z) - Technology Readiness Levels for Machine Learning Systems [107.56979560568232]
機械学習システムの開発とデプロイは、現代のツールで簡単に実行できますが、プロセスは一般的に急ぎ、エンドツーエンドです。
私たちは、機械学習の開発と展開のための実証済みのシステムエンジニアリングアプローチを開発しました。
当社の「機械学習技術準備レベル」フレームワークは、堅牢で信頼性が高く、責任あるシステムを確保するための原則的なプロセスを定義します。
論文 参考訳（メタデータ） (2021-01-11T15:54:48Z) - Technology Readiness Levels for AI & ML [79.22051549519989]
機械学習システムの開発は、現代的なツールで容易に実行できるが、プロセスは通常急いで、エンドツーエンドで実行される。
エンジニアリングシステムは、高品質で信頼性の高い結果の開発を効率化するために、明確に定義されたプロセスとテスト標準に従います。
我々は、機械学習の開発と展開のための実証されたシステムエンジニアリングアプローチを提案する。
論文 参考訳（メタデータ） (2020-06-21T17:14:34Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。