• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2017 Fiscal Year Research-status Report

A Study on Super Active CPS for Enhancing Adaptability of Artifacts

Research Project

Project/Area Number 17KT0043
Research InstitutionOsaka University

Principal Investigator

中川 博之  大阪大学, 情報科学研究科, 准教授 (40508834)

Co-Investigator(Kenkyū-buntansha) 小林 一樹  信州大学, 学術研究院工学系, 准教授 (00434895)
小形 真平  信州大学, 学術研究院工学系, 助教 (10589279)
土屋 達弘  大阪大学, 情報科学研究科, 教授 (30283740)
冨沢 哲雄  防衛大学校(総合教育学群、人文社会科学群、応用科学群、電気情報学群及びシステム工学群), 電気情報学群, 講師 (60549707)
Project Period (FY) 2017-07-18 – 2021-03-31
Keywords人工物システム / 適応性 / 自己適応システム / プログラミングフレームワーク / 超能動型CPS / ロボット / 組み込みシステム / ソフトウェア工学
Outline of Annual Research Achievements

本研究の目的は,複雑・多様化する環境に対して今後管理コストが増大すると考えられる人工物システムの強化法として,同システムの適応性を向上させる手段を確立することである.具体的には,実世界の人工物システムの管理手段として用いられ始めているCPS(Cyber-Physical System)のシステム体系に,ロボットなどの実空間に作用してシステム全体を進化させることのできる作用素を組み込むことで実空間に積極的に作用する超能動型CPSを実現し,超能動型CPSで人工物システムを内包することで,人工物システムの適応性を向上させる.平成29年度は各実施計画に従って以下を実施した.
・サブテーマ1.超能動型CPSにおける実世界指向モデリングおよびデータ分析法の検討:本研究が対象とするCPSの多様な関心事を分類して分析可能な開発支援エディタTORTEを設計・実装した.本研究成果は国際会議MODELS2017のツールデモセッションに採録され,同会議で報告している.
・サブテーマ2.超能動型CPSにおけるロボット連携機構の構築:超能動型CPSの構成要素であるロボットのプロトタイプとして,簡易移動型ロボットを実装した.また,連携機構を検討するとともに,ロボットアプリケーションのライブラリとして期待されているROSの有効性を調査した.
・サブテーマ3.超能動型CPSにおける適応性向上メカニズムの構築:適応性向上のための実装フレームワークを設計し,プロトタイプを実装した.本研究成果の一部をまとめた論文が,国際会議COMPSAC2018に採録された.

Current Status of Research Progress
Current Status of Research Progress

1: Research has progressed more than it was originally planned.

Reason

期中からの研究スタートであったが,サブテーマ1とサブテーマ3に関して,初期の研究成果がそれぞれ国際会議MODELS,COMPSACに採録され,提案アプローチの有効性を客観的に実証することができた.またサブテーマ2のロボット連携機構についても,移動型ロボットのプロトタイプを構築することができ,当初平成30年度に検討予定であったテーマ4の実証実験の見通しを議論できる状態になった.

Strategy for Future Research Activity

今年度は,当初の計画通り研究を進め,昨年度の研究成果に基づき,各課題への解決を図る.可能なものはスケジュールを前倒しして,計画を実施する.
サブテーマ1~サブテーマ3については,実施内容を深化させ,各課題に対する解決策を検討,実装する.サブテーマ1「超能動型CPSにおける実世界指向モデリングおよびデータ分析法の検討」については,昨年度実装した開発支援エディタに対し,人工物システムの適応性に着目した設計手法の追加を検討する.サブテーマ2「超能動型CPSにおけるロボット連携機構の構築」については,昨年度実装した実装フレームワークとロボットとの連携メカニズムについて検討する.並行して,これらの成果をそれぞれ国内シンポジウムや国際会議へ投稿し,研究成果を発表する.サブテーマ3「超能動型CPSにおける適応性向上メカニズムの構築」については,実装フレームワークの完成度を高め,安全性検証メカニズムについても検討を開始する.
サブテーマ4「超能動型CPSフレームワークの構築および農園管理システムの開発,実験,評価」については,検証実験のシナリオを検討し,可能であれば必要となるシステムの開発を開始する.

