A Study on Self-adaptation Mechanism Under Time Constraints

时间约束下的自适应机制研究

基本信息

批准号：
20H04167
负责人：
中川博之
金额：
$ 11.07万
依托单位：
Osaka University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2020
资助国家：
日本
起止时间：
2020-04-01 至 2024-03-31
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-20H04167/
关键词：
自己適応時間制約不確かさ CPS 開発環境確率モデル

项目摘要

本研究では，不確かな実世界（実空間）においても機能を提供し続けなければならないCPS（Cyber-Physical System）の実現手段を検討している．特に，実空間で考慮しなければならない不確かさと時間制約に着目し，時間制約を遵守するために必要に応じて環境に適応し，継続的に機能を提供可能なシステムの統合的な開発手法の確立を目的としている．2021 年度は各実施計画に従って以下を実施した．・サブテーマ1．時間制約と要求の記述を包含した不確かな環境モデリング手法の検討：不確かな環境と時間制約を記述・分析可能なモデリング手法として，特に確率的モデル検査技術に着目し同技術を利用した分析技術を検討した．RNNを抽象化した確率モデルに対するバグ限局技術に関しても，検討を進めた．同提案をまとめた論文が，情報処理学会コンピュータサイエンス領域奨励賞を受賞している．・サブテーマ2．実空間作用素との連携機構の構築：実空間上のシステムが考慮しなければならない，実空間作用素との連携機構を検討した．今年度は，仮想的な空間で自己位置推定，経路計画，障害物回避を検証することができるシステムを開発し，バーチャル空間でのロボット用のソフトウェア開発を進めた．・サブテーマ3．時間制約を考慮した自己適応メカニズムと検証機構の構築：時間制約を考慮可能な適応メカニズムとして，適応後の可能な構成（configuration）の候補をXAI（eXplainable AI）技術により効果的に限定し，構成の発見を高速化する手法を検討した．同研究成果をまとめた論文が，国際会議PRIMA2022に採録された．

在本研究中，我们正在研究如何实现即使在不确定的现实世界（真实空间）中也必须持续提供功能的 CPS（网络物理系统）。我们特别关注现实空间中必须考虑的不确定性和时间约束，并开发一种能够根据需要适应环境的系统集成开发方法，以达到遵守时间约束并提供连续功能的目的。是要建立2021年，我们根据各项实施计划，实施了以下工作。・副主题1。考虑包括时间约束和要求的不确定环境建模方法：作为一种可以描述和分析不确定环境和时间约束的建模方法，我们将重点关注概率模型检查技术并使用该技术进行分析技术。我们还研究了抽象 RNN 的概率模型的错误定位技术。总结该提案的论文获得了日本信息处理学会计算机科学鼓励奖。・副主题2。与现实空间运营商合作机制的构建：我们研究了现实空间系统必须考虑的与现实空间运营商合作的机制。今年，我们开发了一个可以在虚拟空间中验证自我位置估计、路线规划和避障的系统，并在虚拟空间中的机器人软件开发方面取得进展。・副主题3。考虑时间约束的自适应机制和验证机制的构建：作为考虑时间约束的自适应机制，利用XAI（eXplainable AI）技术有效限制自适应后可能的配置候选，并研究了一种方法以加快发现速度一篇总结研究成果的论文被国际会议PRIMA2022接受。

项目成果

期刊论文数量（32）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Graph queries for analyzing the coverage of requirements by test cases

用于分析测试用例的需求覆盖率的图形查询

DOI：
10.18293/seke2021-122
发表时间：
2021
期刊：
Proc. of the 33rd International Conference on Software Engineering & Knowledge Engineering (SEKE 2021)
影响因子：
0
作者：
Shingo Ariwaka;Hiroyuki Nakagawa;Tatsuhiro Tsuchiya
通讯作者：
Tatsuhiro Tsuchiya

要求仕様に対するテストカバレッジ分析におけるグラフクエリの適用について

图查询在需求规范测试覆盖率分析中的应用

DOI：
发表时间：
2021
期刊：
影响因子：
0
作者：
有若新悟;中川博之;土屋達弘
通讯作者：
土屋達弘

Expression Caching for Runtime Verification Based on Parameterized Probabilistic Models

基于参数化概率模型的运行时验证表达式缓存

DOI：
10.1016/j.jss.2019.07.007
发表时间：
2019
期刊：
The Journal of Systems & Software
影响因子：
0
作者：
Hiroyuki Nakagawa;Hiromu Toyama;Tatsuhiro Tsuchiya
通讯作者：
Tatsuhiro Tsuchiya

トレーサビリティリンク生成における自然言語処理モデルの性能比較

自然语言处理模型在溯源链接生成中的性能比较

DOI：
发表时间：
2021
期刊：
影响因子：
0
作者：
Oda Ryoya;Yanagihara Hirokazu;新田壮史，中川博之，土屋達弘
通讯作者：
新田壮史，中川博之，土屋達弘

Heuristic Minerを用いたパラメータ調整に基づくプロセスモデル抽出手法

基于Heuristic Miner参数调整的过程模型提取方法

DOI：
发表时间：
2022
期刊：
影响因子：
0
作者：
H. Iyetomi;Y. Ikeda;T. Mizuno;T. Ohnishi and T. Watanabe;定延利之;坪川桂子，藤田志歩，Etienne F. AKOMO-OKOUE，Yannick P. BITOME-ESSONO，Patrice;森田直子;松本　有;家富洋，池田裕一，大西立顕，水野貴之，渡辺努;関礼子;南垣内一輝，中川博之，海谷治彦，小形真平，竹内広宜，土屋達弘
通讯作者：
南垣内一輝，中川博之，海谷治彦，小形真平，竹内広宜，土屋達弘