想定外に備えた空間制御ソフトウェアの分析・設計・検証手法

2014 年度 実績報告書

• 研究課題/領域番号: 24240003
• 研究機関: 国立情報学研究所
• 研究代表者: 本位田 真一 国立情報学研究所, アーキテクチャ科学研究系, 教授 (70332153)
• 研究分担者: 鄭 顕志 国立情報学研究所, アーキテクチャ科学研究系, 助教 (40434295) ; 石川 冬樹 国立情報学研究所, コンテンツ科学研究系, 准教授 (50455193)
• 研究期間 (年度): 2012-04-01 – 2015-03-31
• キーワード: ソフトウェア工学 / ソフトウェアアーキテクチャ / ソフトウェア開発プロセス

研究実績の概要

平成26年度は，平成25年度までの成果の統合とその評価を目的として研究活動を実施した．まず，平成25年度までにの成果となる空間制御システムに関する分析，設計，検証手法を統合し，制御ループモデルを中心とした空間制御ソフトウェアの開発プロセスを構築した．さらに，平成25年度に開発した分析工程，設計工程，検証工程を支援するツール群をつなぐツールチェインを構築した．具体的には，分析，設計工程で用いるCASEツールCASEツールによって作成されたモデルを検証用のモデルに変換する変換ツールを開発した．
次に，開発したプロセスを用いた評価実験を行った．評価実験では，国立情報学研究所内のスマートルームを用いた清掃ロボットによる室内自動清掃システムを実装した．室内に配置された位置センサーを入力，清掃ロボットを出力とし，それらを統合，制御する空間制御ソフトウェアを，提案した手法を活用して構築した．さらに，清掃機能の追加や，非機能要求の追加を想定したソフトウェア進化を行い，本提案手法の有効性を評価した．
さらに，研究成果の公開を行った．研究成果を，国際会議，論文誌等で発表し，構築したツールや実装した環境制御ソフトウェアをWeb上で公開した．

現在までの達成度 (段落)

26年度が最終年度であるため、記入しない。

今後の研究の推進方策

26年度が最終年度であるため、記入しない。

研究成果

• [雑誌論文] Model-Driven-Development-based Stepwise Software Development Process for Wireless Sensor Networks (2015)
  • 著者名/発表者名: Kenji Tei, Ryo Shimizu, Yoshiaki Fukazawa, Shinichi Honiden
  • 雑誌名: IEEE Transactions on Systems, Man, and Cybernetics: Systems 巻: 45 (4) ページ: 675-687
  • DOI: 10.1109/TSMC.2014.2360506
  • 査読あり
• [雑誌論文] Broker-based SLA-aware composite service provisioning (2014)
  • 著者名/発表者名: Quanwang Wu, Qingsheng Zhu, Xing Jian, Fuyuki Ishikawa
  • 雑誌名: Journal of Systems and Software 巻: 96 ページ: 194-201
  • DOI: 10.1016/j.jss.2014.06.027
  • 査読あり
• [雑誌論文] A Graph-based Approach Enhancing Correctness and Speed of Web Services Composition through Explicit Specification of Functional Semantics (2014)
  • 著者名/発表者名: Dong-Hoon Shin, Kyong-Ho Lee, Fuyuki Ishikawa
  • 雑誌名: International Journal of Web and Grid Services (IJWGS) 巻: 10 (4) ページ: 297-318
  • DOI: 10.1504/IJWGS.2014.064913
  • 査読あり
• [雑誌論文] SanGA: A Self-adaptive Network-aware Approach to Service Composition (2014)
  • 著者名/発表者名: Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden
  • 雑誌名: IEEE Transactions on Services Computing 巻: 7 (3) ページ: 452-464
  • DOI: 10.1109/TSC.2013.2
  • 査読あり
• [学会発表] Evaluating Impact of Live Migration on Data Center Energy Saving (2014)
  • 著者名/発表者名: Soramichi Akiyama, Takahiro Hirofuchi and Shinichi Honiden
  • 学会等名: 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2014)
  • 発表場所: Singapore, Singapore
  • 年月日: 2014-12-15 – 2014-12-18
