Controlled Adaptation across Ubiquitous Heterogeneous Platforms

跨无处不在的异构平台的受控适应

基本信息

批准号：
16F16805
负责人：
石川冬樹
金额：
$ 1.34万
依托单位：
National Institute of Informatics
依托单位国家：
日本
项目类别：
Grant-in-Aid for JSPS Fellows
财政年份：
2016
资助国家：
日本
起止时间：
2016-11-07 至 2019-03-31
项目状态：
已结题

项目摘要

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

在物联网环境中运行的应用程序可能会在运行时引起各种更改，例如硬件故障，网络断开连接以及要控制的物理环境的变化，因此需要适用性才能承受这些。由于许多过程跨多个设备运行，因此有必要实现自适应操作，这在安全性和其他因素方面是正确的。在这项研究中，采用了三种方法作为支持这种适应性行为的技术。首先，它旨在开发集成各种服务，流程和功能操作的应用程序，并实施了一种机制，以发现，部署，替换和与运行时第三方独立开发的功能进行互动。接下来，通过将集合语言扩展到处理会话类型来进行验证。最后，我们实施了一个称为C ++ Actor框架的高度实用的实现，并使用机器学习技术实现了功能零件的自动替换功能。通过上述努力，我们能够建立一种机制，以支持高效自我适应的同时确保安全。在基于会话类型的理论基础进行安全验证的同时，还可以使用机器学习技术提供实用的演示，从而为自我适应提供全面的框架。

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

University of Oregon(米国)

俄勒冈大学（美国）

DOI：
发表时间：
期刊：
影响因子：
0
作者：
通讯作者：

Hiding Formal Techniques behind the Compiler for Simpler Programming

将形式化技术隐藏在编译器后面以简化编程

DOI：
发表时间：
2017
期刊：
影响因子：
0
作者：
Paul Harvey;Joseph Sventek;Paul Harvey;Paul Harvey
通讯作者：
Paul Harvey

Guilty as charged: Index finger pointing as an emblem

被指控有罪：食指指向作为标志

DOI：
发表时间：
2018
期刊：
影响因子：
0
作者：
Prakaiwan Vajrabhaya;Paul Harvey
通讯作者：
Paul Harvey

Adaptable Actors: Just What The World Needs

DOI：
10.1145/3144555.3144559
发表时间：
2017-10
期刊：
Proceedings of the 9th Workshop on Programming Languages and Operating Systems
影响因子：
0
作者：
P. Harvey;J. Sventek
通讯作者：
P. Harvey;J. Sventek

Formal Guarantees in Adaptable Systems

适应性系统中的正式保证