論文の概要: OSFoundry: Building and Evolving Operating Systems with Specification-Guided Agents
- arxiv url: http://arxiv.org/abs/2609.25018v1
- Date: Sat, 08 Aug 2026 09:11:12 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-28 05:09:55.834818
- Title: OSFoundry: Building and Evolving Operating Systems with Specification-Guided Agents
- Title（参考訳）: OSFoundry: 仕様ガイドエージェントによるオペレーティングシステムの構築と発展
- Abstract要約: OSFoundryはOS特有のエージェントハーネスであり、OS開発を通じて設計意図を持続させる。
我々は,OSFoundryがOSの構築と進化を,繰り返し手動開発から仕様誘導開発へ移行できることを示す。
- 参考スコア（独自算出の注目度）: 6.942975138769853
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Operating systems must evolve continuously. Yet their development remains code-centric and largely manual: even a localized change can require recovering implicit assumptions, coordinating multiple subsystems, and repeatedly building, booting, testing, and debugging the complete system. General-purpose coding agents automate individual edits, but their prompt-centric workflows repeatedly reconstruct task boundaries and OS semantics from scattered context, limiting their reliability for sustained OS evolution. This paper presents OSFoundry, an OS-specialized agent harness that makes design intent persistent throughout OS development. Its key insight is to separate stable intent from diverse implementation. Instead of relying on free-form natural-language prompts to convey design intent, OSFoundry uses SysSpec*, a shared development blueprint comprising a task-bounding Plan and an OS-specific Specification: the Plan bounds what a change should achieve, while the Specification records the interfaces, modular dependencies, and concurrency semantics that its implementation must preserve. Agents implement and validate code against this same blueprint, refining both SysSpec* and the implementation when execution or review exposes a mismatch. We evaluate OSFoundry along three ways. First, OSFoundry generates SpecOS from SysSpec*; the resulting complete OS boots and passes all 70 functional tests. Second, specification patches evolve SpecOS with a GUI and three performance optimizations that improve performance by up to 4.41x. Third, across 11 recent Linux-kernel bug-fix tasks, OSFoundry achieves 1.8x the accuracy of Codex using GPT-5.5. These results show that persistent specifications can shift OS construction and evolution from repeated manual kernel engineering toward specification-guided development.
- Abstract（参考訳）: オペレーティングシステムは継続的に進化しなければならない。
ローカライズされた変更であっても、暗黙の仮定を回復し、複数のサブシステムを調整し、ビルド、ブート、テスト、デバッグを繰り返し行う必要がある。
汎用コーディングエージェントは、個々の編集を自動化するが、そのプロンプト中心のワークフローは、タスク境界とOSセマンティクスを分散したコンテキストから繰り返し再構築し、持続的なOS進化の信頼性を制限する。
本稿では、OS開発を通して設計意図を持続させるOS特化エージェントハーネスであるOSFoundryについて述べる。
その重要な洞察は、安定した意図と多様な実装を分離することである。
フリーフォームの自然言語プロンプトを使って設計意図を伝える代わりに、OSFoundryはSysSpec*というタスクバウンディングプランとOS固有の仕様を含む共有開発青写真を使用する。
エージェントは、同じ青写真に対してコードを実装し、検証し、SysSpec*と実行またはレビューがミスマッチを公開するときの実装の両方を精査する。
OSFoundryの評価には3つの方法がある。
まず、OSFoundryはSysSpec*からSpecOSを生成する。
第2に、SpecOSはGUIとパフォーマンスを最大4.41倍改善する3つの最適化によって進化した。
第3に、最近の11のLinuxカーネルバグフィックスタスクにおいて、OSFoundryはGPT-5.5を使用してCodexの1.8倍の精度を達成した。
これらの結果から、永続的な仕様は、OSの構築と進化を、繰り返し手動のカーネルエンジニアリングから仕様誘導開発へとシフトさせることができる。
関連論文リスト
- CodeSpec: Dual Executable Specifications for Agentic Long-Horizon Feature Development [7.386271204083454]
本稿では,リポジトリレベルの機能開発のための2つの実行可能な仕様手法であるCodeSpecを提案する。
リポジトリアーキテクチャとサブ要求セマンティクスをペアリングするエビデンスから、信頼性の高い機能チェーンを構築する。
既存のリポジトリの機能開発をターゲットにしたFeatureBenchでは、CodeSpecが70.7%、55.0%、49.9%のパスレートを達成した。
論文 参考訳（メタデータ） (2026-07-29T11:20:49Z) - PhyAgentOS: A Self-Evolving Operating System for Embodied Agents with Decoupled Cognitive Planning and Physical Execution [49.776611937968]
我々は、スケジューリング、検証、メモリ、ベンチマーク、安全性をシステムレベルのサービスとして提供するPhyAgentOSを紹介します。
セッション中心のセッションは、スケジューリング、互換性、監督された実行、エビデンス収集、受け入れの最小単位として、アクションではなくセッションを扱う。
SessionVerifierは、実行終了とセマンティックタスク完了を、成功、失敗、または再計画のエビデンスに基づいて判断する。
ベンチマークはデプロイメントセッションと検証パスを再利用するので、結果は実際の実行に遡る。
論文 参考訳（メタデータ） (2026-07-18T04:46:53Z) - From Prompt to Process: a Process Taxonomy and Comparative Assessment of Frameworks Supporting AI Software Development Agents [0.0]
AI機能をプロセスに変換する運用フレームワークに重点を置いています。
仕様駆動による完全な軽量な開発、エージェント駆動のアジャイル計画、エージェント上のコンテキストエンジニアリング、ワークツリーの分離とレビュー、レガシーシステムからの運用仕様の回復。
私たちの中心的な貢献は、仕様、コンテキスト、役割、実行、バリデーション、ポータビリティという6次元プロセスの分類です。
論文 参考訳（メタデータ） (2026-06-03T14:49:15Z) - Autogenesis: A Self-Evolving Agent Protocol [60.15939127351914]
本稿では,自己進化プロトコルであるAutogenesis Protocol(AGP)を紹介する。
本稿では,実行中のプロトコル登録リソースを動的にインスタンス化し,検索し,精錬する自己進化型マルチエージェントシステムAGSを提案する。
論文 参考訳（メタデータ） (2026-04-16T14:04:06Z) - Architecture-Aware Multi-Design Generation for Repository-Level Feature Addition [53.50448142467294]
RAIMは、リポジトリレベルの機能追加のための、多設計およびアーキテクチャ対応のフレームワークである。
複数の多様な実装設計を生成することで、線形パッチから切り離される。
NoCode-bench Verifiedデータセットの実験では、RAIMが新しい最先端のパフォーマンスを確立することが示されている。
論文 参考訳（メタデータ） (2026-03-02T12:50:40Z) - ABC-Bench: Benchmarking Agentic Backend Coding in Real-World Development [72.4729759618632]
本稿では,現実的かつ実行可能なワークフロー内でエージェントバックエンドコーディングを評価するベンチマークであるABC-Benchを紹介する。
オープンソースリポジトリから8つの言語と19のフレームワークにまたがる224の実践的なタスクをキュレートしました。
我々の評価は、最先端モデルでさえ、これらの総合的なタスクに対して信頼性の高いパフォーマンスを提供するのに苦労していることを示している。
論文 参考訳（メタデータ） (2026-01-16T08:23:52Z) - Sharpen the Spec, Cut the Code: A Case for Generative File System with SYSSPEC [6.536447932095715]
本稿では,生成ファイルシステムを開発するためのフレームワークであるSYSSPECを紹介する。
不正確なプロンプトの代わりに、SYSSPECはファイルシステムの機能を正確に記述するマルチパート仕様を採用している。
進化を管理するため,仕様自体で動作するDAG構造化パッチを開発した。
論文 参考訳（メタデータ） (2025-12-15T07:15:01Z) - A General Solution for the Implementation of CI/CD in Embedded Linux Development [0.6445605125467574]
本研究は,Yocto Project を用いた Linux ベースのオペレーティングシステムの開発,構築,テストのための,統合的で再現可能なインフラの設計と実装を目的とした。
提案した構造は,メインのYoctoリポジトリ,カスタムレイヤ(meta-custom),コーディネートされたマニフェストレイヤで構成される3層アーキテクチャに基づいて実装された。
継続的インテグレーションと継続的デプロイメントパイプラインはGitLab CIで実装され、ビルドとテストの自動化と合理化のために、分離されたDocker環境と組み合わせられた。
論文 参考訳（メタデータ） (2025-10-22T04:48:41Z) - Sedeve-Kit, a Specification-Driven Development Framework for Building Distributed Systems [2.8282788866878623]
本稿では,分散システムのための仕様駆動開発フレームワークを提案する。
第1段階は、TLA$+$でシステム仕様と不変性を定義する。
第2段階では、確立された仕様に基づいて、実装の一貫性と正確性を保証するコードを書きます。
論文 参考訳（メタデータ） (2025-09-15T04:14:00Z) - Codev-Bench: How Do LLMs Understand Developer-Centric Code Completion? [60.84912551069379]
Code-Development Benchmark (Codev-Bench)は、細粒度で現実世界、リポジトリレベル、開発者中心の評価フレームワークです。
Codev-Agentは、リポジトリのクローリングを自動化し、実行環境を構築し、既存のユニットテストから動的呼び出しチェーンを抽出し、データ漏洩を避けるために新しいテストサンプルを生成するエージェントベースのシステムである。
論文 参考訳（メタデータ） (2024-10-02T09:11:10Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。