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

A Study of Flexibility Enhancement Based on a Self-adaptive Mechanism

Research Project

Project/Area Number 15K00097
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Research Field Software
Research InstitutionOsaka University

Principal Investigator

Nakagawa Hiroyuki  大阪大学, 情報科学研究科, 准教授 (40508834)

Project Period (FY) 2015-04-01 – 2018-03-31
Project Status Completed (Fiscal Year 2017)
Budget Amount *help
¥4,680,000 (Direct Cost: ¥3,600,000、Indirect Cost: ¥1,080,000)
Fiscal Year 2017: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2016: ¥2,080,000 (Direct Cost: ¥1,600,000、Indirect Cost: ¥480,000)
Fiscal Year 2015: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Keywordsソフトウェア進化 / 自己適応システム / 組み込みシステム / プログラミングフレームワーク / 要求工学 / ソフトウェア工学 / 自己適応メカニズム
Outline of Final Research Achievements

This study aims to enhance the flexibility of software systems that generally hard to be changed, such as embedded systems and legacy systems. In order to realize this, we use the MAPE (Monitor-Analyze-Plan-Execute) loop mechanism, which is a mechanism for realizing self-adaptation. We developed the extension mechanism by deploying a programming framework for implementing new functions using the MAPE loop mechanism on Raspberry Pi. We conducted an experiment in which we added new functions to a cleaning robot and demonstrated that the mechanism can efficiently add new functions to software systems that are generally hard to be changed.

Report

(4 results)
  • 2017 Annual Research Report   Final Research Report ( PDF )
  • 2016 Research-status Report
  • 2015 Research-status Report
  • Research Products

    (53 results)

All 2018 2017 2016 2015 Other