• [学会発表] Toward A Portability Framework with Multi-Level Models for Wireless Sensor Network Software (2014)
  • 著者名/発表者名: Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
  • 学会等名: The 2014 International Conference on Smart Computing (SMARTCOMP 2014)
  • 発表場所: Hong Kong, China
  • 年月日: 2014-11-03 – 2014-11-05
• [学会発表] Supporting Model Transformation Developments with Multi-Level Models: A Wireless Sensor Network Case (2014)
  • 著者名/発表者名: Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
  • 学会等名: the 11th International Conference Applied Computing 2014 (AC 2014)
  • 発表場所: Porto, Portugal
  • 年月日: 2014-10-25 – 2014-10-27
• [学会発表] Validating Ajax Applications Using a Delay-Based Mutation Technique (2014)
  • 著者名/発表者名: Yuta Maezawa, Kazuki Nishiura, Hironori Washizaki, Shinichi Honiden
  • 学会等名: The 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014)
  • 発表場所: Vasteras, Sweden
  • 年月日: 2014-09-15 – 2014-09-19
• [学会発表] HoppingDuster : Self-adaptive Cleaning Robot based on Aerial Vehicle (2014)
  • 著者名/発表者名: Kenji Tei, Shunichiro Suenaga, Shun Lee, Kazuya Aizawa, Ryuichi Takahashi, and Yoshiaki Fukazawa
  • 学会等名: The 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp 2014)
  • 発表場所: Seattle, USA
  • 年月日: 2014-09-13 – 2014-09-17
• [学会発表] Towards Service Skyline for Multi-granularity Service Composition (2014)
  • 著者名/発表者名: Quanwang Wu, Fuyuki Ishikawa
  • 学会等名: International Workshop on Web Intelligence and Smart Sensing (IWWISS 2014)
  • 発表場所: Saint Etienne, France
  • 年月日: 2014-09-01 – 2014-09-02
• [学会発表] Project Management Inspired Framework for Action Selection in Wireless Sensor Networks (2014)
  • 著者名/発表者名: Shunichiro Suenaga, and Kenji Tei
  • 学会等名: Asia Pacific Conference on Wireless and Mobile (APWiMob 2014)
  • 発表場所: Bali, Indonesia
  • 年月日: 2014-08-28 – 2014-08-30
• [学会発表] Fast Live Migration with Small IO Performance Penalty by Exploiting SAN in Parallel (2014)
  • 著者名/発表者名: Soramichi Akiyama, Takahiro Hirofuchi, Ryousei Takano and Shinichi Honiden
  • 学会等名: The 2014 IEEE 7th International Conference on Cloud Computing (IEEE CLOUD'14)
  • 発表場所: Alaska, USA
  • 年月日: 2014-06-27 – 2014-07-02
• [学会発表] Understanding and Planning Event-B Refinement through Primitive Rationales (2014)
  • 著者名/発表者名: Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
  • 学会等名: The 4th International ABZ 2014 Conference
  • 発表場所: Toulouse, France
  • 年月日: 2014-06-02 – 2014-06-06
• [学会発表] Takayuki Suzuki, Kazunori Sakamoto, Fuyuki Ishikawa and Shinichi Honiden (2014)
  • 著者名/発表者名: An Approach for Evaluating and Suggesting Method Names using N-gram Models
  • 学会等名: The 22nd International Conference on Program Comprehension
  • 発表場所: Hyderabad, India
  • 年月日: 2014-06-02 – 2014-06-03
• [学会発表] Sample Efficiency Improvement on Neuroevolution via Estimation-Based Elimination Strategy (2014)
  • 著者名/発表者名: Shengbo Xu, Yuki Inoue, Tetsunari Inamura, Hirotaka Moriguchi, Shinichi Honiden
  • 学会等名: The 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2014)
  • 発表場所: Paris, France
  • 年月日: 2014-05-05 – 2014-05-09