論文の概要: Engineering Reliable Autonomous Systems: Challenges and Solutions
- arxiv url: http://arxiv.org/abs/2606.23760v1
- Date: Mon, 22 Jun 2026 10:04:37 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-06-24 22:16:48.599253
- Title: Engineering Reliable Autonomous Systems: Challenges and Solutions
- Title（参考訳）: 工学的信頼性の高い自律システム - 課題と解決策
- Authors: Marie Farrell, Matt Luckcuck, Angelo Ferrando, Rafael C. Cardoso, Natasha Alechina, Marco Autili, Diana Benjumea Hernandez, Luciana Brasil Rebelo dos Santos, Daniela Briola, Ana Cavalcanti, Christian Colombo, Louise A. Dennis, Clare Dixon, Michael Fisher, Mario Gleirscher, Taylor Johnson, Charles Lesire, Livia Lestingi, Sven Linker, Brian Logan, Colin Paterson, Fabio Papacchini, Patrizio Pelliccione, Pedro Ribeiro, Maike Schwammberger, Silvia Lizeth Tapia Tarifa, Hazel Taylor, Jim Woodcock, Mengwei Xu, Yi Yang, Huan Zhang,
- Abstract要約: 本報告は,ローレンツセンターワークショップ "Engineering Reliable Autonomous Systems" における議論を捉え,拡張するものである。
The Workshop on Formal Methods for Autonomous Systems (FMAS) とthe Workshop on Agents and Robots for reliable Engineered Autonomy (AREA) の共同主催によるワークショップである。
FMASとAREAのコミュニティのメンバー、業界の実践者、そして自律的なシステムが特有のエンジニアリング上の課題に直面するセクターの代表者を集めた。
- 参考スコア（独自算出の注目度）: 21.752258274617223
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Engineering reliable autonomous systems is an important and growing topic in computer science. As autonomous systems become more prevalent, easy-to-use techniques for building them reliably are increasingly important. This workshop report captures and expands on the discussions at the Lorentz Center Workshop "Engineering Reliable Autonomous Systems" (ERAS), held from 10 to 14 June 2024. The workshop was co-organised by the organisers of the Workshop on Formal Methods for Autonomous Systems (FMAS) and the Workshop on Agents and Robots for reliable Engineered Autonomy (AREA). It brought together members of the FMAS and AREA communities, industry practitioners, and representatives from sectors where autonomous systems pose distinctive engineering challenges. The workshop focused on three main research topics: techniques for verification and validation of autonomous systems; engineering real-world autonomous systems; and software architectures for safe autonomous systems. Its main outcome is a catalogue of challenges in these areas and, most importantly, a pathway to solutions. Some challenges can already be tackled by techniques that are well known in academia but have not yet become regularly used in practice. Other challenges remain unresolved and require further research. This roadmap is intended to support future research and industrial collaboration.
- Abstract（参考訳）: 工学的信頼性の高い自律システムは、コンピュータ科学において重要で成長しているトピックである。
自律システムがより普及するにつれて、それらを確実に構築するための使いやすい技術がますます重要になっている。
このワークショップレポートは、2024年6月10日から14日まで開催されたローレンツセンターワークショップ"Engineering Reliable Autonomous Systems"(ERAS)で、議論を捉え、拡大している。
このワークショップは、FMAS(Formal Methods for Autonomous Systems)ワークショップと、信頼できるエンジニアリング自律性のためのエージェントとロボットワークショップの主催者が共同で行った。
FMASとAREAのコミュニティのメンバー、業界の実践者、そして自律的なシステムが特有のエンジニアリング上の課題に直面するセクターの代表者を集めた。
このワークショップは、自律システムの検証と検証のための技術、現実世界の自律システムのエンジニアリング、安全な自律システムのソフトウェアアーキテクチャの3つの主要な研究トピックに焦点を当てた。
その主な成果は、これらの領域における課題のカタログであり、そして最も重要なのは、ソリューションへの道筋である。
いくつかの課題は、アカデミアでよく知られたテクニックによって既に対処できるが、実際にはまだ定期的に使われていない。
その他の課題は未解決のままであり、さらなる研究が必要である。
このロードマップは将来の研究と産業協力を支援することを意図している。
関連論文リスト
- Report on NSF Workshop on Science of Safe AI [75.96202715567088]
機械学習の新たな進歩は、社会問題に対する技術ベースのソリューションを開発する新たな機会につながっている。
AIの約束を果たすためには、正確でパフォーマンスが高く、安全で信頼性の高いAIベースのシステムを開発する方法に取り組む必要がある。
本報告はワークショップの安全性の異なる側面に対処した作業グループにおける議論の結果である。
論文 参考訳（メタデータ） (2025-06-24T18:55:29Z) - Greening AI-enabled Systems with Software Engineering: A Research Agenda for Environmentally Sustainable AI Practices [70.24403396375277]
CECAM-Lorentzワークショップは2025年2月3日、スイスのローザンヌで開催された。
本報告ではワークショップから生まれた研究課題について述べる。
環境に優しいAIシステムの開発を導くために、オープンな研究の方向性と実践的な勧告を概説する。
論文 参考訳（メタデータ） (2025-06-02T15:19:49Z) - Generative AI for Autonomous Driving: Frontiers and Opportunities [145.6465312554513]
この調査は、自律運転スタックにおけるGenAIの役割の包括的合成を提供する。
まず、VAE、GAN、拡散モデル、および大規模言語モデルを含む、現代の生成モデリングの原則とトレードオフを蒸留することから始めます。
我々は、合成データ一般化、エンドツーエンド駆動戦略、高忠実なデジタルツインシステム、スマートトランスポートネットワーク、具体化されたAIへのクロスドメイン転送など、実用的な応用を分類する。
論文 参考訳（メタデータ） (2025-05-13T17:59:20Z) - LLM4Drive: A Survey of Large Language Models for Autonomous Driving [62.10344445241105]
大規模言語モデル(LLM)は、文脈理解、論理的推論、回答生成などの能力を示した。
本稿では,自動走行のための大規模言語モデル (LLM4AD) に関する研究ラインを体系的にレビューする。
論文 参考訳（メタデータ） (2023-11-02T07:23:33Z) - AAAI 2022 Fall Symposium: Lessons Learned for Autonomous Assessment of
Machine Abilities (LLAAMA) [1.157139586810131]
現代の民間と軍事のシステムは、洗練されたインテリジェントな自律機械の需要を生み出している。
これらの新しい形のインテリジェントな自律性は、運用意図のいつ/どのようにコミュニケーションし、自律エージェントの実際の能力を評価することが全体的なパフォーマンスに影響を及ぼすかという疑問を提起する。
このシンポジウムでは、インテリジェントな自律システムを自己評価し、割り当てられたタスクを効果的に実行する能力を伝える可能性について検討する。
論文 参考訳（メタデータ） (2023-01-13T03:47:38Z) - Proceedings Third Workshop on Formal Methods for Autonomous Systems [0.0]
このEPPTCS巻は、FMAS 2021(Formal Methods for Autonomous Systems)の第3回ワークショップの手続きを含んでいる。
FMAS 2021は、新型コロナウイルス(COVID-19)の規制への適応として、オンラインのスタンドアローンのイベントだった。
FMASのゴールは、フォーマルな方法を使って自律システムのユニークな課題に取り組む先進的な研究者を集結させることだ。
論文 参考訳（メタデータ） (2021-10-22T00:09:27Z) - Engineering Education in the Age of Autonomous Machines [1.2246649738388389]
我々は,コンピュータ科学,計算機工学,電気工学,機械工学の専門知識を持つ学生に公開するための学際的プログラムの作成を提唱する。
実際の自動運転車で作業する体験を学生に提供するcapstoneプロジェクトは、技術基盤を統合するために必要である。
論文 参考訳（メタデータ） (2021-02-16T00:44:14Z) - Artificial Intelligence for IT Operations (AIOPS) Workshop White Paper [50.25428141435537]
AIOps(Artificial Intelligence for IT Operations)は、マシンラーニング、ビッグデータ、ストリーミング分析、IT運用管理の交差点で発生する、新たな学際分野である。
AIOPSワークショップの主な目的は、アカデミアと産業界の両方の研究者が集まり、この分野での経験、成果、作業について発表することです。
論文 参考訳（メタデータ） (2021-01-15T10:43:10Z) - Proceedings Second Workshop on Formal Methods for Autonomous Systems [0.0]
FMASの目標は、正式な方法で自律システムの課題に取り組む先進的な研究者を集結させることだ。
私たちは、自律システムやロボットシステムを特定し、モデル化し、検証するための正式な方法を使うことに興味があります。
論文 参考訳（メタデータ） (2020-12-02T13:08:57Z) - Assured Autonomy: Path Toward Living With Autonomous Systems We Can
Trust [17.71048945905425]
自律性(autonomy)は、人間の操作者によって直接制御されることなくシステムが振る舞うことができる広範で拡張的な能力である。
2019年10月に開催された最初のワークショップは、自律システムの確保における現在および期待されている課題と課題に焦点を当てたものだ。
2020年2月に開催された第2回ワークショップでは、既存の能力、現在の研究、ワークショップで特定される課題や問題に対処できる研究トレンドに焦点を当てた。
論文 参考訳（メタデータ） (2020-10-27T17:00:01Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。