Konsep Inti
LLMを使用して自動運転機能の安全要件を指定するプロトタイプが有効であることを示す。
Abstrak
この記事は、自動運転におけるエンジニアリング安全要件に焦点を当て、LLM(Large Language Models)を使用して人間エンジニアが必要な安全要件を指定するプロトタイプの設計と評価について述べています。
- 要求工学や危険分析リスク評価(HARA)などの技術が重要であることが強調されている。
- LLMはHARAにおいて人間エンジニアを効果的にサポートする可能性があることが示唆されている。
- プロトタイプは、サイクルごとに改善され、独立した安全専門家によって実世界のコンテキストで評価された。
I. 導入
- 自動運転機能の安全性確保は重要であり、そのためのエンジニアリング作業は困難である。
- LLMはHARA作業を支援するための重要な役割を果たす可能性がある。
II. 関連研究
- Prompt Engineering技術やディープラーニングモデル(GPT)の活用例が紹介されている。
III. 方法論:デザインサイエンス
- デザインサイエンス手法が採用され、LLMベースのプロトタイプが設計・評価された経緯が記述されている。
IV. 第1設計サイクル:LLM制限事項特定
- LLM利用時の制限事項や課題への対処方法について報告されている。
V. 第1エンジニアリングサイクル:Promptパイプライン構築
- HARAタスク分解やPrompt工学への取り組み内容が示されている。
VI. 第2エンジニアリングサイクル:パイプライン改善と内部LLM利用
- 内部GPTモデル利用やPrompt工学改善策など、第2サイクルで行われた具体的な取り組み内容が記載されている。
Statistik
"生成物は一日以内に完了しました。"
"従来数か月かかっていた作業時間を大幅に短縮しました。"
Kutipan
"将来的には、この技術は人間以上の能力を持つ強力なツールとなり得ます。"
"AIツールをシステム設計や安全文書作成に活用する余地が多くあります。"