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
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-16F16805/
• 关键词: 自己適応; ソフトウェア検証; アクターモデル; Session Type; 自己適応システム

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

IoT environmental activities do not cause accidents. They fail. They are cut off. They are used in the same way that the physical environment is changed. When they are in operation, they are not affected. When they are in operation, they are required to improve the performance of the environment. The complex machine is used to detect most of the accidents. Safety and other important issues such as safety are required to ensure that the operation is not necessary. In this study, the health care system is designed to support the training of technical equipment and equipment. The first step is to improve the safety and safety of the equipment. First, it is necessary to improve the safety and safety of the equipment. First, it is necessary to improve the safety and safety of the equipment. First, it is necessary to improve the safety and safety of the equipment. It is possible for a third party to open an independent exchange of information, equipment, interaction, and interaction between the two parties. For the second time, use the Ensemble to communicate with each other, the Session Type to communicate with each other, the Session Type to perform the crash, and the crash to become obsolete now. Finally, C++ & Johnson has improved the performance of the computer system with high performance performance. Mechanical engineering and technology can be used flexibly, and mechanical parts can be operated by self-powered equipment. The above equipment can be used for safety assurance, and the safety guarantee is guaranteed. The above equipment can be used to support the organization to establish a security license. Session Type is the basis of the theory of economics, which is the basis of the security policy of the bank. The mechanical and technical personnel use the practical equipment to do the job, and the group that is included in the group shows the information.

项目成果

University of Oregon(米国)

俄勒冈大学（美国）

Hiding Formal Techniques behind the Compiler for Simpler Programming

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

• 发表时间: 2017
• 作者: Paul Harvey;Joseph Sventek;Paul Harvey;Paul Harvey
• 通讯作者: Paul Harvey

Guilty as charged: Index finger pointing as an emblem

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

• 发表时间: 2018
• 作者: Prakaiwan Vajrabhaya;Paul Harvey
• 通讯作者: Paul Harvey

Formal Guarantees in Adaptable Systems

适应性系统中的正式保证

• 发表时间: 2017
• 作者: Paul Harvey;Joseph Sventek;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
• 作者: P. Harvey;J. Sventek