Causes of Carryover

調査・研究成果発表のための旅費は概ね当初の予定通り執行したが,三次元センサ,ロボットアームなどの高額物品の導入を実利用の今年度以降に変更したため,一部予算を繰り越すこととした.

  • Research Products

    (46 results)

All 2018 2017

All Journal Article (23 results) (of which Peer Reviewed: 21 results,  Open Access: 1 results) Presentation (22 results) Book (1 results)

  • [Journal Article] A Framework for Updating Functionalities Based on the MAPE Loop Mechanism2018

    • Author(s)
      Shinya Tsuchida, Hiroyuki Nakagawa, Emiliano Tramontana, Andrea Fornaia, Tatsuhiro Tsuchiya
    • Journal Title

      Proc. of the 42nd IEEE Computer Software and Applications Conference (COMPSAC 2018)

      Volume: - Pages: 38-47

    • DOI

      10.1109/COMPSAC.2018.00014

    • Peer Reviewed
  • [Journal Article] 文書間の類似度に基づいた要求カバレッジ可視化手法2018

    • Author(s)
      松井 勝利、中川 博之、土屋 達弘
    • Journal Title

      コンピュータ ソフトウェア

      Volume: 35 Pages: 1_67~1_75

    • DOI

      https://doi.org/10.11309/jssst.35.1_67

    • Peer Reviewed / Open Access
  • [Journal Article] Constructing a Goal Model from Requirements Descriptions Based on Extraction Rules2018

    • Author(s)
      Shimada Hironori、Nakagawa Hiroyuki、Tsuchiya Tatsuhiro
    • Journal Title

      Proc. of the 4th Asia Pacific Requirements Engineering Symposium (APRES 2017)

      Volume: - Pages: 175~188

    • DOI

      https://doi.org/10.1007/978-981-10-7796-8_14

    • Peer Reviewed
  • [Journal Article] MAPEループを用いたIoTデバイスの効率的な再利用法の検討2018

    • Author(s)
      土田真也,中川博之,土屋達弘
    • Journal Title

      ウィンターワークショップ2018・イン・宮島(WWS2018)

      Volume: - Pages: 74-75

    • Peer Reviewed
  • [Journal Article] ORTEによるIoTシステムモデリングの実践 ~農園画像モニタリングシステムを事例として~2018

    • Author(s)
      小形真平,小林一樹,青木善貴,中川博之
    • Journal Title

      ウィンターワークショップ2018・イン・宮島(WWS2018)

      Volume: - Pages: 72-73

    • Peer Reviewed
  • [Journal Article] Visualization of Specification Coverage: A Case Study of a Web Application Development in Industry2017

    • Author(s)
      Nakagawa Hiroyuki、Hasegawa Toshinobu、Matsui Shori、Tsuchiya Tatsuhiro
    • Journal Title

      Proc. of the IEEE 28th International Symposium on Software Reliability Engineering (ISSRE 2017), (Industry track)

      Volume: - Pages: 77-80

    • DOI

      10.1109/ISSREW.2017.19

    • Peer Reviewed
  • [Journal Article] A Tool to Edit and Verify IoT System Architecture Model2017

    • Author(s)
      Shinpei Ogata, Hiroyuki Nakagawa, Yoshitaka Aoki, Kazuki Kobayashi, Yuko Fukushima
    • Journal Title

      Proc. of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), (Tools and Demonstrations track)

      Volume: - Pages: 571-575

    • Peer Reviewed
  • [Journal Article] A Visualization of Specification Coverage Based on Document Similarity2017

    • Author(s)
      Nakagawa Hiroyuki、Matsui Shori、Tsuchiya Tatsuhiro
    • Journal Title

      Proc. of the 39th International Conference on Software Engineering (ICSE 2017)

      Volume: - Pages: 136-138

    • DOI

      10.1109/ICSE-C.2017.117

    • Peer Reviewed
  • [Journal Article] ソフトウェア工学の最前線 ~ソフトウェアが社会のすべてを定義する時代~:[未来に向かって]IoT時代の環境適応型ソフトウェア2017

    • Author(s)
      中川博之,鄭顕志,田原康之
    • Journal Title

      情報処理

      Volume: 58(8) Pages: 702-704

  • [Journal Article] ER 2016参加報告2017

    • Author(s)
      中川 博之、小林 努、林 晋平、吉岡 信和、鵜林 尚靖
    • Journal Title

      コンピュータ ソフトウェア

      Volume: 34 Pages: 3_75~3_80

    • DOI

      https://doi.org/10.11309/jssst.34.3_75

    • Peer Reviewed
  • [Journal Article] ばねモデルに基づいた要求カバレッジ可視化ビューアの構築2017

    • Author(s)
      松井勝利,中川博之,土屋達弘
    • Journal Title

      ソフトウェア工学の基礎ワークショップ FOSE 2017

      Volume: - Pages: 43-52

    • Peer Reviewed
  • [Journal Article] Using Difference Images to Detect Pedestrian Signal Changes2017

    • Author(s)
      Tomizawa Tetsuo、Moriai Ryunosuke
    • Journal Title

      Journal of Robotics and Mechatronics

      Volume: 29 Pages: 706~711

    • DOI

      10.20965/jrm.2017.p0706

    • Peer Reviewed
  • [Journal Article] Mobile Robot Navigation Utilizing the WEB Based Aerial Images Without Prior Teaching Run2017

    • Author(s)
      Muramatsu Satoshi、Tomizawa Tetsuo、Kudoh Shunsuke、Suehiro Takashi
    • Journal Title

      Journal of Robotics and Mechatronics

      Volume: 29 Pages: 697~705

    • DOI

      10.20965/jrm.2017.p0697

    • Peer Reviewed
  • [Journal Article] On the Generation of Human-oriented Counter-examples using a Test Automaton2017

    • Author(s)
      C. Yanagisawa, S. Ogata, K. Okano
    • Journal Title

      International Journal of Informatics Society

      Volume: 9(1) Pages: 41-50

    • Peer Reviewed
  • [Journal Article] A rule-based method of stepwise evaluating class diagrams2017

    • Author(s)
      S. Ogata, K. Miyajima, M. Kayama, K. Okano
    • Journal Title

      Proc. of the International Workshop on Informatics (IWIN 2017)

      Volume: - Pages: 141-146

    • Peer Reviewed
  • [Journal Article] SMart-Learning: State Machine Simulators for Developing Thinking Skills2017

    • Author(s)
      S. Ogata, M. Kayama, K. Okano
    • Journal Title

      Proc. of the 2017 IEEE 17th International Conference on Advanced Learning Technologies (ICALT 2017)

      Volume: - Pages: 81-83

    • Peer Reviewed
  • [Journal Article] Traceability Link Mining - Focusing on Usability -2017

    • Author(s)
      Y. Yazawa, S. Ogata, K. Okano, H. Kaiya, H. Washizaki
    • Journal Title

      Proc. of the 41st IEEE Computer Society Signature Conference on Computers, Software, and Applications (COMPSAC 2017), Fast Abstract

      Volume: - Pages: 286-287

    • Peer Reviewed
  • [Journal Article] 共同作業における概念モデル洗練支援ツールの試作2017

    • Author(s)
      丸山美咲, 小形真平, 岡野浩三, 香山瑞恵
    • Journal Title

      第24回ソフトウェア工学の基礎ワークショップ FOSE 2017

      Volume: - Pages: 251-252

    • Peer Reviewed
  • [Journal Article] 画面遷移モデルに着目したユーザビリティパターン抽出手法の提案2017

    • Author(s)
      矢澤幸也, 小形真平, 岡野浩三, 海谷治彦, 鷲崎弘宜
    • Journal Title

      ソフトウェアエンジニアリングシンポジウム2017

      Volume: - Pages: 167-174

    • Peer Reviewed
  • [Journal Article] Data access control for energy-related services in smart public infrastructures2017

    • Author(s)
      Kawada Yohei、Yano Kojin、Mizuno Yoshihiro、Tsuchiya Tatsuhiro、Fujisaki Yasumasa
    • Journal Title

      omputers in Industry

      Volume: 88 Pages: 35~43

    • DOI

      https://doi.org/10.1016/j.compind.2017.03.002

    • Peer Reviewed
  • [Journal Article] Constrained locating arrays for combinatorial interaction testing2017

    • Author(s)
      Hao Jin, Tatsuhiro Tsuchiya
    • Journal Title

      arxiv

      Volume: - Pages: 1-12

  • [Journal Article] 大量高精細画像からの果実生育情報の抽出2017

    • Author(s)
      Genno Hirokazu、Kobayashi Kazuki
    • Journal Title

      農業情報研究

      Volume: 26 Pages: 100~114

    • DOI

      https://doi.org/10.3173/air.26.100

    • Peer Reviewed
  • [Journal Article] Projection mapping of behavioral expressions onto manufactured figures for speech interaction2017

    • Author(s)
      Ishihara Yoshihisa、Kobayashi Kazuki
    • Journal Title

      Proc. of the 26th IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN 2017)

      Volume: - Pages: 12-16

    • DOI

      10.1109/ROMAN.2017.8172273

    • Peer Reviewed
  • [Presentation] 質問フローに基づくゴールモデル構築手法の提案2018

    • Author(s)
      島田裕紀,中川博之,土屋達弘
    • Organizer
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
  • [Presentation] 時間制約を考慮可能な自己適応システム実装フレームワークの検討2018

    • Author(s)
      津田宏軌,中川博之,土屋達弘
    • Organizer
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
  • [Presentation] 焼きなまし法によるロケーティングアレイの生成2018

    • Author(s)
      小西達也,小島英春,中川博之,土屋達弘
    • Organizer
      電子情報通信学会ディペンダブルコンピューティング研究会(DC)
  • [Presentation] MAPEループ構造に基づいた機能更新フレームワークに関する考察2018

    • Author(s)
      土田真也,中川博之,土屋達弘
    • Organizer
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
  • [Presentation] 可搬型汎用自律移動ロボットType17 Red Armored Buggy2018

    • Author(s)
      渋谷正利, 原木修土, 冨沢哲雄
    • Organizer
      つくばチャレンジ2017開催記念シンポジウム
  • [Presentation] STAMP/STPA単線列車例題に対する時間オートマトンモデル検査の適用と考察2018

    • Author(s)
      岡野浩三, 小形真平, Pan Yang, 岡本圭史
    • Organizer
      電子情報通信学会技術研究報告SS
  • [Presentation] 画面遷移モデリングとWebレイアウト設計の協業支援ツールの試作 ~ Front-End Frameworkを用いたWebsite Builderの併用 ~2018

    • Author(s)
      岩堀航平, 小形真平, 岡野浩三
    • Organizer
      電子情報通信学会技術研究報告KBSE
  • [Presentation] STAMP/STPAを用いたCyber-Physical Systemsの検証2017

    • Author(s)
      青木善貴,小形真平,中川博之
    • Organizer
      IPA 第2回STAMPワークショップ (Japanese STAMP Workshop)
  • [Presentation] IoTシステムのアーキテクチャモデルを用いた安全性の検証2017

    • Author(s)
      青木善貴,小形真平,中川博之
    • Organizer
      ソフトウェア工学の基礎ワークショップ(FOSE2017)
  • [Presentation] SATソルバを使用したロケーティングアレイの生成手法について2017

    • Author(s)
      小西達也,小島英春,中川博之,土屋達弘
    • Organizer
      電子情報通信学会 システム数理と応用研究会(SIG-MSS)
  • [Presentation] IoTシステムアーキテクチャのモデリング記法によるモデル検査支援手法の試作と評価2017

    • Author(s)
      小形真平,青木善貴,中川博之,小林一樹,福島祐子
    • Organizer
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE),電子情報通信学会 ソフトウェアサイエンス研究会 (SIG-SS),情報処理学会 ソフトウェア工学研究会 (SIGSE)合同研究発表会
  • [Presentation] レーザー距離センサへの目隠し攻撃による影響2017

    • Author(s)
      原木修土, 渋谷正利, 冨沢哲雄
    • Organizer
      第18回計測自動制御学会SI部門講演会
  • [Presentation] 可搬型汎用自律移動ロボットType17 RABの開発2017

    • Author(s)
      渋谷正利, 原木修土, 冨沢哲雄, 田中良道, 西田健
    • Organizer
      第18回計測自動制御学会SI部門講演会
  • [Presentation] 差分画像を利用した歩行者用信号の切り替わり検出2017

    • Author(s)
      冨沢哲雄, 森合隆之介
    • Organizer
      日本機械学会Robomec2017
  • [Presentation] SMTを用いた制約付きロケーティングアレイの生成について2017

    • Author(s)
      金浩, 崔銀惠, 土屋達弘
    • Organizer
      電子情報通信学会ディペンダブルコンピューティング研究会(DC)
  • [Presentation] A curtain rail based outdoor scanning system for crop monitoring2017

    • Author(s)
      Narayan Sharma, Kazuki Kobayashi
    • Organizer
      平成 29 年度電子情報通信学会 信州大学 Student Branch 論文発表会
  • [Presentation] 農園画像を用いた深層学習によるリンゴ果実の生育情報抽出2017

    • Author(s)
      中村俊輝,小林一樹
    • Organizer
      農業情報学会・電子情報通信学会 知的環境とセンサネットワーク研究会連催 合同研究会,農業×情報通信ワークショップ2017
  • [Presentation] ベアメタル型マイクロコントローラによるフィールドモニタリングシステム運用の効率化2017

    • Author(s)
      下林史弥,小林一樹
    • Organizer
      017年度 農業情報学会・電子情報通信学会 知的環境とセンサネットワーク研究会連催 合同研究会,農業×情報通信ワークショップ2017
  • [Presentation] A Monorail Based Real-time Crop Scanner Using Camera and Laser Rangefinder2017

    • Author(s)
      シャルマ ナラヤン,小林一樹
    • Organizer
      2017年度 農業情報学会・電子情報通信学会 知的環境とセンサネットワーク研究会連催 合同研究会,農業×情報通信ワークショップ2017
  • [Presentation] ベアメタル型マイクロコントローラを用いたロバストフィールドモニタリング2017

    • Author(s)
      下林史弥,小林一樹
    • Organizer
      電子情報通信学会 信越支部大会
  • [Presentation] 深層学習におけるリンゴ果実サイズ特定のための訓練画像生成手法2017

    • Author(s)
      中村俊輝,小林一樹
    • Organizer
      電子情報通信学会 信越支部大会
  • [Presentation] クラウドセットアップ可能なフィールドモニタリングシステムの開発2017

    • Author(s)
      小林一樹,野口遥平
    • Organizer
      農業情報学会2017年度年次大会
  • [Book] マルチエージェントによる自律ソフトウェア設計・開発 (マルチエージェントシリーズ)2017

    • Author(s)
      大須賀昭彦,田原康之,中川博之,川村隆浩
    • Total Pages
      210
    • Publisher
      コロナ社

URL: 

Published: 2018-12-17  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi