| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2026-07-24 10:35 実行時指向性制御器合成に基づく段階的ODD縮退機構 ～ 自動運転支援を例としたLingua Franca上の試作 ～ ○石水優成・生方寿英（Science Tokyo）・李 家隆（早大）・鄭 顕志（Science Tokyo）  SS2026-28 KBSE2026-28 |
|
| 抄録 | （和） | 自動運転支援システム（ADAS）では，環境悪化や計算資源制約の下で全機能を常に維持できるとは限らない．このとき，単純な停止や固定的なモード切替だけでは過度に保守的となる場合があり，現在の運転状況に応じて「どこまで機能を維持できるか」を実行時に判断する縮退機構が必要となる．本稿では，Lingua Franca（LF）上で監視・判断・制約適用を接続し，観測された抽象状態に対して局所FSP を生成して指向性制御器合成（Directed Controller Synthesis: DCS）を実行し，安全に維持可能な最も高いODD level を選択する実行時縮退機構を提案する． 提案機構は，latency level，lane visibility，lead gap，driver available を入力として，L0 からL3 までの段階的なODD level を評価し，速度制限，車線変更許可，handover 要求，hazard lights，停止といった制御制約へ反映する．ADAS を題材とした試作を通じて，固定的なhand-written mode switch ではなく，局所DCS に基づいて段階的にODD を縮退させる試作を示す． |
| （英） | Advanced Driver Assistance Systems (ADAS) cannot always maintain full functionality under degraded environmental and computational conditions. In such situations, stop-only behavior or fixed mode switching is often overly conservative, and a runtime mechanism is needed to determine how much functionality can still be preserved safely. This paper presents a runtime degradation mechanism on Lingua Franca (LF) that connects monitoring, decision making, and control application, generates local FSP models from the current abstract state, invokes Directed Controller Synthesis, and selects the highest feasible degraded ODD level. The mechanism observes latency level, lane visibility, lead gap, and driver available, evaluates ODD levels from L0 to L3, and reflects the result into control constraints such as speed capping, lane-change permission, handover request, hazard lights, and stopping. Through an ADAS prototype, we show an executable skeleton of progressive runtime degradation based on local DCS rather than hand-written fixed mode switches. | |
| キーワード | （和） | Lingua Franca / 指向性制御器合成 / ADAS / 縮退 / ODD / 実行時保証 / / |
| （英） | Lingua Franca / Directed Controller Synthesis / ADAS / Runtime Degradation / ODD / Runtime Assurance / / | |
| 文献情報 | 信学技報, vol. 126, no. 126, KBSE2026-28, pp. 163-168, 2026年7月. | |
| 資料番号 | KBSE2026-28 | |
| 発行日 | 2026-07-15 (SS, KBSE) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | SS2026-28 KBSE2026-28 |
|
| 研究会情報 | |
| 研究会 | SS KBSE IPSJ-SE |
| 開催期間 | 2026-07-22 - 2026-07-24 |
| 開催地（和） | 札幌市教育文化会館 |
| 開催地（英） | |
| テーマ（和） | ソフトウェア工学全般／知能ソフトウェア工学全般／ソフトウェアサイエンス全般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | KBSE |
| 会議コード | 2026-07-SS-KBSE-SE |
| 本文の言語 | 日本語 |
| タイトル（和） | 実行時指向性制御器合成に基づく段階的ODD縮退機構 |
| サブタイトル（和） | 自動運転支援を例としたLingua Franca上の試作 |
| タイトル（英） | A Runtime DCS-Based Mechanism for Progressive ODD Degradation |
| サブタイトル（英） | An Implementation on Lingua Franca with an ADAS Case Study |
| キーワード(1)（和/英） | Lingua Franca / Lingua Franca |
| キーワード(2)（和/英） | 指向性制御器合成 / Directed Controller Synthesis |
| キーワード(3)（和/英） | ADAS / ADAS |
| キーワード(4)（和/英） | 縮退 / Runtime Degradation |
| キーワード(5)（和/英） | ODD / ODD |
| キーワード(6)（和/英） | 実行時保証 / Runtime Assurance |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 石水 優成 / Yusei Ishimizu / イシミズ ユウセイ |
| 第1著者 所属（和/英） | 東京科学大学 (略称： Science Tokyo) Institute of Science Tokyo (略称： Science Tokyo) |
| 第2著者 氏名（和/英/ヨミ） | 生方 寿英 / Toshihide Ubukata / ウブカタ トシヒデ |
| 第2著者 所属（和/英） | 東京科学大学 (略称： Science Tokyo) Institute of Science Tokyo (略称： Science Tokyo) |
| 第3著者 氏名（和/英/ヨミ） | 李 家隆 / Jialong Li / リ カリュウ |
| 第3著者 所属（和/英） | 早稲田大学 (略称： 早大) Waseda University (略称： Waseda Univ.) |
| 第4著者 氏名（和/英/ヨミ） | 鄭 顕志 / Kenji Tei / テイ ケンジ |
| 第4著者 所属（和/英） | 東京科学大学 (略称： Science Tokyo) Institute of Science Tokyo (略称： Science Tokyo) |
| 講演者 | 第1著者 |
| 発表日時 | 2026-07-24 10:35:00 |
| 発表時間 | 20分 |
| 申込先研究会 | KBSE |
| 資料番号 | SS2026-28, KBSE2026-28 |
| 巻番号（vol） | vol.126 |
| 号番号（no） | no.125(SS), no.126(KBSE) |
| ページ範囲 | pp.163-168 |
| ページ数 | 6 |
| 発行日 | 2026-07-15 (SS, KBSE) |
[研究会発表申込システムのトップページに戻る]