All Int'l Joint Research (1 results) Journal Article (18 results) (of which Int'l Joint Research: 1 results,  Peer Reviewed: 17 results,  Open Access: 3 results) Presentation (32 results) (of which Int'l Joint Research: 9 results,  Invited: 1 results) Book (1 results) Remarks (1 results)

  • [Int'l Joint Research] University of Catania(Italy)

    • Related Report
      2017 Annual Research Report
  • [Journal Article] A Requirements Coverage Visualization Approach Based on Document Similarities2018

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

      Computer Software

      Volume: 35 Issue: 1 Pages: 1_67-1_75

    • DOI

      10.11309/jssst.35.1_67

    • NAID

      130006555543

    • ISSN
      0289-6540
    • Related Report
      2017 Annual Research Report
    • 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

      10.1007/978-981-10-7796-8_14

    • ISBN
      9789811077951, 9789811077968
    • Related Report
      2017 Annual Research Report
    • Peer Reviewed
  • [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: -

    • Related Report
      2017 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] A Document-based Parameter Correlation Metric for Test Design2018

    • Author(s)
      Hiroyuki Nakagawa, Nobukazu Ishii, Tatsuhiro Tsuchiya
    • Journal Title

      Proc. of the 30th International Conference on Software Engineering & Knowledge Engineering (SEKE 2018)

      Volume: -

    • Related Report
      2017 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Improvement of User Reviews Classification Using Keyword Expansion2018

    • Author(s)
      Kazuyuki Higashi, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • Journal Title

      Proc. of the 30th International Conference on Software Engineering & Knowledge Engineering (SEKE 2018)

      Volume: -

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

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

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

      Volume: - Pages: 74-75

    • NAID

      170000176299

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

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

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

      Volume: - Pages: 72-73

    • NAID

      170000176298

    • Related Report
      2017 Annual Research Report
    • 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

    • Related Report
      2017 Annual Research Report
    • 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

    • Related Report
      2017 Annual Research Report
    • 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

    • Related Report
      2017 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Report on ER 20162017

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

      Computer Software

      Volume: 34 Issue: 3 Pages: 3_75-3_80

    • DOI

      10.11309/jssst.34.3_75

    • NAID

      130006099406

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

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

      情報処理

      Volume: 58(8) Pages: 702-704

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

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

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

      Volume: - Pages: 43-52

    • Related Report
      2017 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Goal Oriented Refinement Pattern Driven Use Case Modelling2016

    • Author(s)
      本田耕三,平山秀昭,中川博之,田原康之,大須賀昭彦
    • Journal Title

      電子情報通信学会論文誌D 情報・システム

      Volume: J99-D Issue: 3 Pages: 238-254

    • DOI

      10.14923/transinfj.2015PDP0017

    • NAID

      120006606171

    • ISSN
      1880-4535, 1881-0225
    • Year and Date
      2016-03-01
    • Related Report
      2015 Research-status Report
    • Peer Reviewed
  • [Journal Article] A Search-Based Constraint Elicitation in Test Design2016

    • Author(s)
      Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E99.D Issue: 9 Pages: 2229-2238

    • DOI

      10.1587/transinf.2015KBP0010

    • NAID

      130005262028

    • ISSN
      0916-8532, 1745-1361
    • Related Report
      2016 Research-status Report
    • Peer Reviewed
  • [Journal Article] Iterative Improvement of Human Pose Classification Using Guide Ontology2016

    • Author(s)
      Kazuhiro Tashiro, Takahiro Kawamura, Yuichi Sei, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E99.D Issue: 1 Pages: 236-247

    • DOI

      10.1587/transinf.2015EDP7067

    • NAID

      130005116170

    • ISSN
      0916-8532, 1745-1361
    • Related Report
      2015 Research-status Report
    • Peer Reviewed
  • [Journal Article] A Proposal of Recommendation Agents for Surprising Recipes2015

    • Author(s)
      池尻恭介, 清雄一, 中川博之, 田原康之, 大須賀昭彦
    • Journal Title

      電子情報通信学会論文誌D 情報・システム

      Volume: J98-D Issue: 6 Pages: 971-981

    • DOI

      10.14923/transinfj.2014SWP0007

    • NAID

      120006623707

    • ISSN
      1880-4535, 1881-0225
    • Year and Date
      2015-06-01
    • Related Report
      2015 Research-status Report
    • Peer Reviewed
  • [Journal Article] Transformation of KAOS Goal Models to BPMN Models Using Refinement Patterns2015

    • Author(s)
      堀田大貴,本田耕三,平山秀昭,清雄一,中川博之,田原康之,大須賀昭彦
    • Journal Title

      Computer Software

      Volume: 32 Issue: 4 Pages: 4_141-4_160

    • DOI

      10.11309/jssst.32.4_141

    • NAID

      130005130094

    • ISSN
      0289-6540
    • Related Report
      2015 Research-status Report
    • Peer Reviewed / Open Access
  • [Presentation] 質問フローに基づくゴールモデル構築手法の提案2018

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

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

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

    • Author(s)
      土田真也,中川博之,土屋達弘
    • Organizer
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
    • Related Report
      2017 Annual Research Report
  • [Presentation] A Visualization of Specification Coverage Based on Document Similarity2017

    • Author(s)
      Hiroyuki Nakagawa, Shori Matsui, Tatsuhiro Tsuchiya
    • Organizer
      The 39th International Conference on Software Engineering (ICSE 2017)
    • Place of Presentation
      Buenos Aires, Argentina
    • Year and Date
      2017-05-24
    • Related Report
      2016 Research-status Report
    • Int'l Joint Research
  • [Presentation] 抽出ルールに基づいた要求記述からの ゴールモデルの構築支援2017

    • Author(s)
      島田裕紀,中川博之,小島英春,土屋達弘
    • Organizer
      情報処理学会 研究報告ソフトウェア工学(SE)
    • Place of Presentation
      早稲田大学,東京
    • Year and Date
      2017-03-12
    • Related Report
      2016 Research-status Report
  • [Presentation] 文書中の単語出現頻度を利用したトピックモデル洗練化2017

    • Author(s)
      高橋仁,中川博之,土屋達弘
    • Organizer
      情報処理学会 研究報告ソフトウェア工学(SE)
    • Place of Presentation
      早稲田大学,東京
    • Year and Date
      2017-03-12
    • Related Report
      2016 Research-status Report
  • [Presentation] システム環境の変化傾向に基づいた効率的な構成切 り替え手法2017

    • Author(s)
      妙見侑祐,中川博之,土屋達弘
    • Organizer
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
    • Place of Presentation
      金沢
    • Year and Date
      2017-03-03
    • Related Report
      2016 Research-status Report
  • [Presentation] キャッシュの効率利用による自己適応シ ステムの動的モデル検査法改善2017

    • Author(s)
      外山大夢,中川博之,小島英春,土屋達弘
    • Organizer
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
    • Place of Presentation
      金沢
    • Year and Date
      2017-03-03
    • Related Report
      2016 Research-status Report
  • [Presentation] IoT システムの要求分析支援手法の実現 に向けた取り組み ~アクタ関係に注目して~2017

    • Author(s)
      小形真平,中川博之,青木善貴,小林一樹
    • Organizer
      ウィンターワークショップ2017・イ ン・飛騨高山
    • Place of Presentation
      高山市,岐阜
    • Year and Date
      2017-01-19
    • Related Report
      2016 Research-status Report
  • [Presentation] STAMP/STPAを用いたCyber-Physical Systemsの検証2017

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

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

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

    • Author(s)
      小形真平,青木善貴,中川博之,小林一樹,福島祐子
    • Organizer
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE),電子情報通信学会 ソフトウェアサイエンス研究会 (SIG-SS),情報処理学会 ソフトウェア工学研究会 (SIGSE)合同研究発表会
    • Related Report
      2017 Annual Research Report
  • [Presentation] Finding Minimum Locating Arrays Using a SAT Solver2017

    • Author(s)
      Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • Organizer
      The 6th International Workshop on Combinatorial Testing (IWCT 2017)
    • Place of Presentation
      Tokyo, Japan
    • Related Report
      2016 Research-status Report
    • Int'l Joint Research
  • [Presentation] 要求の類似度に基づいたカバレッジ可視化手法の提案2016

    • Author(s)
      松井勝利,中川博之,土屋達弘
    • Organizer
      第14 回ディペンダブルシステムワークショップ DSW 2016
    • Place of Presentation
      函館市,北海道
    • Year and Date
      2016-12-14
    • Related Report
      2016 Research-status Report
  • [Presentation] テスト計画に対する要求カバレッジ可視化手法の提案2016

    • Author(s)
      松井勝利,中川博之,土屋達弘
    • Organizer
      ソフトウェア工学の基礎ワークショップ FOSE 2016
    • Place of Presentation
      香川 琴平町
    • Year and Date
      2016-12-01
    • Related Report
      2016 Research-status Report
  • [Presentation] Layard: IoT システムの要求分析におけるアクタ中心のモデル図2016

    • Author(s)
      小形真平,小林一樹,青木善貴,中川博之
    • Organizer
      ソフトウェア工学の基礎ワークショップ FOSE 2016
    • Place of Presentation
      香川 琴平町
    • Year and Date
      2016-12-01
    • Related Report
      2016 Research-status Report
  • [Presentation] IoT システムの安全性検証手法の提案2016

    • Author(s)
      青木善貴,小形真平,小林一樹,中川博之
    • Organizer
      ソフトウェア工学の基礎ワークショップ FOSE 2016
    • Place of Presentation
      香川 琴平町
    • Year and Date
      2016-12-01
    • Related Report
      2016 Research-status Report
  • [Presentation] A Dynamic Verification Mechanism for Real-time Self-adaptive Systems2016

    • Author(s)
      Hiroki Tsuda, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • Organizer
      The 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2016)
    • Place of Presentation
      Augsburg, Germany
    • Year and Date
      2016-09-12
    • Related Report
      2016 Research-status Report
    • Int'l Joint Research
  • [Presentation] 時間制約を考慮可能な動的検証機能を備えた自己適 応システム実装フレームワーク2016

    • Author(s)
      津田宏軌,中川博之,土屋達弘
    • Organizer
      第15 回情報科学技術フォーラム(FIT2016)
    • Place of Presentation
      富山大学,富山
    • Year and Date
      2016-09-07
    • Related Report
      2016 Research-status Report
  • [Presentation] トピックモデリングを用いたテストケース記述クラ スタリングに関する考察2016

    • Author(s)
      高橋仁,中川博之,土屋達弘
    • Organizer
      電子情報通信学会 知能ソフトウェア工学研究会 (SIG-KBSE)
    • Place of Presentation
      同志社大学 東京オフィス,東京
    • Year and Date
      2016-05-26
    • Related Report
      2016 Research-status Report
  • [Presentation] 大きな振る舞い変更にも適用可能な自己適応システムの動的モデル検査法2016

    • Author(s)
      小川賢人,中川博之,土屋達弘
    • Organizer
      情報処理学会 研究報告ソフトウェア工学(SE)
    • Place of Presentation
      大阪大学吹田キャンパス,大阪
    • Year and Date
      2016-03-14
    • Related Report
      2015 Research-status Report
  • [Presentation] Caching Strategies for Run-time Probabilistic Model Checking2016

    • Author(s)
      Hiroyuki Nakagawa, Kento Ogawa, Tatsuhiro Tsuchiya
    • Organizer
      The 11th International Workshop on Models@run.time (MRT 2016)
    • Place of Presentation
      Saint-Malo, France
    • Related Report
      2016 Research-status Report
    • Int'l Joint Research
  • [Presentation] 自己適応システムはなぜ動くのか2015

    • Author(s)
      中川博之
    • Organizer
      電子情報技術産業協会 (JEITA) ソフトウェアエンジニアリング技術ワークショップ2015
    • Place of Presentation
      電子情報技術産業協会大手センタービル,東京
    • Year and Date
      2015-12-17
    • Related Report
      2015 Research-status Report
    • Invited
  • [Presentation] Towards Automatic Constraints Elicitation of Test Cases: Preliminary Evaluation Based on Collective Intelligence2015

    • Author(s)
      Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • Organizer
      The Sixth International Workshop on Testing Techniques for Event BasED Software (TESTBEDS2015)
    • Place of Presentation
      Lincoln, Nebraska, USA
    • Year and Date
      2015-11-10
    • Related Report
      2015 Research-status Report
    • Int'l Joint Research
  • [Presentation] 主要語の変遷に着目した要求トピックの洗練化に関する考察2015

    • Author(s)
      高橋仁,中川博之,土屋達弘
    • Organizer
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
    • Place of Presentation
      大阪大学吹田キャンパス,大阪
    • Year and Date
      2015-09-24
    • Related Report
      2015 Research-status Report
  • [Presentation] Towards Self-Adaptation on Real-World Hardware: a Preliminary Lightweight Programming Framework2015

    • Author(s)
      Hiroki Tsuda, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • Organizer
      The 9th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2015)
    • Place of Presentation
      Cambridge, MA, USA
    • Year and Date
      2015-09-21
    • Related Report
      2015 Research-status Report
    • Int'l Joint Research
  • [Presentation] An Experimental Evaluation on Runtime Verification of Self-adaptive Systems in the Presence of Uncertain Transition Probabilities2015

    • Author(s)
      Kento Ogawa, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • Organizer
      The 2nd Workshop on Formal Verification for Self-* Systems (VERY* 2015)
    • Place of Presentation
      York, UK
    • Year and Date
      2015-09-08
    • Related Report
      2015 Research-status Report
    • Int'l Joint Research
  • [Presentation] Towards Automatic Requirements Elicitation from Feedback Comments: Extracting Requirements Topics Using LDA2015

    • Author(s)
      Hitoshi Takahashi, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • Organizer
      The 27th International Conference on Software Engineering and Knowledge Engineering (SEKE 2015)
    • Place of Presentation
      Pittsburgh, USA
    • Year and Date
      2015-07-06
    • Related Report
      2015 Research-status Report
    • Int'l Joint Research
  • [Presentation] 実世界ハードウェアに対する自己適応フレームワークのプロトタイプ実装2015

    • Author(s)
      津田宏軌,中川博之,土屋達弘
    • Organizer
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
    • Place of Presentation
      機械振興会館,東京
    • Year and Date
      2015-05-25
    • Related Report
      2015 Research-status Report
  • [Presentation] Towards Automatic Constraints Elicitation in Pair-wise Testing Based on a Linguistic Approach: Elicitation Support Using Coupling Strength2015

    • Author(s)
      Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • Organizer
      The 2nd International Workshop on Requirements Engineering and Testing (RET 2015)
    • Place of Presentation
      Florence, Italy
    • Year and Date
      2015-05-18
    • Related Report
      2015 Research-status Report
    • Int'l Joint Research
  • [Book] マルチエージェントによる自律ソフトウェア設計・開発 (マルチエージェントシリーズ)2017

    • Author(s)
      大須賀昭彦,田原康之,中川博之,川村隆浩
    • Total Pages
      210
    • Publisher
      コロナ社
    • Related Report
      2017 Annual Research Report
  • [Remarks] 研究業績

    • URL

      http://www-ise4.ist.osaka-u.ac.jp/~h-nakagawa/publications/index-j.html

    • Related Report
      2017 Annual Research Report

URL: 

Published: 2015-04-16   Modified: 2019-03-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi