お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
講演論文 詳細
技報閲覧サービス
[ログイン]
技報アーカイブ
 トップに戻る 前のページに戻る   [Japanese] / [English] 

講演抄録/キーワード
講演名 2023-03-14 12:05
実行時間の不確実性を考慮した動的検証機能を持つ自己適応システム実装フレームワークの検討
内藤 惇中川博之土屋達弘阪大LOIS2022-64
抄録 (和) いかなる環境下においてもシステムがサービスを提供できることは重要だが,環境変化のたびにシステム管理者が修正を行うことや,ソフトウェア設計時に対処法を記述することは,コスト面や予測不可能性から現実的ではない.そこで,システム自身が動的検証を行い,その振る舞いを変更することで環境に適応する自己適応システムの構築技法の確立が期待されている.実世界を対象としたシステムにおいては,システム要件として時間制約が挙げられる場合がある.時間制約は安全性やユーザビリティの観点から重要なものであるが,システムの実行時間は,外部環境の不確かさにより不確実なものであり,検証時にはこの不確実性の考慮が必要である.本研究では,時間制約を扱うことができ,実行時間の不確実性を考慮した動的な検証機能を備えた自己適応システム実装フレームワークを提案する.本フレームワークでは,時間を扱うことができる統計的モデル検査ツールである UPPAAL SMC を用いて実行時間の不確実性を表し動的検証を行う.本研究では,提案フレームワークを用いて簡単な自己適応システムを実装し,そのシステムの振る舞いを確認することで,有用性を評価する. 
(英)
キーワード (和) 自己適応システム / 時間制約 / 不確実性 / 実装フレームワーク / / / /  
(英) / / / / / / /  
文献情報 信学技報, vol. 122, no. 423, LOIS2022-64, pp. 120-125, 2023年3月.
資料番号 LOIS2022-64 
発行日 2023-03-06 (LOIS) 
ISSN Online edition: ISSN 2432-6380
著作権に
ついて
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)
PDFダウンロード LOIS2022-64

研究会情報
研究会 LOIS  
開催期間 2023-03-13 - 2023-03-14 
開催地(和) 大濱信泉記念館 
開催地(英)  
テーマ(和) ライフログ活用技術、オフィスインフォメーションシステム、ライフインテリジェンス、および一般 
テーマ(英)  
講演論文情報の詳細
申込み研究会 LOIS 
会議コード 2023-03-LOIS 
本文の言語 日本語(英語タイトルなし) 
タイトル(和) 実行時間の不確実性を考慮した動的検証機能を持つ自己適応システム実装フレームワークの検討 
サブタイトル(和)  
タイトル(英)  
サブタイトル(英)  
キーワード(1)(和/英) 自己適応システム /  
キーワード(2)(和/英) 時間制約 /  
キーワード(3)(和/英) 不確実性 /  
キーワード(4)(和/英) 実装フレームワーク /  
キーワード(5)(和/英) /  
キーワード(6)(和/英) /  
キーワード(7)(和/英) /  
キーワード(8)(和/英) /  
第1著者 氏名(和/英/ヨミ) 内藤 惇 / / ナイトウ アツシ
第1著者 所属(和/英) 大阪大学 (略称: 阪大)
(略称: )
第2著者 氏名(和/英/ヨミ) 中川 博之 / / ナカガワ ヒロユキ
第2著者 所属(和/英) 大阪大学 (略称: 阪大)
(略称: )
第3著者 氏名(和/英/ヨミ) 土屋 達弘 / / ツチヤ タツヒロ
第3著者 所属(和/英) 大阪大学 (略称: 阪大)
(略称: )
第4著者 氏名(和/英/ヨミ) / /
第4著者 所属(和/英) (略称: )
(略称: )
第5著者 氏名(和/英/ヨミ) / /
第5著者 所属(和/英) (略称: )
(略称: )
第6著者 氏名(和/英/ヨミ) / /
第6著者 所属(和/英) (略称: )
(略称: )
第7著者 氏名(和/英/ヨミ) / /
第7著者 所属(和/英) (略称: )
(略称: )
第8著者 氏名(和/英/ヨミ) / /
第8著者 所属(和/英) (略称: )
(略称: )
第9著者 氏名(和/英/ヨミ) / /
第9著者 所属(和/英) (略称: )
(略称: )
第10著者 氏名(和/英/ヨミ) / /
第10著者 所属(和/英) (略称: )
(略称: )
第11著者 氏名(和/英/ヨミ) / /
第11著者 所属(和/英) (略称: )
(略称: )
第12著者 氏名(和/英/ヨミ) / /
第12著者 所属(和/英) (略称: )
(略称: )
第13著者 氏名(和/英/ヨミ) / /
第13著者 所属(和/英) (略称: )
(略称: )
第14著者 氏名(和/英/ヨミ) / /
第14著者 所属(和/英) (略称: )
(略称: )
第15著者 氏名(和/英/ヨミ) / /
第15著者 所属(和/英) (略称: )
(略称: )
第16著者 氏名(和/英/ヨミ) / /
第16著者 所属(和/英) (略称: )
(略称: )
第17著者 氏名(和/英/ヨミ) / /
第17著者 所属(和/英) (略称: )
(略称: )
第18著者 氏名(和/英/ヨミ) / /
第18著者 所属(和/英) (略称: )
(略称: )
第19著者 氏名(和/英/ヨミ) / /
第19著者 所属(和/英) (略称: )
(略称: )
第20著者 氏名(和/英/ヨミ) / /
第20著者 所属(和/英) (略称: )
(略称: )
講演者 第1著者 
発表日時 2023-03-14 12:05:00 
発表時間 25分 
申込先研究会 LOIS 
資料番号 LOIS2022-64 
巻番号(vol) vol.122 
号番号(no) no.423 
ページ範囲 pp.120-125 
ページ数
発行日 2023-03-06 (LOIS) 


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会