講演名 | 2018-03-02 時間制約を考慮可能な自己適応システム実装フレームワークの検討 津田 宏軌(阪大), 中川 博之(阪大), 土屋 達弘(阪大), |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 自己適応システムは環境の変化などに適応し,自ら振る舞いを変化させることができるシステムである.その特徴から振る舞い変更の自動化や不確かな環境下での動作が可能になると期待されている.本研究では組み込みシステムを扱うことを考慮した自己適応システム実装フレームワークを提案を目指す.特に,組み込みシステムにとって重要な要因となりうる時間制約に着目し,さらに時間制約を考慮することのできる自己適応システム実装フレームワークの実現を目指す.提案フレームワークを用いたシステムの実装・動作実験を通じてその有効性を示す. |
抄録(英) | Self-adaptive systems can adapt to environment changes and changes of internal conditions. In embedded systems that have time constraints, an increase of processing time causes a delay of behavior and may result in system failure. In this paper, we discuss a programming framework for self-adaptive systems that has a mechanism for verifying system behaviors against time constraints. The feasibility of our framework is demonstrated by an implementation of a simple self-adaptive system. |
キーワード(和) | 自己適応システム / 組み込みシステム / 時間制約 / 実装フレームワーク |
キーワード(英) | self-adaptive systems / embedded systems / time constraints / programming frameworks |
資料番号 | KBSE2017-59 |
発行日 | 2018-02-22 (KBSE) |
研究会情報 | |
研究会 | KBSE |
---|---|
開催期間 | 2018/3/1(から2日開催) |
開催地(和) | 石垣市民会館 中ホール |
開催地(英) | |
テーマ(和) | 一般 |
テーマ(英) | |
委員長氏名(和) | 金田 重郎(同志社大) |
委員長氏名(英) | Shigeo Kaneda(Doshisha Univ.) |
副委員長氏名(和) | 粂野 文洋(日本工大) |
副委員長氏名(英) | Fumihiro Kumeno(Nippon Inst. of Tech.) |
幹事氏名(和) | 岩田 一(神奈川工科大) / 櫻井 孝平(金沢大) |
幹事氏名(英) | Hajime Iwata(Kanagawa Inst. of Tech.) / Kohei Sakurai(Kanazawa Univ.) |
幹事補佐氏名(和) | 猿渡 卓也(NTT) / 木村 功作(富士通研) |
幹事補佐氏名(英) | Takuya Saruwatari(NTT) / Kosaku Kimura(Fujitsu labs.) |
講演論文情報詳細 | |
申込み研究会 | Technical Committee on Knowledge-Based Software Engineering |
---|---|
本文の言語 | JPN |
タイトル(和) | 時間制約を考慮可能な自己適応システム実装フレームワークの検討 |
サブタイトル(和) | |
タイトル(英) | A Study on a Programming Framework for Self-Adaptive Systems |
サブタイトル(和) | Dynamic Verification Considering Time Constraints |
キーワード(1)(和/英) | 自己適応システム / self-adaptive systems |
キーワード(2)(和/英) | 組み込みシステム / embedded systems |
キーワード(3)(和/英) | 時間制約 / time constraints |
キーワード(4)(和/英) | 実装フレームワーク / programming frameworks |
第 1 著者 氏名(和/英) | 津田 宏軌 / Hiroki Tsuda |
第 1 著者 所属(和/英) | 大阪大学(略称:阪大) Osaka University(略称:Osaka Univ.) |
第 2 著者 氏名(和/英) | 中川 博之 / Hiroyuki Nakagawa |
第 2 著者 所属(和/英) | 大阪大学(略称:阪大) Osaka University(略称:Osaka Univ.) |
第 3 著者 氏名(和/英) | 土屋 達弘 / Tatsuhiro Tsuchiya |
第 3 著者 所属(和/英) | 大阪大学(略称:阪大) Osaka University(略称:Osaka Univ.) |
発表年月日 | 2018-03-02 |
資料番号 | KBSE2017-59 |
巻番号(vol) | vol.117 |
号番号(no) | KBSE-465 |
ページ範囲 | pp.121-126(KBSE), |
ページ数 | 6 |
発行日 | 2018-02-22 (KBSE) |