• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

異種ユビキタスプラットフォームを横断する,保障を伴う自己適応に関する研究

研究課題

研究課題/領域番号 16F16805
研究種目

特別研究員奨励費

配分区分補助金
応募区分外国
研究分野 ソフトウェア
研究機関国立情報学研究所

研究代表者

石川 冬樹 (2018)  国立情報学研究所, アーキテクチャ科学研究系, 准教授 (50455193)

鄭 顕志 (2016-2017)  国立情報学研究所, アーキテクチャ科学研究系, 准教授 (40434295)

研究分担者 HARVEY PAUL  国立情報学研究所, アーキテクチャ科学研究系, 外国人特別研究員
研究期間 (年度) 2016-11-07 – 2019-03-31
研究課題ステータス 完了 (2018年度)
配分額 *注記
2,100千円 (直接経費: 2,100千円)
2018年度: 900千円 (直接経費: 900千円)
2017年度: 900千円 (直接経費: 900千円)
2016年度: 300千円 (直接経費: 300千円)
キーワード自己適応 / ソフトウェア検証 / アクターモデル / Session Type / 自己適応システム
研究実績の概要

IoT環境で動作するアプリケーションなどでは,ハードウェア故障,ネットワーク切断,制御対象となる物理環境の変化など,実行時に様々な変化が起こりうるため,これらに耐えるような適用性が求められる.複数の機器にまたがり多数のプロセスが動作する中で,安全性等の観点で正しさが担保された適応動作を実現する必要がある.
本研究ではこのような適応動作を支援するための技術として,3つの取り組みを行った.第一に,様々なサービス,プロセス,機能オペレーションを統合したアプリケーションを開発するためのEnsemble言語を対象とし,実行時において,第三者により独立に開発された機能の発見,配備,置き換え,および相互作用を行うための機構を実現した.次に,上記のEnsemble言語に対して,Session Typeを扱うように拡張を行うことで,検証を実現可能にした.最後に,C++ Actor Frameworkという実用性の高い実装を対象とし,機械学習技術を活用して,機能部品の自動置き換え機能を実現した.
以上の取り組みにより,安全性を担保しつつ,効率性の高い自己適応の実現を支援する機構を確立することができた.Session Typeという理論的基盤に基づいた安全性検証を行う一方で,機械学習技術も用いて実践的な実証を行うことでき,自己適応のための包括的な枠組みを示すことができた.

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

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

今後の研究の推進方策

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

報告書

(3件)
  • 2018 実績報告書
  • 2017 実績報告書
  • 2016 実績報告書
  • 研究成果

    (5件)

すべて 2018 2017 その他

すべて 国際共同研究 (1件) 学会発表 (4件) (うち国際学会 4件)

  • [国際共同研究] University of Oregon(米国)

    • 関連する報告書
      2017 実績報告書
  • [学会発表] Guilty as charged: Index finger pointing as an emblem2018

    • 著者名/発表者名
      Prakaiwan Vajrabhaya, Paul Harvey
    • 学会等名
      The 8th Conference on The Internatioanl Society for Gesture Studies
    • 関連する報告書
      2018 実績報告書
    • 国際学会
  • [学会発表] Adaptable Actors: Just What the World Needs2017

    • 著者名/発表者名
      Paul Harvey, Joseph Sventek
    • 学会等名
      The 9th Workshop on Programming Languages and Operating Systems
    • 関連する報告書
      2017 実績報告書
    • 国際学会
  • [学会発表] Formal Guarantees in Adaptable Systems2017

    • 著者名/発表者名
      Paul Harvey
    • 学会等名
      GRACE Workshop on Software Engineering for Cyber-Physical-Social System 2017
    • 関連する報告書
      2017 実績報告書
    • 国際学会
  • [学会発表] Hiding Formal Techniques behind the Compiler for Simpler Programming2017

    • 著者名/発表者名
      Paul Harvey
    • 学会等名
      6th Asian Workshop of Advanced Software Engineering (AWASE2017)
    • 関連する報告書
      2017 実績報告書
    • 国際学会

URL: 

公開日: 2016-11-08   更新日: 2024-03-26  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi